新闻资讯9
九章云极问鼎陶哲轩数学挑战赛
机器之心
AI 摘要
陶哲轩反对AI无理解刷数学榜,发起要求输出可验证结果的数学挑战赛;九章云极拿下冠军,解决28个开放数学问题,计划将这套方案推广到全学科AI4S。
阅读原文 · 机器之心
九章云极问鼎陶哲轩数学挑战赛!让强化学习成为AI4S新基建
本文报道九章云极言表实验室在陶哲轩发起的数学蒸馏挑战赛第二阶段拿下全部赛道满分,解决28个未解决开放数学问题,介绍了其可验证AI+强化学习的AI4S布局。

关注公众号
扫码关注
第一时间收到每日精选
相关文章
新闻资讯9
陶哲轩发第三篇长文反击OpenAI
本文报道OpenAI、Anthropic等大举推进AI数学研究,菲尔兹奖得主陶哲轩连发三文反击其营销式研究模式,指出AI滥用对数学生态的破坏,提出Math 2.0框架并给出落地案例。
PaperAgent
新闻资讯8
陶哲轩发声:必须放缓AI发展
菲尔兹奖得主陶哲轩发声呼吁放缓AI发展,其博客引发数学界关于AI冲击下传统研究体系存亡的大辩论,探讨数学界的转型出路。
新智元
新闻资讯9
OpenAI发722篇数学成果搅乱学界
OpenAI公开722篇由内部未发布前沿模型生成的数学成果,覆盖多数学方向,部分附带形式化证明,发布后引发数学界巨大冲击,消化验证需数年,不少青年学者研究项目遭毁灭性打击,本文梳理各方反应与争议。
机器之心
算法论文9
对错之外,推理轨迹暗藏训练价值
本文结合EchoRL、ReflectRL两项最新研究,重新解读推理轨迹的训练价值,解决全答对无强化信号、错题全丢弃的训练痛点,梳理方法设计、实验结果与适用边界,为大模型推理训练提供新参考。
深度学习自然语言处理