▲ 1 pointsArchivara Math Research Agent became 1st AI to solve an Erdős problem on its owntwitter.comby amichail·7mo ago·0 comments·view on hn ↗