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. 👇