“La matematica sta subendo il cambiamento più grande della sua storia.” Felice di vedere il nostro agente matematico #Aletheia presentato da @newscientist sui suoi risultati alla prima sfida di FirstProof, insieme ad altri traguardi interessanti nella ricerca sull'IA per la matematica! Implicazioni da considerare. Link nel thread.

Entusiasta di condividere: #Aletheia, il nostro agente di ricerca matematica, ha appena risolto 6/10 dei notoriamente difficili problemi di FirstProof in modo autonomo, il miglior risultato nella sfida inaugurale! Per me, questo è ancora più grande del nostro storico traguardo di medaglia d'oro all'IMO dell'anno scorso; questi problemi sfidano anche i migliori matematici. Condividiamo i nostri risultati in modo trasparente, vedi il documento e i pensieri completi nel thread. 👇