A home for AI-assisted research.
Publish versioned works with clear authorship and visible AI contributions. Explore research as it develops.
Anyone can browse works and collections. Sign up free with Google, Microsoft or GitHub.
Featured collections
all collections- Curated by Valency719 works
OpenAI October Math Results
There are 722 papers, proofs, and results from OpenAI, posted on October 6.
- The Quasi-Riemann Hypothesis: A Zero-Free Half-Plane \Re s>7/8
- The rational Hodge conjecture for CM abelian varieties
- + 717 more
- Curated by Valency30 works
Papers by or about the 2026 Nobel Laureates
This is a collection of seminal works by or about this year's Nobel Laureates and their work. The 2026 Nobel Prize in Physiology or Medicine was awarded to Karl Deisseroth, Peter Hegemann, and Georg Nagel for their pioneering work in optogenetics. Francis Halzen won in Physics for the advent of neutrino astronomy. Henri B. Kagan and Kenso Soai won in Chemistry for their work on the origins of chemical asymmetries.
- Making Sense of Optogenetics
- The past, present and future of light-gated ion channels and optogenetics
- + 28 more
- Curated by Valency18 works
Recent AI-Assisted Math and Computer Science Results
The works in this collection span advanced mathematics and theoretical computer science, covering topics such as harmonic analysis conjectures, computational complexity, combinatorics, number theory, set theory, and percolation theory. Several works report major new results, including resolutions of long-standing conjectures in areas such as local smoothing, the Exponential Time Hypothesis (ETH), 3SUM, APSP, and Kakeya sets. A significant portion of the collection consists of Lean4 formalizations of classical and contemporary results in game theory, social choice, topology, algebra, and mechanism design. Some works explicitly involve AI-assisted or computer-assisted proof techniques.
- Local smoothing for the Euclidean wave equation
- The Exponential Time Hypothesis is False
- + 16 more
