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 for Science
Explore AI for Science through related topics and the articles other pages reference most.
Most referenced in this topic
Ranked by links from other AI Wiki pages.
Explore articles
Browse subtopics (35)
Articles that also belong to these categories. Counts cover all of AI for Science.
All articles (80)AI Models (19)Google DeepMind (18)Drug Discovery (12)AI Companies (11)Mathematics (10)AI Research (8)Artificial Intelligence (7)Healthcare AI (7)Open Source AI (6)AI Tools & Products (5)Anthropic (5)AI Agents (4)Deep Learning (4)Machine Learning (4)Google (3)Meta AI (3)AI Hardware (2)ChatGPT (2)Data Science (2)Developer Tools (2)Diffusion Models (2)Generative AI (2)Large Language Models (2)OpenAI (2)People (2)Reasoning Models (2)AI Ethics (1)AI History (1)AI Incidents & Controversies (1)Algorithms (1)Computer Science (1)Computer Vision (1)Data & Datasets (1)Neural Networks (1)Speech & Audio AI (1)
Showing 1-60 of 80 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.
AI co-scientist (Google)
The AI co-scientist is a multi-agent artificial intelligence system from Google, built on the Gemini 2.0 family of models, that is designed to help expert researchers generate novel scientific hypotheses…
AI in agriculture
AI in agriculture refers to the application of artificial intelligence, machine learning, computer vision, and robotics to farming and food production.
AI in drug discovery
AI in drug discovery is the application of artificial intelligence, machine learning, and deep learning across the pharmaceutical pipeline to identify drug targets, design new molecules, predict protein…
AI weather forecasting
AI weather forecasting is the use of machine learning and deep learning models, trained on decades of historical atmospheric data, to predict the weather faster and often more accurately than the physics-based…
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.
AlphaEvolve
AlphaEvolve is an evolutionary coding agent developed by Google DeepMind and announced on May 14, 2025 .
AlphaFold 3
AlphaFold 3 is a biomolecular structure prediction system developed jointly by Google DeepMind and Isomorphic Labs and published in Nature on May 8, 2024.
AlphaFold-Multimer
AlphaFold-Multimer is a deep learning system for predicting the three-dimensional structures of protein complexes, released by Google DeepMind in October 2021 as an extension of AlphaFold 2.
AlphaGenome
AlphaGenome is a unified deep learning model developed by Google DeepMind that predicts thousands of functional genomic properties from raw DNA sequences.
AlphaGenome Atlas
AlphaGenome Atlas is a precomputed catalog of molecular-effect predictions for genetic variants, released by Google DeepMind on September 8, 2026.
AlphaGeometry
AlphaGeometry is a neuro-symbolic artificial intelligence system developed by Google DeepMind that solves competition-level geometry problems at a standard comparable to human Olympiad gold medalists.
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…
AlphaMissense
AlphaMissense is a machine learning model from Google DeepMind that predicts whether a missense variant, a single amino-acid substitution in a protein, is likely to cause disease.
AlphaProof
AlphaProof is a reinforcement-learning system from Google DeepMind that finds and verifies formal mathematical proofs in the Lean 4 theorem prover
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…
AlphaProteo
AlphaProteo is a machine learning system developed by Google DeepMind for the de novo design of high-affinity protein binders, novel proteins that attach tightly to a chosen target.
AlphaQubit
AlphaQubit is a neural-network decoder for quantum error correction developed jointly by Google DeepMind and Google Quantum AI.
Apoha
Apoha is a deep-technology startup, based in London and San Francisco, that is building AI models for designing and discovering new substances by measuring how materials physically behave rather than relying…
Applied Materials
Applied Materials, Inc. (Nasdaq: AMAT) is an American maker of semiconductor manufacturing equipment, incorporated in 1967 as a Delaware corporation and headquartered at 3050 Bowers Avenue in Santa Clara
Automated Theorem Proving
Automated theorem proving (ATP) is the use of computer programs to find or check mathematical proofs, expressing both the statement and the proof in a formal_logic so that correctness can be decided…
Bioinformatics
Bioinformatics is the branch of science that builds computational methods, databases, and software for storing, searching, and interpreting biological data, above all the sequences of DNA, RNA, and proteins…
Boltz
Boltz is a family of open-source biomolecular structure prediction models developed primarily at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL) and the MIT Jameel Clinic.
Boltz-2
Boltz-2 is an open-source biomolecular foundation model that jointly predicts the 3D structure of biological complexes and the binding affinity between small molecules and proteins.
Brain-Computer Interface
A brain-computer interface (BCI), also called a brain-machine interface, is a system that measures activity in the nervous system and translates it into commands for an external device, bypassing muscles and…
Chai-1
Chai-1 is an open multimodal foundation model for biomolecular structure prediction released by the San Francisco startup Chai Discovery on 9 September 2024.
Chai-2
Chai-2 is a generative artificial intelligence model from Chai Discovery for designing antibodies and small protein binders from scratch.
Claude Science
Claude Science is an artificial intelligence research workbench released by Anthropic on June 30, 2026.
Claude Team Plan for Scientists
Claude Team Plan for Scientists is a limited promotional version of Claude's Team subscription for eligible academic and nonprofit research groups.
Claude for Life Sciences
Claude for Life Sciences is an industry-specific offering from Anthropic that adapts its Claude models for scientific research and drug development, packaging connectors to laboratory and literature platforms…
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…
DolphinGemma
DolphinGemma is an audio language model developed by Google to help scientists analyze the vocalizations of wild dolphins.
ESMFold
ESMFold is a protein structure prediction model developed by the Meta AI Fundamental AI Research (FAIR) Protein Team.
Evo 2 (genomic model)
Evo 2 is a genomic foundation model built by the Arc Institute together with NVIDIA, Stanford University, and collaborators, and first released in February 2025.
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.
FutureHouse
FutureHouse is a nonprofit research lab in San Francisco that is building an "AI Scientist," a set of automated systems intended to carry out scientific research with limited human supervision.
GNoME
GNoME (Graph Networks for Materials Exploration) is a deep-learning system from Google DeepMind that predicts the thermodynamic stability of inorganic crystals and uses those predictions to search for new…
Galactica (language model)
Galactica is a large language model for science, built by the Papers with Code team at Meta AI and released on 15 November 2022.
GenCast
GenCast is a probabilistic, ensemble-based machine-learning weather forecasting model developed by Google DeepMind that uses a diffusion model to generate large ensembles of possible 15-day weather…
GeoAI
GeoAI, short for geospatial artificial intelligence, is the application of artificial intelligence, especially machine learning and deep learning, to geographic data and spatial problems.
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.
GraphCast
GraphCast is a machine-learning weather-forecasting model from Google DeepMind that produces a 10-day global forecast at 0.25-degree resolution in under one minute on a single Google Cloud TPU v4 device
Harmonic (AI)
Harmonic is an American artificial intelligence company building what it calls mathematical superintelligence (MSI), a system designed to reason about mathematics and related quantitative fields without…
John Jumper
John Jumper (born 1 January 1985) is an American computational chemist and biophysicist who led the development of AlphaFold, the artificial intelligence system that predicts the three-dimensional structure of…
Jua
Jua is a Zurich-based artificial intelligence company building large foundation models for weather and the wider physical earth system.
Lila Sciences
Lila Sciences is a Cambridge, Massachusetts technology company that builds artificial intelligence systems coupled with automated laboratories, which it calls "AI Science Factories," in pursuit of what it…
Math Inc and Gauss
Math Inc is an artificial intelligence startup founded in 2025 that builds autoformalization tools for mathematics, with the stated mission of creating what it calls "verified superintelligence." Its first…
MatterGen
MatterGen is a generative artificial intelligence model from Microsoft Research for designing novel inorganic crystalline materials.
Model Hardware Standard
Model Hardware Standard (MHS) is an early specification for connecting AI agents to programmable physical equipment.
Multiple sequence alignment
A multiple sequence alignment (MSA) arranges three or more biological sequences, usually proteins, DNA or RNA
NVIDIA Earth-2
NVIDIA Earth-2 is a software platform and family of models from NVIDIA for AI-accelerated weather and climate simulation, prediction, and visualization.
Open Catalyst Project
The Open Catalyst Project (OCP) is a research collaboration between Meta AI's Fundamental AI Research group (FAIR) and Carnegie Mellon University's Department of Chemical Engineering.
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.
OpenAI for Science
OpenAI for Science was a research initiative and internal team at OpenAI, announced on September 3, 2025
OpenFold
OpenFold is an open source, trainable, GPU friendly PyTorch reimplementation of AlphaFold 2, developed initially by the AlQuraishi lab at Columbia University and then governed by the OpenFold Consortium
OpenScience
OpenScience is an open-source, model-agnostic AI research workbench built by Synthetic Sciences, a San Francisco startup in Y Combinator's Winter 2026 batch.
Periodic Labs
Periodic Labs is an American artificial intelligence research startup that builds AI systems and autonomous laboratories aimed at accelerating the discovery of new physical materials.