Other AI Tools
AI-generated mathematical solution to the Navier-Stokes Millennium Prize Problem.
New
freeFree Tier
All Audiences
For AI Research Scientists
Best AI Tools for AI Research Scientists (2026)
3 AI tools for researchers — covering literature review, data analysis, summarization, and knowledge management.
3 tools curated
Academic Research
OpenAI shares AI progress on unsolved math problems with formal proofs.
New
freeFree Tier
Fine-tuned Nemotron models for competitive math and science olympiads.
New
open-sourceFree Tier