新闻资讯7

OpenAI IMO团队：AI解难题仍路漫漫

机器之心2025-08-03

AI 摘要

OpenAI IMO团队爆料，项目仅三人用两三月完成。模型证明风格独特，第六题拒绝作答体现知能力边界。解决千禧年大奖难题尚远，后续需解决评估瓶颈、让模型学会提问题等。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI722篇稿站在科学家肩上

本文报道，OpenAI公开722篇AI撰写的数学与理论计算机稿件后，丹麦学者发起开源项目《巨人之肩》对这批稿件的参考文献做了系统溯源，揭示了AI成果背后人类科学家的核心贡献，厘清了二者在AI科研中的分工。

本文分析“全球最大AI芯片”厂商Cerebras的商业化现状，结合与OpenAI的合作动态、最新财报数据，拆解其晶圆级推理芯片的技术优势，同时点出其交付、现金流等核心考验，探讨推理芯片赛道的路线选择。

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文报道OpenAI、Anthropic等大举推进AI数学研究，菲尔兹奖得主陶哲轩连发三文反击其营销式研究模式，指出AI滥用对数学生态的破坏，提出Math 2.0框架并给出落地案例。