Within one week of its October GitHub release, OpenAI revised 14 mathematical manuscripts

Overview Debates Related claims Topics

OpenAI released automated mathematical results claiming solutions or progress regarding Navier-Stokes, the quasi-Riemann hypothesis, and the Unique Games Conjecture

Grigori Perelman proved the Poincare conjecture by publishing his Ricci flow papers on the arXiv preprint repository in 2002 and 2003

Virginiya Vassilevska Williams and Josh Alman authored a paper demonstrating an asymptotic algorithm improvement for the three-sum problem

Kevin Buzzard's research team translated statements of 50 mathematical theorems from the Annals of Mathematics into formal statements checked by AI

Leash Bio utilizes DNA-encoded libraries to screen millions of chemical compounds against thousands of proteins

Since its founding, Leash Bio has screened approximately 1,000 proteins against chemical libraries

Mathematicians Thomas Hales and Samuel Ferguson reduced the Kepler conjecture to 1,762 geometric configurations to verify computationally

Kevin Buzzard identified logical gaps, mistakes, and unverified assumptions in mathematical literature building upon Peter Scholze's work on perfectoid spaces

In November 2020, Fields Medalist Peter Scholze contacted Kevin Buzzard to request formal verification of Theorem 8.4 in an analytic geometry paper

In the summer of 2013, Leonardo de Moura decided to base Lean on dependent type theory after discussions with Jeremy Avigad

Kevin Buzzard's team identified that Annals of Mathematics theorems authored by four Fields Medalists were strictly false as written due to missing implicit assumptions

Paul Rothemund invented the DNA origami self-assembly technique

Lulu Qian developed a thermal cycling mechanism to power DNA nanotechnology systems into sustained non-equilibrium states

Lulu Qian and Eric Winfree constructed a nanoscale robotic transporter using a single DNA strand with functional domains

Lulu Qian and Eric Winfree designed a DNA molecular circuit that calculates the discrete square root of four-bit integers

Paul Rothemund demonstrated DNA origami by folding a 7-kilobase viral DNA scaffold into an 80-nanometer smiley face

Blaise Agüera y Arcas authored a research paper demonstrating the spontaneous emergence of computational self-replicators from interacting programs

Eric Winfree entered the DNA computing field in 1994 following Leonard Adleman's paper on molecular computation

Chris Langton and researchers at the Santa Fe Institute explored self-replication and artificial life using computational algorithms

Russian political economist Ilya Matveyev published economic research examining regional inequality and wartime industrial redistribution in Russia