新闻资讯8
Claude Mythos推翻80年数学猜想,比OpenAI更优
新智元
AI 摘要
OpenAI解出Erdős 80年猜想后,Anthropic的Mythos断网测试,找到更优解。Mythos用数论打破传统框架,过去一周OpenAI、DeepMind、Anthropic各有突破,AI解数学题能力惊人。
阅读原文 · 新智元
断网解题,Claude Mythos推翻Erdős 80年猜想!比OpenAI更短更漂亮
OpenAI用125页思维链解开Erdős 80年猜想,Anthropic研究员Levent Alpoge让Mythos断网测试,找到更短更简洁路径。Mythos用数论方法打破僵局,过去一周OpenAI、DeepMind、Anthropic分别攻克相关难题。

关注公众号
扫码关注
第一时间收到每日精选
相关文章
新闻资讯9
OpenAI722篇稿站在科学家肩上
本文报道,OpenAI公开722篇AI撰写的数学与理论计算机稿件后,丹麦学者发起开源项目《巨人之肩》对这批稿件的参考文献做了系统溯源,揭示了AI成果背后人类科学家的核心贡献,厘清了二者在AI科研中的分工。
新智元
新闻资讯8
全球最大AI芯片Cerebras迎商业化考验
本文分析“全球最大AI芯片”厂商Cerebras的商业化现状,结合与OpenAI的合作动态、最新财报数据,拆解其晶圆级推理芯片的技术优势,同时点出其交付、现金流等核心考验,探讨推理芯片赛道的路线选择。
DeepTech深科技
推荐文章9
陶哲轩:AI开启数学2.0时代
本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲,梳理近期AI接连攻克重大数学难题的进展,提出AI将数学带入证明过剩的新时代,警示人类不能丢失对数学的理解,呼吁人机合作增强认知。
新智元
新闻资讯9
陶哲轩发第三篇长文反击OpenAI
本文报道OpenAI、Anthropic等大举推进AI数学研究,菲尔兹奖得主陶哲轩连发三文反击其营销式研究模式,指出AI滥用对数学生态的破坏,提出Math 2.0框架并给出落地案例。
PaperAgent