标签:[db:标签]
FrogBoss – 微软开源的系列编程模型
FrogBoss是什么 FrogBoss 是微软研究院推出的系列编程模型。模型通过创新的复杂漏洞生成方法(BugPilot)进行训练,该方法通过让语言模型代理(LLM)在代码库...
Prompt Manager – 开源AI提示词管理工具,智能分类
Prompt Manager是什么 Prompt Manager (PromptX)是高效管理 AI 提示词的工具,专为提升 AI 工作效率设计。工具支持个人提示词的创建、编辑、分类和版本管理...
OpenAI 布罗克曼:GPT-5.2 Pro 再次破解公开数学难题,获陶哲轩认可
1 月 18 日消息,Eclipse 创始人 Neel Somani 今日在 X 上发文称,他使用 GPT-5.2 Pro 破解了另一个著名的 Erdős(埃尔德什)难题。数学家陶哲轩表示,GPT-5....
美国环境保护署盯上马斯克:xAI 被判定违规运营数十台天然气涡轮机
1 月 17 日消息,北京时间今天凌晨,据外媒 TechCrunch 报道,美国环境保护署裁定,马斯克的 xAI 在田纳西州为 Colossus 数据中心供电过程中,违规运行了数十...
Cursor 一夜翻车:300 万代码写浏览器被打假,全网群嘲 AI 泔水
GPT-5.2 连肝 7 天造出浏览器的事,刚刚被打假了!一位开发者发文证实,Cursor 这个项目就是个「AI 泔水」,代码根本无法编译。Cursor 这次可太心急了。前几...
星火教师助手 – 科大讯飞推出的AI备课工具
星火教师助手是什么 星火教师助手是科大讯飞基于星火认知大模型推出的AI备课工具,能简化教师的备课流程,提升教学效率,为教师提供个性化的教学资源和设计支...
OpenWork – 开源AI桌面工作流平台,Claude Cowork平替
OpenWork是什么 OpenWork 是开源的桌面应用程序,为知识工作者提供类似 “Claude Cowork” 风格的工作流程。OpenWork 基于 OpenCode构建,提供简洁的引导式操作...
“HBM 之父”预测:HBF 高带宽闪存商业化加速,有望随 HBM6 广泛应用
1 月 17 日消息,在部分业内人士中有“HBM 之父”之称的韩国 KAIST 学者 Kim Jung-Ho 昨日在一场论坛研讨会上表示,尽管 HBM 高带宽内存从初代推出到走至半导体...
Steam 面向开发者提出新规:应说明游戏中哪些玩家可见的内容使用 AI 生成
1 月 17 日消息,据外媒 NotebookCheck 今日报道,Valve 对 Steam 的 AI 披露机制进行了调整,进一步明确哪些人工智能使用情况需要向玩家公开说明。根据更新...
OpenAI ChatGPT 将引入广告“供养”AGI,奥尔特曼承诺不干扰 AI 答案生成
1 月 17 日消息,OpenAI 为实现通用人工智能(AGI)的愿景筹集资金,确认未来几周在 ChatGPT 免费版、ChatGPT Go 版本中开始投放广告。AGI 是指具备像人类一...