2026年8月3日
AI宣布推翻90年数学难题，真相是工具先坏了
AI数学形式化验证
#数学
9 篇文章 · 全部标签
📡 相关事件
2026年7月26日
数学也有暗夜？四次危机重塑了这门学科
数学科学哲学思想
2026年7月21日
人类数学家正在被「反例超越」——AI+Lean 时代的数学实践转变
AI数学Lean定理证明
2026年7月20日
Claude Fable 丢出一张多项式地图，80 岁的 Jacobian 猜想裂了一道缝
AI数学AnthropicClaude Fable
2026年7月19日
GPT-5.6用一条指令，证明30年算法已达极限
AIGPT-5.6数学形式化证明
2026年7月5日
消失中的冷战遗产：苏联Mir出版社的科学教材
Mir Books苏联科学教育冷战
2026年7月4日
数亿人用了16年没发现，数学一秒就找到了
SQLiteTLA+形式化验证WAL
2026年7月4日
一根吸管，几个洞？拓扑学家：1个
数学拓扑学xkcd科普
2026年6月27日
AI解开80年数学猜想，数学家们却高兴不起来
AI数学证明