I modelli di intelligenza artificiale stanno rivoluzionando la ricerca matematica. Sistemi come GPT 5.6 Sol stanno dimostrando congetture irrisolte da decenni, completando lavori che richiedevano anni in poche ore o giorni. Questo avviene grazie a un approccio che include la guida e l'incoraggiamento dei modelli, similmente a un metodo didattico. L'IA non sostituisce i matematici ma agisce come uno strumento potenziato dalla sua vasta conoscenza per esplorare nuove idee e combinare approcci esistenti. La verifica delle dimostrazioni avviene ora anche tramite software come Lean.