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

As AI firms churn out math breakthroughs, researchers question use of Lean software as proof checker

Tekst info:

Gepubliceerd: 00:00 - 27 Oct 2026

www.science.org

Full text URL: https://www.science.org/content/article/ai-shaking-math-can-its-proofs-be-trusted
Textarea URL (deze pagina):
https://textarea.nl/nl/i/eNoFwdENgDAIBcCJKP9ug4iWqNCUZ7q-dx0YtTGvtVqpW6i1nBdrBizAMuH6GItTdbk9LnoFnVSCHEVjZp5FuxHmV7DjB-HrHpw=_2026-10-27
Bron: https://www.science.org/rss/news_current.xml
Science.org: https://www.science.org
Publicatie datum: 00:00 - 27 Oct 2026
Data laatste keer ververst op:
08:15 - 28 Oct 2026