#math

4 篇文章 · 全部标签

📡 相关事件

2026年7月28日

1294分热帖：Bug是天命还是人祸？

mathbugssoftwarephilosophy

2026年7月23日

数学天才陶哲轩，用ChatGPT破解世纪难题

aimathchatgpttao

2026年7月22日

AI找反例的速度，让数学家慌了

aimathleanformal-verification

2026年7月11日

GPT-5.6 证明了 50 年未解的数学猜想，AI 第一次独立完成重大证明

aimathgptopenai