15h agoArb's Gavin Leech finds autonomous AI resolves Erdős conjectures at a 45% rate, outperforming human-collaborative AIHistorical human baselines resolved the same conjectures at 28%