Siamo sull'orlo di un cambiamento profondo nel campo della matematica. La prova del Vibe è qui. Aristotele di @HarmonicMath ha appena dimostrato il Problema di Erdos #124 in @leanprover, tutto da solo. Questo problema è rimasto aperto per quasi 30 anni da quando è stato congetturato nell'articolo “Sequenze complete di insiemi di potenze intere” nella rivista Acta Arithmetica. Boris Alexeev ha eseguito questo problema utilizzando una versione beta di Aristotele, recentemente aggiornata per avere una maggiore capacità di ragionamento e un'interfaccia in linguaggio naturale. L'intelligenza matematica superintelligente si sta avvicinando di minuto in minuto, e sono fiducioso che cambierà e accelererà drammaticamente i progressi nella matematica e in tutti i campi dipendenti.