traguardo interessante nella matematica AI Aristotele (un matematico AI) ha appena risolto il problema di Erdos #124, che era aperto da quasi 30 anni boris alexeev (matematico ricercatore) lo ha eseguito su una nuova beta di Aristotele con ragionamento più forte + interfaccia in linguaggio naturale, e ha prodotto una prova formale completa. momento piuttosto folle per la dimostrazione di teoremi AI.