AI-assisted: not curated
AI helps execute a human solution, polish text, check calculations, or formalize an existing human proof, without supplying a central idea or result. We do not curate this assistance-only work.
What qualifies
AI must supply a central idea, construction, algorithm, or result.
People may set search objectives and design an evaluator while AI finds the retained solution. We assess that solution and its scope.
Read the attribution
- AI-autonomous needs an explicit account of little or no human mathematical input.
- AI-led can be supported by an AI institution credited as an author. Hosting or affiliation alone is insufficient.
- Later human checking or explanation does not erase autonomous discovery. Human extensions keep separate credit.
- An essential human repair can change what remains attributable to AI.
Every contribution in the current catalog has a documented AI involvement rating. If AI’s central role cannot be established, the contribution stays outside the catalog.