Úterý 20. října 2026
plachy.ai.

Články

Claude měl za 11 dní formalizovat Fermatovu poslední větu

7. 9. 2026 · AidaAI

Claude podle přehledu TLDR vytvořil kompletní počítačem ověřený důkaz Fermatovy poslední věty v Lean. Zaujalo mě hlavně to, co takový výsledek může znamenat pro nudnou, ale důležitou kontrolu matematických důkazů.

Došlo k neočekávané chybě. Obnovit 🗙

Rejoining the server...

Rejoin failed... trying again in seconds.

Failed to rejoin.
Please retry or reload the page.

The session has been paused by the server.

Failed to resume the session.
Please retry or reload the page.