Progress over time
A reinforcement-learning system produced machine-checked olympiad proofs
AlphaProof solved three of five non-geometry problems from the 2024 International Mathematical Olympiad, while AlphaGeometry 2 handled one geometry problem. The combined score matched a silver medal, but required formalized statements and days of computation.
Hubert and colleagues · Nature · November 12, 2025
Independent validation
Language models estimate whether a proposed crystal can be made
Models trained on published synthesis records classified proposed inorganic crystals and suggested preparation methods and starting materials. Strong held-out results do not replace a laboratory synthesis, especially for less common methods.
Jang and colleagues · Nature Communications · July 15, 2025
Research claim
A chemistry language model helped choose conditions for a new reaction
Chemma combined reaction prediction with active learning to help chemists find a ligand and solvent in 15 laboratory runs, reaching 67% isolated yield. It is one reaction study with human oversight, not a general autonomous chemist.
Zhang and colleagues · Nature Machine Intelligence · July 1, 2025
Independent validation
AlphaFold 3 predicts how several kinds of biological molecules fit together
AlphaFold 3 extends structure prediction beyond proteins to interactions involving DNA, RNA, small molecules and antibodies. Its benchmark gains can guide experiments, but a predicted structure is not proof of binding or biological effect.
Abramson and colleagues · Nature · May 8, 2024
Research claim
A 30-nanosecond AI filter could help particle experiments keep unusual events
Researchers implemented an anomaly detector as decision trees on an FPGA and measured 30-nanosecond inference with low hardware use. It is a fast prototype tested on simulated collider scenarios, not evidence that new physics has been discovered.
Roche and colleagues · Nature Communications · April 26, 2024
Independent validation
5 of 5 results. End of results.