Left behind by progress?
It happens every day, in laboratories, on launch pads and in clinical trials, and almost none of it reaches you in a form you can follow. humanitree keeps the whole record in one place: what humanity has achieved, who did it, and what is being built right now, checked against new research every day.
Doctors treat a baby with a gene editor built for his own mutation, the first gene-editing drug made for a single patient. Headline: Custom Gene-Editing Treatment Helps Baby in World’s First Case
Closest to done.
Here we stand on the brink of the next breakthrough.
AI Research Mathematics & Formal Proof
Open problems solved with machine-checked proofs
- 14 May 2025AlphaEvolve improves algorithms and open bounds
- 12 Nov 2025AlphaProof method published in Nature
- 12 Jan 2026Erdős problem #728 resolved with a Lean proof by Aristotle
- 30 Jan 2026Gemini Deep Think agent reports autonomous Erdős solutions
- 20 May 2026AI disproves Erdős's unit-distance conjecture
- 1 Aug 2026OpenAI reports ten Lean-checked research results
- 4 Sep 2026Claude formalises Fermat's Last Theorem in Lean in 11 days
- 8 Sep 2026AI-found blowups for the Euler equations of fluid flow
- 6 Oct 2026OpenAI publishes 722 AI-written maths manuscripts, about 42 % with Lean proofs
- 6 Oct 2026Preprint: Lean code for OpenAI's Navier-Stokes proof does not match the written proof
- 7 Oct 2026 · LatestOpenAI withdraws three AI-written manuscripts after a sign error
- Today · 80 %
- Goal · 100 %
Follow what matters.
An account turns the trees into a place you return to.
- Follow a technologyYour profile keeps it in view, with every change since your last visit.
- Come back any timeA wooden board tells you what moved in the trees while you were away.
- Make it yoursFavourite scientists, the breakthrough you want most, and friends to compare notes with.
Together, we write our story.
Every technology is the work of many hands across many centuries. Taken together they are humanity's finest achievement, and they deserve to be named and celebrated.
Portraits from Wikimedia Commons; each one carries its credit inside the trees.
Never missa breakthrough again.
Follow the technologies you care about: every new step shows up in your profile right away.