| #▲ | Prize | Status | Statement formalized | AI Attempts | OEIS | Tags | Comments |
|---|---|---|---|---|---|---|---|
| Loading problems... | |||||||
Interactive table of mathematical problems
Data from erdosproblems repository
| #▲ | Prize | Status | Statement formalized | AI Attempts | OEIS | Tags | Comments |
|---|---|---|---|---|---|---|---|
| Loading problems... | |||||||