A Severe Misalignment of AI in Mathematics
A Severe Misalignment of AI in Mathematics is a declaration about artificial intelligence and mathematical research, published on September 11, 2026 at mathandai.org with 25 initial signatories
AI for Science
Explore AI for Science through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Mathematics
Articles that also belong to these categories. Counts cover all of AI for Science.
All articles (80)AI Models (19)Google DeepMind (18)Drug Discovery (12)AI Companies (11)Mathematics (10)AI Research (8)Artificial Intelligence (7)Healthcare AI (7)Open Source AI (6)AI Tools & Products (5)Anthropic (5)AI Agents (4)Deep Learning (4)Machine Learning (4)Google (3)Meta AI (3)AI Hardware (2)ChatGPT (2)Data Science (2)Developer Tools (2)Diffusion Models (2)Generative AI (2)Large Language Models (2)OpenAI (2)People (2)Reasoning Models (2)AI Ethics (1)AI History (1)AI Incidents & Controversies (1)Algorithms (1)Computer Science (1)Computer Vision (1)Data & Datasets (1)Neural Networks (1)Speech & Audio AI (1)
Showing 1-10 of 10 articles
AI Co-Mathematician
AI Co-Mathematician is an interactive, agentic research system built by Google DeepMind to help professional mathematicians work on open-ended research problems.
AlphaGeometry 2
AlphaGeometry 2 (often abbreviated AG2) is a neuro-symbolic artificial intelligence system built by Google DeepMind that solves Olympiad-level Euclidean geometry problems by pairing a Gemini-based language…
AlphaProof Nexus
AlphaProof Nexus is a formal proof search system from Google DeepMind that pairs a general-purpose language model with the Lean proof assistant in an agentic loop, submitting each candidate proof step to the…
Formalization of Fermat's Last Theorem (Anthropic, 2026)
The formalization of Fermat's Last Theorem is a complete, machine-checked proof of Fermat's Last Theorem (FLT) in the Lean 4 proof assistant that Anthropic published on September 4, 2026.
FunSearch
FunSearch is a method from Google DeepMind that pairs a large language model with an automated evaluator to discover new solutions to hard problems in mathematics and computer science.
Geometric Deep Learning
Geometric deep learning (GDL) is an area of deep learning that designs neural networks around the structure and symmetries of their data.
OpenAI Navier-Stokes Proposed Solution
OpenAI Navier-Stokes Proposed Solution is a proposed resolution of the Navier-Stokes existence and smoothness Millennium Prize Problem announced by OpenAI on September 8, 2026.
Prove2Me
Prove2Me is an open collaborative platform for formalizing mathematics in Lean 4, built by a group led by Tianyi Peng at Columbia University.
Terence Tao
Terence Tao (born 1975 in Adelaide, Australia) is a mathematician at the University of California, Los Angeles, where he is a Distinguished Professor and holds the James and Carol Collins Chair in the College…