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.
Most linked
The AI Research articles that other AI Wiki pages link to most.
- Meta AIMeta AI is the name Meta Platforms uses for two related but distinct things: the company's artificial intelligence research and engineering…
- EleutherAIEleutherAI is a non-profit artificial intelligence research institute that builds and openly releases large language models, datasets, and…
- NeolabA neolab, also written neo-lab or NeoLab, is an informal term for an AI research company organized around a technical research program.
- Academic ResearchAcademic research is among the fields most visibly reshaped by artificial intelligence since the late 2010s.
- Center for AI SafetyThe Center for AI Safety (CAIS) is an American nonprofit research and advocacy organization based in San Francisco, California
- Redwood ResearchRedwood Research is a nonprofit AI safety organization founded in 2021 and headquartered in Berkeley, California, best known for pioneering…
- LLM EvaluationLLM evaluation is the practice of measuring what a large language model can do, how reliably it does it, and how it behaves under…
- Apollo ResearchApollo Research is a technical AI safety organization founded in May 2023 and headquartered in London, United Kingdom, with additional…
Explore articles
Browse subtopics (59)
Articles that also belong to these categories. Counts cover all of AI Research.
All articles (142)AI Companies (30)People (25)AI for Science (19)AI Agents (17)Large Language Models (15)AI Safety (13)Research Organizations (13)Anthropic (11)Machine Learning (11)Open Source AI (11)Mathematics (9)Reinforcement Learning (8)World Models (7)Computer Vision (6)OpenAI (6)AI Benchmarks (5)AI History (5)AI Tools & Products (5)Artificial Intelligence (5)Deep Learning (5)Google (5)Google DeepMind (5)Interpretability (5)Meta AI (5)Neural Networks (4)Robotics (4)AI Alignment (3)AI Infrastructure (3)AI Models (3)AI Policy & Regulation (3)Data & Datasets (3)Developer Tools (3)Enterprise AI (3)AI Code Generation (2)AI Ethics (2)AI Inference (2)Computer Science (2)Generative AI (2)Healthcare AI (2)Image Generation (2)Model Evaluation (2)Multimodal AI (2)NVIDIA (2)Natural Language Processing (2)Reasoning Models (2)Training & Optimization (2)Video Generation (2)AI Compute (1)AI Incidents & Controversies (1)Algorithms (1)ChatGPT (1)Data Science (1)Drug Discovery (1)Embodied AI (1)Information Retrieval (1)Microsoft (1)Quantum Computing (1)Speech & Audio AI (1)Universities (1)
Showing 1-60 of 142 articles
AGI, Inc.
AGI, Inc. (also written AGI Inc.; website theagi.company) is a San Francisco artificial intelligence company that builds small "action" models and an assistant app that operate a phone or computer through its…
AI bubble
The AI bubble is the contested debate, most intense across 2025 and into 2026, over whether the surge in artificial intelligence investment, company valuations, and infrastructure spending that began around…
AIRA (Meta AI Research Agents)
AIRA (AI Research Agent) is the name Meta FAIR uses for its line of autonomous machine learning research agents and for the software that runs them.
AR-WAM
AR-WAM is a research system for robotic manipulation that connects a high-level agent to a compact world action model.
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.
Adaption Labs
Adaption Labs, which markets itself as Adaption (legal name Adaption, Inc.), is an artificial intelligence company based in San Francisco that develops AI systems intended to keep learning and adapting after…
Aire (AI lab)
Aire is a stealth-mode artificial intelligence research company founded in 2026 by former researchers from Meta and OpenAI.
Alignment Research Center
The Alignment Research Center (ARC) is a Berkeley, California nonprofit research organization, founded in April 2021 by Paul Christiano
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…
An Alien Mind
An Alien Mind is an essay by Jakub Pachocki, the chief scientist of OpenAI, published by OpenAI on September 6, 2026 under its Safety and Research sections.
Anthropic Economic Index
The Anthropic Economic Index is a research initiative run by Anthropic that tracks how its AI assistant Claude is used across occupations, tasks, and geographies in order to study AI's economic effects.
Anthropic Insights
Anthropic Insights, formerly called Clio, is a privacy-preserving conversation-analysis system developed by Anthropic.
Apollo Research
Apollo Research is a technical AI safety organization founded in May 2023 and headquartered in London, United Kingdom, with additional offices in San Francisco (opened early 2026) and Washington
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…
Barret Zoph
Barret Zoph is an American artificial intelligence researcher and engineer best known for pioneering neural architecture search (NAS) at Google Brain and for helping build ChatGPT as a vice president of…
Biohub
Biohub is a nonprofit biomedical research organization that combines artificial intelligence, experimental biology, and scientific instrumentation to study cells and disease.
Brain2Qwerty
Brain2Qwerty is a research program in non-invasive brain-computer interfaces for decoding typed language from recordings of brain activity.
Center for AI Safety
The Center for AI Safety (CAIS) is an American nonprofit research and advocacy organization based in San Francisco, California, founded in 2022 to reduce societal-scale risks from artificial intelligence.
Chinchilla
Chinchilla is a 70-billion-parameter transformer large language model and an accompanying family of compute-optimal scaling laws, both introduced in the March 2022 paper Training Compute-Optimal Large Language…
Chinchilla scaling laws
The Chinchilla scaling laws are a set of empirical findings published by DeepMind researchers in 2022 showing that, for a fixed compute budget, a large language model trains most efficiently when its number of…
Claude Shannon
Claude Elwood Shannon (April 30, 1916 - February 24, 2001) was an American mathematician and electrical engineer who founded information theory, the mathematical framework that underlies digital communication…
Consensus (academic AI search)
Consensus is an AI-powered academic search engine that uses large language models to find, summarise, and synthesise findings from peer-reviewed scientific literature across a corpus of more than 200 million…
Core Automation
Core Automation (legally Core Automation, Inc.) is an American artificial intelligence research company based in San Francisco.
Cross-Model KV Cache Transfer
Cross-model KV cache transfer is an experimental technique for converting the KV cache produced by one large language model into the cache representation expected by another model.
Cybernetics
Cybernetics is the study of control and communication in animals, machines, and organizations.
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.
Daniel Levy
Daniel Levy is an artificial intelligence researcher and the co-founder and president of Safe Superintelligence Inc. (SSI), the AI laboratory he started in June 2024 with former OpenAI chief scientist Ilya…
Dawn Song
Dawn Song (full name Dawn Xiaodong Song) is a computer scientist who works on computer security, privacy and the safety and security of AI systems.
Diogo Almeida
Diogo Almeida (full name Diogo Moitinho de Almeida) is a machine learning researcher and the co-founder and chief executive of TypeSafe AI, a San Francisco lab that came out of stealth on 15 September 2026…
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…
Dream-RSI
Dream-RSI (Recursive Self-Improvement through Evolving Worlds) is a framework for improving the exploration strategy of an AI discovery agent, described in a preprint posted to arXiv on 14 September 2026 by a…
Dust
Dust is a zeroth-order training method proposed by Q Labs in October 2026 for language transformers without backpropagation.
Economic Scenarios for Transformative AI
Economic Scenarios for Transformative AI is a September 2026 working paper and interactive scenario model from The Anthropic Institute.
Egocentric Vision
Egocentric vision, also called first-person vision, is the branch of computer vision concerned with video and sensor data recorded from a camera worn on the head or body of the person whose activity is being…
EleutherAI
EleutherAI is a non-profit artificial intelligence research institute that builds and openly releases large language models, datasets, and evaluation tools, and studies their interpretability and alignment.
Emulate (AI lab)
Emulate (registered as Emulate AI Ltd) is a London-based artificial intelligence company that is developing world models, AI systems that simulate how environments behave and how actions change them.
Engram (company)
Engram is an American artificial intelligence company, based in San Francisco, that trains large language models to absorb an organization's documents, messages and other working context into their weights.
Eric Horvitz
Eric Horvitz is an American computer scientist, holding both an MD and a PhD, who is the Chief Scientific Officer of Microsoft, a newly created post he has held since March 2020.
Essential AI
Essential AI (legal name Essential AI Labs, Inc.) is a San Francisco based artificial intelligence research company founded in 2023 by Ashish Vaswani and Niki Parmar
Flapping Airplanes
Flapping Airplanes is a San Francisco AI research company founded in 2025 by brothers Ben and Asher Spector and Aidan Smith. It studies ways to make AI use data and computing resources more efficiently.
Flourish (AI lab)
Flourish is a New York-based artificial intelligence research company that pairs an in-house neuroscience laboratory with an AI engineering team, with the aim of finding what Wired called the brain's "core…
Full-Sky Ultraviolet Map (2026)
The Full-Sky Ultraviolet Map (2026) is an astronomical map produced by Brice Ménard, an astrophysicist at Johns Hopkins University and researcher at Anthropic, with Claude Science.
Fundamental (company)
Fundamental (legal name Fundamental Technologies Inc.) is an American artificial intelligence company, headquartered in San Francisco, that builds what it calls large tabular models (LTMs): foundation models…
GDPval
GDPval is a benchmark released by OpenAI on September 25, 2025 that measures how well frontier AI models can produce the actual deliverables of professional knowledge work
GSQ-RCO
GSQ-RCO is a model-compression workflow that combines Gumbel-Softmax Quantization (GSQ) with Riemannian Constrained Optimization (RCO).
Gemma 4 Developer Agent Competition
The Gemma 4 Developer Agent Competition is a 2026 Kaggle challenge for AI coding agents, accompanied by a research-paper track. Kaggle lists Google DeepMind as host, while the rules name Google LLC as sponsor.
Guillaume Lample
Guillaume Lample (born 8 October 1990) is a French artificial intelligence researcher and entrepreneur, best known as a senior author of the LLaMA paper produced at Meta AI and as a co-founder and chief…
Hanna Hajishirzi
Hanna Hajishirzi, whose scholarly publications generally use the name Hannaneh Hajishirzi, is a computer scientist whose research covers natural language processing, machine learning, generative AI, question…
HuggingGPT
HuggingGPT is an agent system that uses a large language model as a controller to plan tasks and orchestrate specialist machine learning models hosted on Hugging Face.
Illia Polosukhin
Illia Polosukhin is a Ukrainian computer scientist and entrepreneur best known as one of the eight co-authors of the 2017 paper "Attention Is All You Need"
Ineffable Intelligence
Ineffable Intelligence is a London-based artificial intelligence research lab founded by David Silver, the DeepMind researcher who led the work on AlphaGo and AlphaZero.
Inference-time scaling
Inference-time scaling (also called test-time compute scaling) is the practice of improving an AI model's output quality by allocating more computational resources during inference rather than during training.
Inherent (AI lab)
Inherent is a London-based artificial intelligence research company that trains "AI Scientist" agents meant to work alongside human researchers on open-ended scientific problems.
Intrinsic Discovery (Induction Labs)
Intrinsic Discovery is an experimental training method introduced by Induction Labs in August 2026.
Inverse graphics
Inverse graphics is the problem of recovering, from one or more images, a description of the scene that produced them: the geometry, materials, lighting, camera, and in some formulations the motion and…
IronBench
IronBench is a research environment and evaluation for training a large language model to propose medium-power-transformer designs. General Trajectory introduced the project in September 2026.
Jakob Uszkoreit
Jakob Uszkoreit is a German computer scientist, machine learning researcher, and entrepreneur, best known as one of the eight co-authors of the 2017 paper "Attention Is All You Need," which introduced the…
Jeff Clune
Jeff Clune is a computer scientist known for research on open-endedness, evolutionary algorithms, deep reinforcement learning, and what he calls "AI-generating algorithms" (AI-GAs)