Aktualności22 sierpnia 2026 AI formalizuje twierdzenie 246 — najtrudniejszy jak dotąd dowód
Axiom Math użył systemu AxiomProver do formalnej weryfikacji „twierdzenia 246” — najbliższego dotąd wyniku w stronę hipotezy liczb bliźniaczych. To pokazuje, jak AI zaczyna dawać sprawdzalną pewność, nie tylko prawdopodobne odpowiedzi.
