AI Has Reached Weak AGI in Mathematics, Argues Researcher

The author argues that AI models have achieved a form of weak AGI in mathematics by helping formalize major projects, delivering technical expertise across domains, and assisting mathematicians with exploration and ideation. Despite being intractable for humans, many literature-described problems can be solved within days using the right auto-research skills and harnesses. The rapid pace of change is driving young researchers to explore new model-mathematics interactions, offering hope for the future of the field. Open article →