人类选手激战10小时，险胜OpenAI夺冠

AI寒武纪2025-07-18

AI 摘要

在AtCoder编程总决赛，人类选手Psyho激战10小时战胜OpenAI的AHC模型夺冠。比赛中双方你来我往，AHC展现出持续推理等能力，但最终因后期放缓，让人类选手笑到最后。

关注公众号

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

公众号专辑

OpenAI722篇稿站在科学家肩上

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

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

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

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