科技科学

AI is shaking up math. But can its proofs be trusted?

Science作者：Celina Zhao2026年10月29日查看原文 ↗
Science, Volume 394, Issue 6823, Page 473-474, October 2026.