「数学竞赛」共找到 534 篇相关文章
Thinking Machines 发布又一神作「在线策略蒸馏」 ，LLM后训练效率飙升50-100倍
Mira的THINKING MACHINES开源「在线策略蒸馏」LLM后训练方法，结合两种主流后训练范式优点，提升训练效率50 - 100倍，成本降低9到30倍，可用于数学推理、模型个性化等场景。
硅谷巨震！Alexandr Wang加入Meta，一夜之间让OpenAI、微软、谷歌沦为“透明人”
年仅28岁的Scale AI创始人Alexandr Wang离职加盟Meta，Meta为此进行150亿美元巨额战略投资。他掌握AI核心数据和对手底牌，扎克伯格此举或助Meta在AI竞赛中扭转劣势。
The Batch: 858 | 白宫重塑美国人工智能政策
特朗普提出积极的国家人工智能政策原则并推动实施，《赢得竞赛：美国人工智能行动计划》明确三大短期目标，包括激发创新、建设基础设施、确立全球领导地位，与拜登政府政策有差异。
Ilya尘封10年录音曝光！大二入Hinton门下，竟坦言机器学习反直觉
新智元报道，博主曝光Ilya 2015年谈论深度学习的语音片段。数学出身的Ilya认为机器学习违反直觉，大二与Hinton合作。他指出监督学习是最成功领域，还谈及神经网络目标函数、深度学习追求等观点。
1个月干完15个月！Claude Mythos猎杀271个漏洞，有的藏了20年
Mozilla深度复盘显示，Firefox团队用Claude Mythos Preview，单月修复423个安全漏洞，超此前15个月总和。它挖出271个漏洞，含180个高危，还找到沙箱逃逸漏洞。此外，Anthropic与OpenAI在AI安全能力竞赛中路线不同。
7000亿豪赌，扎克伯格买了众叛亲离
为拿下AI船票，扎克伯格让Meta猛踩油门，投入数百亿参与竞赛，还多次重组AI部门。但他的强硬作风使Meta内部混乱，老将出走，新人不满。Meta虽有新模型计划，可商业模式不明，还面临伦理风险。
刚刚！UCLA杨林团队证明：仅凭提示词，Gemini 2.5 Pro就可以拿到IMO2025金牌
加州大学洛杉矶分校杨林和黄溢辰撰写论文，阐述利用Gemini 2.5 Pro解决2025年IMO竞赛5道题达金牌水平。设计解题者和验证者构成的自我验证流水线，用双提示词系统迭代，还规避数据污染问题。
突发｜Andrej Karpathy官宣加入Anthropic！
周二晚间，Andrej Karpathy在X上自宣加入Anthropic，将在核心预训练团队工作。他是AI领域极具影响力人物，曾任职OpenAI、特斯拉等。此次加入或助推Anthropic上市，也让OpenAI面临压力，或引发新一轮AI军备竞赛。
腾讯发布超低成本AI训练法！120元效果秒杀70000元微调方案
腾讯提出无训练组相对策略优化Training-Free GRPO，无需调整参数，在提示词中学习经验就能提升模型性能。实验显示，该方法在数学推理和网页搜索任务上效果显著，成本远低于传统方法。
代季峰陈天桥联手AGI首秀炸场！最强开源深度研究模型，GAIA测试82.4分超OpenAI
MiroMind ODR是代季峰加盟陈天桥后的技术首秀，GAIA测试82.4分超OpenAI。它全开源可复现，包括MiroFlow、MiroThinker等四个子项目。团队还曾推出MiroMind - M1，专注提升数学推理能力。