「AI研究项目」共找到 11057 篇相关文章
40位数学家组成8队与o4-mini-medium比赛，6队败北
Epoch AI安排40位数学家组成8支战队，与OpenAI的o4 - mini - medium模型对决，考题来自高难度的FrontierMath数据集。结果AI以6:2击败人类，不过Epoch AI认为AI未明显超人类，但很快会达到。
OpenAI 4 名王牌研究员“叛变”，Meta 上亿美元的签约奖金终于花出去了
近日，Meta招募四名前OpenAI研究人员加入超级智能实验室，此前其曾试图以1亿美元挖角。Meta组建该实验室是因Llama 4 Behemoth性能问题。此外，Meta还从多渠道揽才，今年将投650亿美元支持AI项目。
传言称：Llama 4 团队80%成员集体辞职！
有爆料称Meta的Llama 4团队约80%成员集体辞职，引发AI圈关注。但Meta员工澄清该消息不准确，且无权威媒体证实。不过Meta和Llama 4项目确实面临高层动荡、模型延期等问题，还分析了可能的深层原因。
百度：和大家一起讲 「超级有用」的故事
作者参加百度AI DAY智能云创新行业专场，看到百度全栈AI解决方案矩阵及应用案例。百度通过构建生态、全栈自研、推动科技平权等举措发力AI，诸多应用已取得商业成果，有望在AI商业化长跑中胜出。
Clawdbot爆火背后的9个真相：创始人首次公开访谈全揭秘
Clawdbot（现名Moltbot）爆火，GitHub星数激增。其创始人Peter Steinberger首次公开访谈揭秘9个真相，包括项目原型1小时完成、被AI语音回复震惊、被强制改名等，还分享对融资、安全及行业趋势的看法。
一句话，性能暴涨49%！马里兰MIT等力作：Prompt才是大模型终极武器
马里兰大学、MIT、斯坦福等机构研究发现，AI性能提升一半靠模型，一半靠提示词。他们让DALL - E 2和DALL - E 3 PK，发现DALL - E 3性能提升中，模型升级贡献51%，提示词优化贡献49%。
北大、字节跳动联手发布SWE-Swiss：一把修复代码Bug的「瑞士军刀」，完整配方直指开源SOTA
北大、字节跳动等联合研究提出SWE - Swiss配方，用于训练解决软件工程问题的AI模型。32B参数的SWE - Swiss - 32B在SWE - bench Verified上准确率达60.2%，各训练环节效果显著，模型和数据将开源。
刚刚，GPT-5首次通过「哥德尔测试」！破解三大数学猜想
GPT - 5首次通过「哥德尔测试」，破解三大组合优化猜想。研究由海法大学和思科主导，团队设计五项测试任务，GPT - 5在三个简单问题上近乎完美，还推导出不同解法，标志AI从「学习数学」迈向「做数学」。
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
现在很多大语言模型常给出看似正确的结论，但推理过程却有问题。斯坦福、伯克利和MIT团队提出新思路，构建IneqMath数据集及‘AI数学裁判系统’，研究发现很多模型推理不严谨，还给出两个提升准确率的办法。
深度拆解沐曦MXMACA软件栈功能，算力自主+生态兼容，破解国产GPU落地难题
近日，刚 IPO 的沐曦股份发布 MXMACA 软件栈 3.3.0.X 版本。该软件栈可实现多语言支持、算子自动优化与跨框架平滑适配，能让现有 CUDA 项目近乎‘开箱即用’迁移，还兼容主流 AI 框架，助力国产 GPU 解决落地难题。