A curated, well-sourced collection of documented cases where AI did something genuinely remarkable — across math, physics, chemistry, biology, medicine, and more.
CSS
8
244 commits
updated Sep 11, 2026
README
🏛️ AI Hall of Fame
A curated collection of documented cases where artificial intelligence did something genuinely remarkable.
📖 What is this?
Every so often, an AI system doesn't just automate a task. It discovers something new about the world, beats a record that stood for half a century, or restores an ability someone thought they'd lost forever.
This repository collects those moments, organized by field. Every case gets its own folder with three files:
| File | What's in it |
|---|---|
📄 README.md | What happened, when, why it matters, plus links to the primary sources (the record of the discovery). |
🤖 PROMPT.md | A copy-paste prompt that gets an AI assistant to explain the discovery, grounded in the sources. |
📚 CONTEXT.md | Deeper background, the people involved, and the honest caveats. |
The bar for inclusion is high:
- ✅ Documented: backed by a peer-reviewed paper, official research release, or credible reporting.
- ✅ Concrete: a specific result, not a vague "AI is transforming X" claim.
- ✅ Notable: a record broken, an open problem cracked, a first-of-its-kind, or a real-world deployment.
- ✅ Honest: where a result was contested, corrected, or is only a proof-of-concept, we say so.
A note on what's not here: we don't include things AI hasn't actually done. The Riemann hypothesis and P vs NP, for instance, remain unsolved by humans and AI alike, so there's no entry claiming otherwise. (The Jacobian conjecture was on this "not yet" list too, until July 2026, when an AI-assisted counterexample disproved it for n ≥ 3. It now has its own entry. This list tracks reality, and reality moves fast.)
🌐 The website
The collection is also a website: hof.adam.cm. The home page is a timeline of 36 selected moments, drawn to scale. The explore page lists every case, filterable by field. Each case has its own page with the entry, the caveats, and the prompt.
The site is generated from the entry folders by scripts/build_site.py and deployed by GitHub Actions on every push to main, so adding an entry here adds it to the site. The timeline itself is hand-curated in site/data/timeline.json. To preview locally:
python3 scripts/build_site.py && python3 -m http.server 8765 --directory site
🗂️ Explore by field
| Field | Cases | A highlight |
|---|---|---|
| 🧮 Mathematics | 24 | A Millennium Prize blowup proof (forced case, unverified), the Jacobian conjecture disproved, an 80-year-old Erdős conjecture refuted, and a perfect 42/42 at the IMO |
| ⚛️ Physics | 7 | AI controlled real fusion plasma inside a tokamak reactor and quieted LIGO's noisiest feedback loop |
| 🧪 Chemistry | 6 | AlphaFold's protein folding won a Nobel Prize; generative AI designed antibiotics that clear MRSA in mice |
| 🧬 Biology | 15 | Generative AI designs brand-new proteins from scratch, including the first AI-generated gene editor used in human cells |
| 🩺 Medicine | 10 | AI restores speech after paralysis; the first randomised trial of AI mammography screening on 105,934 women |
| 💻 Computer Science | 8 | An AI-found sorting algorithm ships in the C++ standard library; a perfect 12/12 at the ICPC World Finals |
| 🛡️ Cybersecurity | 10 | 10,000+ vulnerabilities found across the software everyone runs; a NIST post-quantum candidate withdrawn |
| 🔬 Materials Science | 4 | 2.2 million new crystals discovered in one effort |
| 🔭 Astronomy | 6 | A neural net found a hidden 8th planet in Kepler data; 118 new planets validated from TESS |
| 🌍 Climate & Earth Science | 10 | AI weather models beat the world's best supercomputer forecasts, and now run operationally at ECMWF and NOAA |
| 🧠 Neuroscience | 7 | The first complete wiring map of an adult brain; inner speech decoded with a mental password |
| ♟️ Games & Strategy | 17 | "Move 37": the moment AI showed genuine creativity, plus Deep Blue, Watson, and a drone that beat racing champions |
| 🤖 Robotics | 10 | 220 million driverless miles with 94% fewer serious-injury crashes; a humanoid runs 100 m in 8.64 seconds |
Some landmark systems (AlphaFold, AlphaTensor, the speech neuroprosthesis, and more) matter to several fields, so each has one full write-up, cross-linked from the others.
⭐ Fifteen to start with
New here? These are among the most consequential entries in the collection:
- Navier–Stokes finite-time blowup: an AI-produced proof for the forced case of a Millennium Prize Problem, Lean-checked, not yet independently verified, September 2026.
- Jacobian conjecture counterexample: an AI-assisted result disproving an 87-year-old conjecture (n ≥ 3), July 2026.
- Erdős's unit distance conjecture disproved: an 80-year-old conjecture refuted by an OpenAI model, May 2026; Gowers said he would recommend it for Annals.
- Waymo's safety record: 220 million driverless miles with 94% fewer serious-injury crashes than human drivers.
- Deep Blue beats Kasparov: 1997, the first win by a computer over a reigning world champion under tournament conditions.
- AlphaFold: solved a 50-year grand challenge and won the 2024 Nobel Prize in Chemistry.
- Fusion plasma control: reinforcement learning drove a real nuclear-fusion reactor.
- FunSearch: first LLM to produce a verifiable, genuinely new answer to an open math problem.
- AlphaProof: silver-medal mathematics at the International Math Olympiad.
- AlphaDev sorting: an AI-discovered algorithm merged into the C++ standard library.
- Speech neuroprosthesis: conversational-speed communication restored after paralysis.
- GNoME: 380,000 newly predicted stable materials.
- GraphCast: 10-day global weather forecasts in under a minute.
- AlphaGo "Move 37": the move that showed AI could be creative.
- RFdiffusion: generative design of proteins that don't exist in nature.
🤝 Contributing
Know of a documented case that belongs here? Contributions are very welcome. See CONTRIBUTING.md for the (short) guidelines. In brief:
- Add a folder under the relevant field with
README.md,PROMPT.md, andCONTEXT.md(copy an existing entry as a template). - Every entry must cite a primary or highly credible source.
- Keep it factual and hype-free, and note caveats honestly. This collection lives or dies by its trustworthiness.
Not sure which field? Open an issue and we'll figure it out together.
📜 License
Content is released under Creative Commons Attribution 4.0, free to share and adapt with attribution. Linked papers, images, and trademarks belong to their respective owners.
Curated with care. If a fact here is wrong or out of date, please open an issue. Accuracy is the whole point.
Contributors
244 commits
Similar repos
Languages
CSS
31.9%
Python
24.8%
JavaScript
23.4%
HTML
19.9%
A curated, well-sourced collection of documented cases where AI did something genuinely remarkable — across math, physics, chemistry, biology, medicine, and more.
CSS
8
244 commits
updated Sep 11, 2026
README
🏛️ AI Hall of Fame
A curated collection of documented cases where artificial intelligence did something genuinely remarkable.
📖 What is this?
Every so often, an AI system doesn't just automate a task. It discovers something new about the world, beats a record that stood for half a century, or restores an ability someone thought they'd lost forever.
This repository collects those moments, organized by field. Every case gets its own folder with three files:
| File | What's in it |
|---|---|
📄 README.md | What happened, when, why it matters, plus links to the primary sources (the record of the discovery). |
🤖 PROMPT.md | A copy-paste prompt that gets an AI assistant to explain the discovery, grounded in the sources. |
📚 CONTEXT.md | Deeper background, the people involved, and the honest caveats. |
The bar for inclusion is high:
- ✅ Documented: backed by a peer-reviewed paper, official research release, or credible reporting.
- ✅ Concrete: a specific result, not a vague "AI is transforming X" claim.
- ✅ Notable: a record broken, an open problem cracked, a first-of-its-kind, or a real-world deployment.
- ✅ Honest: where a result was contested, corrected, or is only a proof-of-concept, we say so.
A note on what's not here: we don't include things AI hasn't actually done. The Riemann hypothesis and P vs NP, for instance, remain unsolved by humans and AI alike, so there's no entry claiming otherwise. (The Jacobian conjecture was on this "not yet" list too, until July 2026, when an AI-assisted counterexample disproved it for n ≥ 3. It now has its own entry. This list tracks reality, and reality moves fast.)
🌐 The website
The collection is also a website: hof.adam.cm. The home page is a timeline of 36 selected moments, drawn to scale. The explore page lists every case, filterable by field. Each case has its own page with the entry, the caveats, and the prompt.
The site is generated from the entry folders by scripts/build_site.py and deployed by GitHub Actions on every push to main, so adding an entry here adds it to the site. The timeline itself is hand-curated in site/data/timeline.json. To preview locally:
python3 scripts/build_site.py && python3 -m http.server 8765 --directory site
🗂️ Explore by field
| Field | Cases | A highlight |
|---|---|---|
| 🧮 Mathematics | 24 | A Millennium Prize blowup proof (forced case, unverified), the Jacobian conjecture disproved, an 80-year-old Erdős conjecture refuted, and a perfect 42/42 at the IMO |
| ⚛️ Physics | 7 | AI controlled real fusion plasma inside a tokamak reactor and quieted LIGO's noisiest feedback loop |
| 🧪 Chemistry | 6 | AlphaFold's protein folding won a Nobel Prize; generative AI designed antibiotics that clear MRSA in mice |
| 🧬 Biology | 15 | Generative AI designs brand-new proteins from scratch, including the first AI-generated gene editor used in human cells |
| 🩺 Medicine | 10 | AI restores speech after paralysis; the first randomised trial of AI mammography screening on 105,934 women |
| 💻 Computer Science | 8 | An AI-found sorting algorithm ships in the C++ standard library; a perfect 12/12 at the ICPC World Finals |
| 🛡️ Cybersecurity | 10 | 10,000+ vulnerabilities found across the software everyone runs; a NIST post-quantum candidate withdrawn |
| 🔬 Materials Science | 4 | 2.2 million new crystals discovered in one effort |
| 🔭 Astronomy | 6 | A neural net found a hidden 8th planet in Kepler data; 118 new planets validated from TESS |
| 🌍 Climate & Earth Science | 10 | AI weather models beat the world's best supercomputer forecasts, and now run operationally at ECMWF and NOAA |
| 🧠 Neuroscience | 7 | The first complete wiring map of an adult brain; inner speech decoded with a mental password |
| ♟️ Games & Strategy | 17 | "Move 37": the moment AI showed genuine creativity, plus Deep Blue, Watson, and a drone that beat racing champions |
| 🤖 Robotics | 10 | 220 million driverless miles with 94% fewer serious-injury crashes; a humanoid runs 100 m in 8.64 seconds |
Some landmark systems (AlphaFold, AlphaTensor, the speech neuroprosthesis, and more) matter to several fields, so each has one full write-up, cross-linked from the others.
⭐ Fifteen to start with
New here? These are among the most consequential entries in the collection:
- Navier–Stokes finite-time blowup: an AI-produced proof for the forced case of a Millennium Prize Problem, Lean-checked, not yet independently verified, September 2026.
- Jacobian conjecture counterexample: an AI-assisted result disproving an 87-year-old conjecture (n ≥ 3), July 2026.
- Erdős's unit distance conjecture disproved: an 80-year-old conjecture refuted by an OpenAI model, May 2026; Gowers said he would recommend it for Annals.
- Waymo's safety record: 220 million driverless miles with 94% fewer serious-injury crashes than human drivers.
- Deep Blue beats Kasparov: 1997, the first win by a computer over a reigning world champion under tournament conditions.
- AlphaFold: solved a 50-year grand challenge and won the 2024 Nobel Prize in Chemistry.
- Fusion plasma control: reinforcement learning drove a real nuclear-fusion reactor.
- FunSearch: first LLM to produce a verifiable, genuinely new answer to an open math problem.
- AlphaProof: silver-medal mathematics at the International Math Olympiad.
- AlphaDev sorting: an AI-discovered algorithm merged into the C++ standard library.
- Speech neuroprosthesis: conversational-speed communication restored after paralysis.
- GNoME: 380,000 newly predicted stable materials.
- GraphCast: 10-day global weather forecasts in under a minute.
- AlphaGo "Move 37": the move that showed AI could be creative.
- RFdiffusion: generative design of proteins that don't exist in nature.
🤝 Contributing
Know of a documented case that belongs here? Contributions are very welcome. See CONTRIBUTING.md for the (short) guidelines. In brief:
- Add a folder under the relevant field with
README.md,PROMPT.md, andCONTEXT.md(copy an existing entry as a template). - Every entry must cite a primary or highly credible source.
- Keep it factual and hype-free, and note caveats honestly. This collection lives or dies by its trustworthiness.
Not sure which field? Open an issue and we'll figure it out together.
📜 License
Content is released under Creative Commons Attribution 4.0, free to share and adapt with attribution. Linked papers, images, and trademarks belong to their respective owners.
Curated with care. If a fact here is wrong or out of date, please open an issue. Accuracy is the whole point.
Similar repos
Contributors
244 commits
Languages
CSS
31.9%
Python
24.8%
JavaScript
23.4%
HTML
19.9%