3 ms·Archivara Math Research Agent became 1st AI to solve an Erdős problem on its own1 points by amichail 10mo ago