Story perspectives

AI Revolutionizes Erdos Problems: 100 Solutions Uncovered!

2/13/2026

Summary

Story summary

In February 2026, mathematicians increasingly use large language models to tackle Erdos problems.
Mehtaab Sawhney and Mark Sellke prompted ChatGPT to uncover solutions to multiple Erdos conjectures.
This prompted a surge in activity on erdosproblems.com.
AI tools have helped solve around 100 problems since October.
The First Proof initiative aims to rigorously test LLMs on mathematical problems, revealing early submissions that include a mix of valid and incorrect claims.

1 of 1

Story summary

In February 2026, mathematicians increasingly use large language models to tackle Erdos problems.
Mehtaab Sawhney and Mark Sellke prompted ChatGPT to uncover solutions to multiple Erdos conjectures.
This prompted a surge in activity on erdosproblems.com.
AI tools have helped solve around 100 problems since October.
The First Proof initiative aims to rigorously test LLMs on mathematical problems, revealing early submissions that include a mix of valid and incorrect claims.