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 Research
Explore AI Research 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 AI Research.
All articles (98)People (22)Large Language Models (12)Open Source AI (10)AI Safety (9)Anthropic (9)AI Agents (8)AI Companies (8)AI for Science (8)Machine Learning (7)Reinforcement Learning (7)Research Organizations (7)Mathematics (6)AI Benchmarks (5)AI History (5)Artificial Intelligence (5)Computer Vision (5)Meta AI (5)AI Tools & Products (4)Deep Learning (4)Google (4)Google DeepMind (4)Interpretability (4)OpenAI (4)AI Alignment (3)AI Infrastructure (3)AI Models (3)Neural Networks (3)AI Ethics (2)AI Policy & Regulation (2)Data & Datasets (2)Developer Tools (2)Generative AI (2)Image Generation (2)Model Evaluation (2)Multimodal AI (2)Natural Language Processing (2)Reasoning Models (2)AI Code Generation (1)AI Incidents & Controversies (1)AI Inference (1)ChatGPT (1)Computer Science (1)Data Science (1)Healthcare AI (1)Information Retrieval (1)NVIDIA (1)Training & Optimization (1)Universities (1)World Models (1)
Showing 1-8 of 8 articles
Academic Research
Academic research is among the fields most visibly reshaped by artificial intelligence since the late 2010s. The change has come from two directions at once.
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…
DENDRAL
DENDRAL was a computer program built at Stanford University to help organic chemists work out the molecular structure of unknown compounds from their mass spectra.
Discovery Loop
Discovery Loop is an American artificial intelligence startup founded by Jeff Dean, Sanjay Ghemawat, Oriol Vinyals, and Quoc Le, four of the most influential researchers and engineers in the history of Google…
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.
Planetary Prediction Engine
Planetary Prediction Engine (PPE) is an experimental geospatial modeling system developed by Google Research.
Proto (Generative Biology)
Proto is an open-source programming framework for generative biology developed by researchers at Stanford University and the Arc Institute.