Tracked across scientific fields
A chronological view of public research related to this topic.
Related updates
By Melissa Lee , Monash University In August, artificial intelligence company OpenAI announced ten advances in mathematics and computer science made with their as-yet unreleased model Astra. The discoveries cover a wide range of mathematical fields, including geometry, cryptography and coding theory. These ten are just the latest in a rapidly growing list of mathematical breakthroughs made by generative artificial in
OpenAI releases 722 AI-generated mathematics papers as researchers weigh what comes next OpenAI has published hundreds of mathematical manuscripts produced by an unreleased AI model, opening a much bigger debate over how AI-generated research should be checked, understood and incorporated into mathematics OpenAI has released a collection of 722 mathematical manuscripts generated by an internal frontier AI model, cove
AI Models & Platforms OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model Add Unite.AI to your preferred sources on Google In a research post published October 6, 2026, OpenAI said it is releasing a broad range of new mathematical results produced by an unreleased internal frontier model, publishing 722 manuscripts organized into 372 families in a public GitHub repository alongside Lean proof formalizati
The floodgates are open. Right on the heels of OpenAI’s new large language model producing the biggest math breakthrough in two decades, the company just released no less than 372 results from the same model. Each resolves or makes substantial progress on a major open question in mathematics or theoretical computer science, the company says. OpenAI revealed the results in a GitHub repository at 6 P.M. EDT. The deluge
[This is a guest post by Ben Antieau , cross-posted from his blog . — T.] There was no personal problem, no world problem, whose eloquent solution did not exist— somewhere in some hexagon. —Jorge Luis Borges, “The Library of Babel” [1] New repository I am writing to announce Hexagon , a new repository for research works in the mathematical sciences and theoretical computer science. This has been a joint effort of man
The development of machine olfaction (digitization of odor) is currently hindered by data scarcity and the lack of standardization in descriptive labels. Datasets integration faces the challenges of descriptor-level conflicts, including cross-source labeling inconsistencies, synonym redundancy, skewed distributions, etc. To address the semantic confusion inherent in multi-source data, we developed a SEA (Statistical
[This is a guest post by a coalition of Caltech mathematicians: the original organizers of Mathathon (Alvan Arulandu, Andrea Li, Avni Garg, Brian Zhao, Caiman Moreno-Earle, Sathvik Redrouthu), two coauthors of the Open Letter about the Mathathon (Dylan King, Tasmin Chu), and other members of the Caltech community (Mayla Ward, Merrick Hua, Robert Joseph George, Sergei Gukov, Shaowu Zhang, Tony Yue Yu, Vihaan Dheer). T
Radical Numerics co-founder Eric Nguyen discusses genomic language models and biosecurity. He helped develop Evo and Evo 2; a separate Arc/Stanford team later used those models to generate and synthesize functional bacteriophage genomes. The interview distinguishes three sequence scales: an average human gene is about 60K, long genes can reach 2.3M, and the whole human genome is around 3B. Nguyen argues that models w
Last year I co-founded the Foundation for Science and AI Research (SAIR) with some private donors to create a non-profit organization that could support responsible uses of AI in mathematics and the other sciences, independent of the major AI companies. Initially, our resources were rather limited, and our main activities consisted primarily of podcasts , short events , and competitions . However, we have been slowly
scBaseCount is presently the largest public single-cell RNA-seq repository, containing over 502 million cells across 27 organisms and 75 tissues. An AI agent autonomously discovers, annotates, and uniformly reprocesses all 10× Genomics datasets in the SRA, creating a harmonized, continually updated resource for studying the diversity of cell biology and training AI models.
PhAI Labs announced its DFM research framework, published the DFM technical report and research-map repository, and said ScienceBuddy, ScienceIDE and JEPA-Anything were scheduled as separate releases on September 16–18.
Discovery Foundation Models: Toward Open-Ended Discovery Intelligence 摘要 Foundation models have progressed from learning and reasoning over existing knowledge, to increasingly learning through action, tool use, and outcome feedback. We argue that the next frontier is a further transition: from solving and acting within problems specified by humans to participating in the process by which new problems, representations
For drug discovery, protein-folding models such as AlphaFold have a data problem: there isn’t enough of it in public databases. Improving the performance of these artificial-intelligence-based tools will require extra data that provide examples of how proteins and drugs interact, some scientists argue. Protein structures— locked away by the thousands in drug company vaults— offer one promising source. Today, a consor
Google DeepMind said Tuesday that it has used artificial intelligence to predict the biological consequences of all 9 billion possible single-letter changes to human DNA, and is making the resulting database available free to academic researchers worldwide. AlphaGenome Atlas, as DeepMind calls the database, is a precomputed catalogue of what each substitution of a single DNA base is likely to do to the machinery that
Protein language models (PLMs) provide powerful representations of protein sequence, but their utility for proteome-scale binding-site retrieval remains unclear. Here, we present PocketScope, a training-free framework that represents cavity-lining residues using frozen ESM-C 600M embeddings and retrieves related binding sites through exhaustive late-interaction MaxSim, without pooling or approximate nearest-neighbor
A trained reinforcement learning policy does not determine the complete behavior that users encounter: deployment code still schedules, admits, suppresses, or replaces its proposed actions. We contribute \emph{runtime action interference} (RAI), an AI control mechanism that preserves policy parameters while regulating action pacing and filtering configured action patterns after inference. RAI releases a proposed acti
Public benchmarks are important for measuring Automatic Speech Recognition (ASR) capabilities, but models may be optimized for these benchmarks in ways that fail to generalize. This paper presents a methodology to quantify such benchmark optimization, focusing on cases where audio underdetermines the reference transcript. The authors identify three families of behavioral probes—reference disagreement, masked-number r
In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking that a given Lean repository actually proves the claimed statement is somewhat non-trivial, especially for an audience which is not expert in the use of Lean: one has to first check that the claimed formal Lean statements have
MathCode converts natural-language mathematics problems into Lean 4 theorem statements and attempts formal proofs. Its public project combines a persistent Lean REPL, reusable theorem and axiom libraries, agentic proving, parallel subgoal trees and an Obsidian theorem graph.
Prime Intellect ran 153 internet-isolated autonomous runs across 18 frontier models on the nanoGPT optimizer speedrun, releasing the traces, monitor reports, per-run ledger and harness.
OpenAI released ten results on long-standing problems together with human-prepared manuscripts and Lean certificates.
At a glance - Aurora 1.5 is a major extension of Microsoft’s Aurora Earth System foundation model that adds 22 more weather variables relevant to energy, agriculture, transport, and climate risk, along with hourly temporal resolution and probabilistic ensemble forecasting. - Released as open source on GitHub with model checkpoints on Hugging Face, Aurora 1.5 enables researchers and developers to use, evaluate, and bu
Biomni integrates tool retrieval, code execution and experimental protocols across biomedical tasks in a single agent environment.
A cross-species foundation model creates a shared cell representation that supports zero-shot transfer across biological datasets.
Epoch AI released a pilot of 14 research-level open problems with programmatically checkable answers to test the frontier beyond existing benchmarks.
Machine learning interatomic potentials (MLIPs) are transforming the landscape of computational chemistry and materials science. MLIPs enable atomistic simulations that combine the fidelity of computationally expensive quantum chemistry with the scaling power of AI. Yet, developers working at this intersection face a persistent challenge: a lack of robust, Pythonic toolbox for GPU-accelerated atomistic simulation. Fo
[This is a guest post by Boris Alexeev . Now over to Boris.] I’m here to tell you about various exciting developments centering on Erdős problems, especially involving the formalization of old and new mathematics using artificial intelligence. Background As is well known, Paul Erdős was a prolific mathematician of the 20th century who posed an extraordinary number of conjectures. Around May 2023 , Thomas Bloom set up