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 Research
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-10 of 10 articles
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
AxiomProver
AxiomProver is an automated theorem-proving system developed by Axiom Math. The company describes it as an autonomous multi-agent system for Lean 4 that translates mathematical tasks into formal statements and…
KLS Conjecture
The Kannan-Lovász-Simonovits conjecture, usually called the KLS conjecture, concerns how efficiently a convex body can be divided into two parts.
Leiden Declaration on Artificial Intelligence and Mathematics
The Leiden Declaration on Artificial Intelligence and Mathematics is a statement on the use of artificial intelligence in mathematical research, published on 2 June 2026 at leidendeclaration.ai and deposited…
Mathematical reasoning in AI
Mathematical reasoning in AI is the ability of computer systems to solve mathematical problems: carrying out multi-step calculations, proving theorems, and answering competition or research questions that…
OpenAI Mathematics Collection
The OpenAI Mathematics Collection is a public collection of mathematical manuscripts and proof artifacts produced by an internal OpenAI model. OpenAI announced the release on October 6, 2026.
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.
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.