1 min read 0 前沿科技 15000页的数学巨著，AI只用24天就“验”完了：4310万行代码背后，藏着科学研究的下一次变革 admin 2026年10月29日 据10月28日的报道，Axiom公司宣布…
1 min read 0 AI OpenAI和Anthropic同一天“证否”一个几十年猜想：AI证明了数学，但数学界为什么还不敢点头？ admin 2026年10月29日 10月27日前后，AI圈出现了一件很罕见…
