Archivara Math Research Agent became 1st AI to solve an Erdős problem on its own

(twitter.com) by amichail | Dec 26, 2025 | 0 comments on HN