In pharmaceutical drug development, preclinical mouse studies typically cost around $50 million over two to three years

Overview Debates Related claims Topics

Biotechnology researchers in Boston have cultured human stem cells into cardiac organoids to generate laboratory-grown heart tissue for direct myocardial injection

Mini Circle evaluated its klotho plasmid gene therapy across a preliminary clinical cohort of approximately 50 human recipients

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

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

Leonardo de Moura developed the Z3 automated theorem prover at Microsoft Research to automatically check software pathways for bugs

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

Leash Bio produces two pre-measured protein-screening environments per day

Leash Bio established an operational goal to scale production to 20 pre-measured protein-screening environments per day

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