Aletheia: Un Nuovo Approccio alla Ricerca Matematica

Un recente studio ha introdotto Aletheia, un agente di ricerca matematica basato su intelligenza artificiale (AI) progettato per automatizzare il processo di scoperta e verifica di soluzioni matematiche. Aletheia utilizza un modello avanzato di Gemini Deep Think, potenziato da tecniche di scaling a livello di inference, per affrontare problemi complessi che vanno oltre il livello delle Olimpiadi di matematica.

L'agente è in grado di generare, verificare e rivedere soluzioni end-to-end in linguaggio naturale, sfruttando strumenti avanzati per navigare nella vasta letteratura matematica. Le consegne di Aletheia includono:

  • La generazione autonoma di un articolo di ricerca (Feng26) riguardante il calcolo di costanti strutturali in geometria aritmetica.
  • La collaborazione uomo-AI nella dimostrazione di limiti su sistemi di particelle interagenti (LeeSeo26).
  • Una valutazione semi-autonoma di 700 problemi aperti sul database di Bloom's Erdos Conjectures, con soluzioni autonome a quattro questioni aperte (Feng et al., 2026a).

I ricercatori suggeriscono di codificare livelli standard per quantificare l'autonomia e la novità dei risultati assistiti dall'AI, al fine di migliorare la comprensione pubblica degli sviluppi nel campo dell'AI e della matematica. Lo studio si conclude con riflessioni sulla collaborazione tra uomo e AI nella ricerca matematica.