Mathematics
| Title | Runs | Status | Tokens | Time | Created |
|---|---|---|---|---|---|
| Hadamard maximal determinant problem | 0 | queued | — | — | 2026-05-26 21:44 |
| Erdős–Straus conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| Lonely runner conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| Existence of odd perfect numbers | 0 | queued | — | — | 2026-05-26 21:44 |
| abc conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| Yang–Mills existence and mass gap | 0 | queued | — | — | 2026-05-26 21:44 |
| Navier–Stokes existence and smoothness | 0 | queued | — | — | 2026-05-26 21:44 |
| Collatz conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| Goldbach conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| Twin prime conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| Birch and Swinnerton-Dyer conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| Hodge conjecture | 0 | queued | — | — | 2026-05-26 21:44 |
| P versus NP | 0 | queued | — | — | 2026-05-26 21:44 |
| Riemann hypothesis | 0 | queued | — | — | 2026-05-26 21:44 |