1 min read 0 前沿科技 15000页的数学巨著，AI只用24天就“验”完了：4310万行代码背后，藏着科学研究的下一次变革 admin 2026年10月29日 据10月28日的报道，Axiom公司宣布…
