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

T1Covered by 1 source · first reported by Nature / Science / Nature Biotechnology at 27 Oct, 04:10 UTC

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

science

Sources

• T1AI is shaking up math. But can its proofs be trusted?Nature / Science / Nature Biotechnology27 Oct, 04:10