费马关键词检索结果

2026年7月10日 11:00

数学家将人工智能用于费马大定理

Mathematicians put AI to work on Fermat’s last theorem

在伦敦举行的一次活动中，数学家们在使用 AI 形式化费马大定理方面取得了意想不到的快速进展

查看详细页面