Every article tagged erdos-problems, ranked by recency.
Google DeepMind's AlphaProof Nexus has autonomously solved 9 Erdős problems and proved 44 sequence conjectures, marking a significant milestone in AI-driven mathematics.
