Dopo i risultati dell'IMO dello scorso estate, alcuni lo hanno liquidato come "matematica da scuola superiore". Pensiamo che i nostri ultimi modelli rimuoveranno ogni dubbio sul fatto che la ricerca STEM stia per cambiare fondamentalmente. I matematici hanno creato un insieme di 10 domande di ricerca che sono emerse naturalmente dalla loro stessa ricerca. Solo loro conoscono le risposte e hanno dato al mondo una settimana per utilizzare i LLM per cercare di risolverle. Pensiamo che i nostri ultimi modelli rendano possibile risolverne diverse. Questo è un modello interno per ora, ma sono ottimista che lo otterremo (o un modello migliore) presto.