https://www.neican.ai/tags/ai%E6%95%B0%E5%AD%A6/ Recent content in AI数学 on AI内参 Hugo zh-cn Mon, 11 May 2026 15:40:03 +0800 https://www.neican.ai/insights/0gpt-55-pro-20260511154003921-0/ Mon, 11 May 2026 15:40:03 +0800 https://www.neican.ai/insights/0gpt-55-pro-20260511154003921-0/ 菲尔兹奖得主Gowers实测GPT-5.5 Pro，17分钟破解博士级数学难题，全程零数学贡献，直接引发数学界焦虑。陶哲轩则冷静地指出，人类真正的不可替代价值在于“消化”证明，而不是与AI比拼解题速度。 https://www.neican.ai/insights/630ai-20251202094005238-2/ Tue, 02 Dec 2025 09:40:05 +0800 https://www.neican.ai/insights/630ai-20251202094005238-2/ 一个叫“亚里士多德”的AI模型，竟然在6小时内就搞定了困扰数学界30年的Erdős问题#124的“简易版”，震惊了包括陶哲轩在内的全球数学大佬，成功开启了“Vibe证明”的新时代，背后的Harmonic公司也因此一战成名并获得巨额融资。 https://www.neican.ai/insights/deepseekmath-v2ai-20251128114005368-0/ Fri, 28 Nov 2025 11:40:05 +0800 https://www.neican.ai/insights/deepseekmath-v2ai-20251128114005368-0/ DeepSeekMath-V2通过创新的生成器-验证器协同循环和元验证机制，在数学证明任务中实现了人类金牌级表现，标志着AI从“答案正确”到“推理严谨”的质变。这一自验证能力预示着AI在科学发现、软件工程及教育领域的巨大商业潜力，并引发对AI“自我认知”、人机信任及未来社会深层变革的哲学思辨。 https://www.neican.ai/insights/imo-20250725164005407-3/ Fri, 25 Jul 2025 16:40:05 +0800 https://www.neican.ai/insights/imo-20250725164005407-3/ 谷歌DeepMind在赢得IMO金牌后，面对Meta的“挖墙脚”，不仅没藏着掖着，反而高调晒出团队合照并公布成员信息，堪称科技圈的“凡尔赛”行为。这背后是Gemini Deep Think模型在数学推理上的“一周奇迹”和顶尖团队的实力，预示着AI人才争夺战愈演愈烈。 https://www.neican.ai/insights/geminiopenaiai-20250722111005337-2/ Tue, 22 Jul 2025 11:10:05 +0800 https://www.neican.ai/insights/geminiopenaiai-20250722111005337-2/ 谷歌DeepMind的Gemini Deep Think在国际奥林匹克数学竞赛（IMO）中荣获金牌，且是唯一获得官方认证的AI模型，证明了其在自然语言数学推理上的突破。与此同时，OpenAI此前自宣夺金的举动被IMO官方“打脸”，引发争议，这场AI巨头间的“奥数之战”不仅是技术实力的较量，更是公关和信任的博弈。 https://www.neican.ai/insights/openaiimo-20250721121005323-0/ Mon, 21 Jul 2025 12:10:05 +0800 https://www.neican.ai/insights/openaiimo-20250721121005323-0/ OpenAI近期宣称自家AI模型在IMO数学竞赛中达到金牌水平，但这一高调官宣迅速引发争议，被指“偷跑”抢发结果，甚至未获IMO官方认证。数学界大佬陶哲轩也下场质疑其测试方式。尽管OpenAI紧急回应并澄清时间点，但这场风波已然成为AI巨头公关战的缩影，同时也引发了对AI数学能力边界的深度探讨。