海外 OpenAI模型攻克80年未解数学难题 本文介绍了OpenAI最新AI模型如何解决一个困扰数学界80多年的经典问题——Collatz猜想。作者通过深入浅出的方式，比OpenAI官方更清晰地解读了模型的推理过程和方法论，探讨了AI在纯数学研究中的潜力和局限，并加入了行业背景与编者分 AI 数学证明 OpenAI Collatz猜想 2026年6月1日 268
海外 下载专栏：电池公司转向AI，重写数学 MIT科技评论《下载》专栏今日版聚焦两大热点：电池行业面临西方公司集体凋零，一家电池企业果断转向AI算力领域；同时，AI正重塑数学证明方式，推动从形式化验证到自动化定理发现。本期探讨电池巨头Qichao Hu的直言不讳，以及AI如何颠覆传统 人工智能 电池技术 数学证明 数据中心 2026年3月27日 367
