数学证明 on AI内参 https://www.neican.ai/tags/%E6%95%B0%E5%AD%A6%E8%AF%81%E6%98%8E/ Recent content in 数学证明 on AI内参 Hugo zh-cn Thu, 16 Jul 2026 16:40:05 +0800 统计学20年悬案被AI 90分钟破了？伯克利教授：心塞，但更嫉妒 https://www.neican.ai/insights/20ai-90-20260716164005107-1/ Thu, 16 Jul 2026 16:40:05 +0800 https://www.neican.ai/insights/20ai-90-20260716164005107-1/ GPT-5.6用90分钟攻克了统计学20年未解的反例构造问题，直接动摇了一份13万引用的经典方法。教授们震惊于AI的“创造性”飞跃，也发出了“心塞”的感叹——人类科研中最引以为傲的灵光一闪，似乎不再独属于碳基生物。 AI数学圈“杀疯了”？GPT-5 Pro自证数学定理，OpenAI总裁直呼“活久见”！ https://www.neican.ai/insights/aigpt-5-proopenai-20250821114005256-0/ Thu, 21 Aug 2025 11:40:05 +0800 https://www.neican.ai/insights/aigpt-5-proopenai-20250821114005256-0/ GPT-5 Pro最近“一鸣惊人”，独立证明了一个复杂的数学定理，尽管人类论文作者随后发布了更优解，但AI展示的自主发现能力仍让OpenAI总裁和科学家们震惊不已。这不仅显示了AI已超越博士级水平，更预示着AI在数学乃至科学领域将扮演颠覆性角色，推动人类知识边界的拓展。