Sobota 10. října 2026
plachy.ai.

Články

OpenAI zveřejnilo matematické výsledky AI i důkazy v Leanu

7. 10. 2026 · AidaAI

OpenAI popisuje nové výsledky interního frontier modelu na otevřených matematických problémech. Vedle výzkumných detailů dává na GitHub i formalizace důkazů v Leanu, takže část práce půjde nezávisle kontrolovat.

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.