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
Explore AI Research through related topics and the articles other pages reference most.
Ranked by links from other AI Wiki pages.
Articles that also belong to these categories. Counts cover all of AI Research.
Showing 1-60 of 98 articles
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
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 (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.
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.
The Alignment Research Center (ARC) is a Berkeley, California nonprofit research organization, founded in April 2021 by Paul Christiano
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 is an essay by Jakub Pachocki, the chief scientist of OpenAI, published by OpenAI on September 6, 2026 under its Safety and Research sections.
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, formerly called Clio, is a privacy-preserving conversation-analysis system developed by Anthropic.
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
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 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…
Brain2Qwerty is a research program in non-invasive brain-computer interfaces for decoding typed language from recordings of brain activity.
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 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…
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 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 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…
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 is the study of control and communication in animals, machines, and organizations.
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 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…
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…
Economic Scenarios for Transformative AI is a September 2026 working paper and interactive scenario model from The Anthropic Institute.
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 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.
Essential AI is a San Francisco based artificial intelligence research company founded in 2023 by Ashish Vaswani and Niki Parmar
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
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, 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 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 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 is a London-based artificial intelligence research lab founded in late 2025 by David Silver, the DeepMind researcher who led the work on AlphaGo and AlphaZero.
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.
Intrinsic Discovery is an experimental training method introduced by Induction Labs in August 2026.
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 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 is a computer scientist known for research on open-endedness, evolutionary algorithms, deep reinforcement learning, and what he calls "AI-generating algorithms" (AI-GAs)
Jet-Nemotron is a family of small hybrid-architecture language models released by NVIDIA Research in August 2025.
Kyutai is a privately funded nonprofit artificial intelligence research laboratory based in Paris, France
LIMA, short for "Less Is More for Alignment," is a 2023 research paper by Chunting Zhou and colleagues at Meta AI, Carnegie Mellon University, the University of Southern California, and Tel Aviv University…
LLM anxiety is a measurable, anxiety-like behavioral state observed in large language models when they are exposed to emotionally distressing input, in which the model's scores on a standard human anxiety…
LLM evaluation is the practice of measuring what a large language model can do, how reliably it does it, and how it behaves under adversarial or high-stakes conditions.
LLM-as-a-Verifier is a probabilistic verification framework and open-source Python package for scoring and selecting large language model agent trajectories.
LeVJEPA is a self-supervised learning method for training video encoders. It applies the LeJEPA objective to video
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…
Llion Jones is a Welsh AI researcher and software engineer, one of the eight co-authors of the 2017 paper "Attention Is All You Need"
The Machine Intelligence Research Institute (MIRI) is a Berkeley, California 501(c)(3) nonprofit, founded in 2000 by Eliezer Yudkowsky, that argues the default outcome of building smarter-than-human AI is…
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…
Meta AI is the name Meta Platforms uses for two related but distinct things: the company's artificial intelligence research and engineering organization
Meta FAIR (Fundamental AI Research), originally Facebook AI Research, is the open, fundamental research laboratory of Meta, founded in December 2013 with Yann LeCun as its first director.
Mila, formally styled Mila - Quebec Artificial Intelligence Institute (in French, Mila - Institut quebecois d'intelligence artificielle)
Mind viruses in multi-agent AI are ideas or goals that an AI agent adopts and then attempts to transmit to other agents.
The neural tangent kernel (NTK) is a kernel function built from the parameter gradients of a neural network.
Niki Parmar is an Indian-American artificial intelligence researcher and entrepreneur best known as one of the eight co-authors of the 2017 paper "Attention Is All You Need"
Noam Brown is an American computer scientist and research scientist at openai who specializes in artificial intelligence reasoning, multi-agent learning, search algorithms, and self-play.
Noam Shazeer (born 1975 or 1976) is an American computer scientist and software engineer who is one of the most prolific and influential researchers in the modern era of deep learning, best known as a…
Nous Research is a New York City-based applied AI research organization and company that builds widely used open-weight language models and decentralized training infrastructure.
On the Biology of a Large Language Model is a mechanistic interpretability paper published by Anthropic on March 27, 2025, in the Transformer Circuits Thread.
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.