AI Formalizes Fermat's Last Theorem Proof in 13 Million Lines of Lean
Updated · 2 items · 2 languages ninjs package →first 09.09.2026 00:35 · last 09.09.2026 01:11 UTC
| Time | Lang | Type | Headline | Desk | Rights |
|---|---|---|---|---|---|
| 09.09 00:35 | en | Standard story | AI Formalizes Fermat's Last Theorem Proof in 13 Million Lines of Lean | Science Official | agency |
| 09.09 01:11 | de | Standard story | KI formalisiert Fermats letzten Satz in 13 Millionen Lean-Zeilen | Junkr | agency |