Un model Anthropic nefinalizat a atins un punct de referință în abordarea uneia dintre cele mai vechi și mai îndrăznețe probleme nerezolvate din matematică, ipoteza Riemann. Prin abordarea inovatoare, modelul a testat 650 de idei diferite și a coordonat eficient între 60 de subagenți pentru a înregistra progrese semnificative.
Principalele concluzii
Progresul modelului pe ipoteza Riemann este subliniat de capacitatea sa de a evalua sistematic un număr mare de concepte și de a integra insight-uri de la mai mulți subagenți. Acest lucru a fost validat și de doi matematicieni interni, care au confirmat rezultatele modelului, și formalizate cu ajutorul asistentului de demonstrație open-source Lean, asigurând astfel rigurozitatea și transparența demonstrațiilor matematice.
