OpenAI spune că un model intern, semnificativ mai capabil decât GPT-6 Astra, coordonând aproximativ 10.000 de agenți AI, a produs în 88 de ore o demonstrație pentru o problemă la care matematicienii lucrează de aproape un secol.
GPT-6 Astra a formalizat și verificat apoi demonstrația în Lean.
Dacă demonstrația rezistă verificării comunității matematice, acesta ar putea deveni unul dintre cele mai importante momente de până acum pentru AI în știință.
