crosspostato da: https://poliversity.it/users/macfranc/statuses/116080701281264933
Verso una ricerca matematica autonoma
I recenti progressi nei modelli fondazionali hanno prodotto sistemi di ragionamento in grado di raggiungere un livello da medaglia d'oro alle Olimpiadi Internazionali della Matematica. Il passaggio dalla risoluzione di problemi a livello agonistico alla ricerca professionale, tuttavia, richiede la consultazione di una vasta letteratura e la costruzione di dimostrazioni a lungo termine. In questo lavoro, presentiamo Aletheia, un agente di ricerca matematica che genera, verifica e rivede iterativamente le soluzioni end-to-end in linguaggio naturale. Nello specifico, Aletheia è basato su una versione avanzata di Gemini Deep Think per problemi di ragionamento complessi, una nuova legge di scala temporale inferenziale che si estende oltre i problemi di livello olimpico e un utilizzo intensivo di strumenti per affrontare le complessità della ricerca matematica. Dimostriamo la capacità di Aletheia di passare dai problemi delle Olimpiadi agli esercizi di livello di dottorato e, in particolare, attraverso diverse pietre miliari distinte nella ricerca matematica assistita dall'intelligenza artificiale: (a) un articolo di ricerca (Feng26) generato dall'intelligenza artificiale senza alcun intervento umano nel calcolo di alcune costanti di struttura in geometria aritmetica chiamate autopesi; (b) un articolo di ricerca (LeeSeo26) che dimostra la collaborazione uomo-IA nella dimostrazione di limiti su sistemi di particelle interagenti chiamati insiemi indipendenti; e (c) un'ampia valutazione semi-autonoma (Feng et al., 2026a) di 700 problemi aperti sul database delle congetture di Erdos di Bloom, incluse soluzioni autonome a quattro domande aperte. Per aiutare il pubblico a comprendere meglio gli sviluppi relativi all'IA e alla matematica, suggeriamo di quantificare i livelli standard di autonomia e novità dei risultati assistiti dall'IA, nonché di proporre un nuovo concetto di schede di interazione uomo-IA per la trasparenza. Concludiamo con riflessioni sulla collaborazione uomo-IA in matematica e condividiamo tutti i suggerimenti e gli output del modello a questo URL https