The Year Math Changed Forever
AI-generated summary According to reports from early 2026, mathematicians and math hobbyists using artificial intelligence tools are said to have started solving some Erdős problems. OpenAI reportedly published a proof of Erdős Problem #90, known as the unit-distance problem, which top-level mathematicians had previously spent time on.