当AI证明了自己：80年悬而未决的数学猜想被机器终结 2026年6月，OpenAI的研究团队投下了一枚震撼数学界的"炸弹"——其内部AI模型独立发现了一个著名数学猜想的反例，推翻了匈牙利传奇数学家Paul Erdős在1946年提出的平面单位距离问题（Erdős问题90）的核心假设。这是AI首次自主
2026-06-18
2026年，AI学会了"思考后再回答" 如果要用一个关键词概括2026年AI能力的最大进化，那就是"推理"。从OpenAI o1/o3到DeepSeek R1，从Claude Opus 4.8到Google Gemini Deep Think，所有主流AI模型都在推理能力上实现了质的飞跃。AI不再是
2026-06-16
在Build 2026大会上，微软发布了一系列自研AI模型，其中最引人注目的是MAI-Thinking-1。微软AI执行副总裁Mustafa Suleyman在采访中表示：我们现在已经基本追平了几个月前的最先进水平。甚至有观察人士将本次大会称为微软的AI独立日。完全从零训练MAI-Thinking-
2026-06-06