Bb5a31f81ClaimOpenAI released automated mathematical results claiming solutions or progress regarding Navier-Stokes, the quasi-Riemann hypothesis, and the Unique Games ConjectureAgreeDisagree
Bb5a31f81ClaimVirginiya Vassilevska Williams and Josh Alman authored a paper demonstrating an asymptotic algorithm improvement for the three-sum problemAgreeDisagree
Bb5a31f81ClaimKevin Buzzard's research team translated statements of 50 mathematical theorems from the Annals of Mathematics into formal statements checked by AIAgreeDisagree
Bb5a31f81ClaimLeash Bio utilizes DNA-encoded libraries to screen millions of chemical compounds against thousands of proteinsAgreeDisagree
Bb5a31f81ClaimSince its founding, Leash Bio has screened approximately 1,000 proteins against chemical librariesAgreeDisagree
Bb5a31f81ClaimMathematicians Thomas Hales and Samuel Ferguson reduced the Kepler conjecture to 1,762 geometric configurations to verify computationallyAgreeDisagree
Bb5a31f81ClaimKevin Buzzard identified logical gaps, mistakes, and unverified assumptions in mathematical literature building upon Peter Scholze's work on perfectoid spacesAgreeDisagree
Bb5a31f81ClaimIn November 2020, Fields Medalist Peter Scholze contacted Kevin Buzzard to request formal verification of Theorem 8.4 in an analytic geometry paperAgreeDisagree
Bb5a31f81ClaimIn the summer of 2013, Leonardo de Moura decided to base Lean on dependent type theory after discussions with Jeremy AvigadAgreeDisagree
Bb5a31f81ClaimKevin Buzzard's team identified that Annals of Mathematics theorems authored by four Fields Medalists were strictly false as written due to missing implicit assumptionsAgreeDisagree
Bb5a31f81ClaimLulu Qian developed a thermal cycling mechanism to power DNA nanotechnology systems into sustained non-equilibrium statesAgreeDisagree
Bb5a31f81ClaimLulu Qian and Eric Winfree constructed a nanoscale robotic transporter using a single DNA strand with functional domainsAgreeDisagree
Bb5a31f81ClaimLulu Qian and Eric Winfree designed a DNA molecular circuit that calculates the discrete square root of four-bit integersAgreeDisagree
Bb5a31f81ClaimPaul Rothemund demonstrated DNA origami by folding a 7-kilobase viral DNA scaffold into an 80-nanometer smiley faceAgreeDisagree
Bb5a31f81ClaimBlaise Agüera y Arcas authored a research paper demonstrating the spontaneous emergence of computational self-replicators from interacting programsAgreeDisagree
Bb5a31f81ClaimEric Winfree entered the DNA computing field in 1994 following Leonard Adleman's paper on molecular computationAgreeDisagree
Bb5a31f81ClaimChris Langton and researchers at the Santa Fe Institute explored self-replication and artificial life using computational algorithmsAgreeDisagree
Bb5a31f81ClaimRussian political economist Ilya Matveyev published economic research examining regional inequality and wartime industrial redistribution in RussiaAgreeDisagree
Bb5a31f81ClaimJohn Hopfield formulated the kinetic proofreading mechanism requiring free-energy consumption to enhance biochemical reaction specificityAgreeDisagree