Cerchiamo di affrontare cose sempre più difficili, così non possono dire che la nostra vittoria è stata facile.
Cerchiamo cose sempre più gustose, così l'hype sembra insipido.
Cerchiamo la riduzione della prova, così sanno che "il rapporto lunghezza prova è il rapporto di difficoltà" è una stronzata.
Facciamo come gli struzzi e andiamo. Adoro una storia di outsider.
Il nuovo blog di ricerca di Axiom:
Imparare Collatz - La madre di tutti i tunnel di coniglio
Cosa succede quando alleni un trasformatore su uno dei puzzle irrisolti più famosi della matematica -- e poi studi come fallisce?
Il Putnam, il test di matematica a livello universitario più difficile al mondo, si è concluso ieri alle 16:00 PT.
Oggi a mezzogiorno, AxiomProver ha risolto 9/12 problemi in Lean in modo autonomo (ieri alle 15:58 PT, erano 8/12).
Il nostro punteggio sarebbe stato il #1 di ~4000 partecipanti l'anno scorso e Putnam Fellow (top 5) negli anni recenti.