📡 #数学

20 篇文章 · 事件

「OpenAI 一次放出 722 篇数学论文，三分之一自己承认可能有问题」

AI批量推翻数学悬案，最大题库站长决定关停评论区

人工智能数学算法公开

AI 抛出 1 太瓦聚变堆设计图时，谁敢签发安全许可

AI数学安全审查

1万个AI解出90年数学难题，为何百万奖金要等3年

25位菲尔兹奖得主联署：AI刷榜数学，正在抽干知识土壤

AI数学技术争议

悬赏100万美元千禧难题告破：AI算力正在开采数学草稿

人工智能数学OpenAI

陶哲轩 6 帖警告：AI 抢解 100 万美元数学悬赏是一种污染

数学AI陶哲轩

人类要验证5年的费马大定理，AI只用11天干完了

AI数学自动化

分东西如何做到极致公平？数学家破解 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年数学猜想，数学家们却高兴不起来