Observed arrival · 2026-09-19
Maidenhead Project: AI-assisted mathematics under review
An open research project applies AI to longstanding mathematics problems, tracking solutions, proof status, model setups, and human review.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Mathematicians, proof reviewers, and AI research collaborators
- Worth noticing
- The public ledger separates editor-accepted, team-checked, partial, pending, and elsewhere-solved results.
Field notes
The homepage treats mathematical research as a reviewable workflow rather than a stream of unqualified AI answers. Its ledger distinguishes 56 displayed records from a broader 1,179-problem pool, and identifies whether each result was editor-accepted, team-checked, partial, pending, or solved elsewhere. Entries also expose the model and interface setup, while some documentation and publication steps remain outstanding.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
One card from the complete issue