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
Mathematics
Explore Mathematics through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: AI for Science
Articles that also belong to these categories. Counts cover all of Mathematics.
All articles (91)Machine Learning (48)AI for Science (16)Statistics (14)Deep Learning (11)AI Research (10)Training & Optimization (9)OpenAI (6)Computer Science (5)Google DeepMind (5)Reinforcement Learning (5)AI Benchmarks (4)Algorithms (4)AI Ethics (3)Generative AI (3)Large Language Models (3)Natural Language Processing (3)Neural Networks (3)Open Source AI (3)AI Agents (2)AI Tools & Products (2)Chinese AI (2)Developer Tools (2)Information Retrieval (2)People (2)Programming Languages (2)AI Companies (1)AI Hardware (1)AI History (1)AI Incidents & Controversies (1)AI Infrastructure (1)AI Policy & Regulation (1)Anthropic (1)Artificial Intelligence (1)ChatGPT (1)Computer Vision (1)Data & Datasets (1)Google (1)Interpretability (1)Model Evaluation (1)Reasoning Models (1)Research Organizations (1)Robotics (1)Software Development (1)
Showing 1-16 of 16 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…
Axiom Math
Axiom Math, which also calls itself Axiom, is an American artificial intelligence company that builds systems for writing mathematical proofs in Lean
Exponential Time Hypothesis
The exponential time hypothesis (ETH) is a conjecture in computational complexity theory about how fast the 3-SAT problem can be solved.
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.
Kakeya Conjecture
The Kakeya conjecture (also called the Kakeya set conjecture or Besicovitch set conjecture) is a problem in geometric measure theory and harmonic analysis.
Local Smoothing Conjecture
The local smoothing conjecture is a conjecture in harmonic analysis about solutions of the wave equation.
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.
Stacks Project in Lean
Stacks Project in Lean is an open-source library that translates material from the Stacks Project into machine-checkable mathematics in Lean.
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…
Yang-Mills Existence and Mass Gap
Yang-Mills existence and mass gap is one of the seven Millennium Prize Problems announced by the Clay Mathematics Institute (CMI) on 24 May 2000, each carrying a $1 million prize.