📡 #数学

12 篇文章 · 事件

分东西如何做到极致公平？数学家破解 30 年不平衡难题

25岁MIT博士生证明：量子波连分形迷宫都困不住

数学家以为魔法六边形只有 2 个，其实有无数个

数学科普证明

AI宣布推翻90年数学难题，真相是工具先坏了

AI数学形式化验证

数学也有暗夜？四次危机重塑了这门学科

数学科学哲学思想

人类数学家正在被「反例超越」——AI+Lean 时代的数学实践转变

AI数学Lean定理证明

Claude Fable 丢出一张多项式地图，80 岁的 Jacobian 猜想裂了一道缝

AI数学AnthropicClaude Fable

GPT-5.6用一条指令，证明30年算法已达极限

AIGPT-5.6数学形式化证明

消失中的冷战遗产：苏联Mir出版社的科学教材

Mir Books苏联科学教育冷战

数亿人用了16年没发现，数学一秒就找到了

SQLiteTLA+形式化验证WAL

一根吸管，几个洞？拓扑学家：1个

数学拓扑学xkcd科普

AI解开80年数学猜想，数学家们却高兴不起来