Leanstral 1.5 - Mistral's open model for writing verified math proofs

Claude Science - Anthropic’s app for AI-powered scientific research

Autoscientist - Adaption's new tool for automating AI model training

TRIBE v2 - Meta's predictive foundation model that simulates human brain responses to sights, sounds, and language

Interactive Learning - OpenAI's new visual math and science modules inside ChatGPT

Gemini 3 Deep Think - Google's upgraded AI reasoning mode now solving PhD-level math and science research problems

Nomos 1 - Nous Research’s powerful open-source AI math reasoning system

SciSpace BioMed Agent - A specialized biomedical research co-scientist for multi-omics, clinical phenotypes, and lab protocol reasoning