corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bdca-f0eb-72eb-97c4-730da96a23c4

How I Vibed a Proof of Conway’s Conjecture

Dan Abramov · published 18 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at overreacted.io Wayback capture
2blogs citing
First cited
20 Sept 2026
Most recent
20 Sept 2026
Rank this month
not ranked
Links from this post
31
Words captured
7,315

Cited by

Blog
In the post
Date
bionicteaching.com
Weekly Web Harvest for 2026-09-13 Read at the source ↗
20 Sept 2026
The Garden 🌿
Mx Tynehorne’s link roundup, volume LXXI Read at the source ↗
20 Sept 2026

Links from this post

Link
Host
https://www.theargumentmag.com/p/computer-do-a-breakthrough-no-mistakes
theargumentmag.com
https://github.com/gaearon/analysis-solutions
github.com
https://github.com/gaearon/conway-refinement
github.com
https://palomar-registry.org/entry?id=PALOMAR-2026-09-03-000002&version=1
palomar-registry.org
https://github.com/gaearon/conway-refinement/blob/264445c93b78554c408e99e4e7f663693b4e91ab/ConwayRefinement/Standalone/Mathlib/InlineConwayRefinement.lean
github.com
https://www.scientificamerican.com/article/surreal-numbers-are-a-real-thing-heres-how-to-make-them/
scientificamerican.com
https://en.wikipedia.org/wiki/Real_number
en.wikipedia.org
https://en.wikipedia.org/wiki/Ordinal_number
en.wikipedia.org
https://www.infinitelymore.xyz/p/surreal-numbers
infinitelymore.xyz
The Book of Infinity, MIT Press, 2026 Read at the source ↗
jdh.hamkins.org
https://doi.org/10.1016/j.aim.2024.109513
doi.org
https://en.wikipedia.org/wiki/On_Numbers_and_Games
en.wikipedia.org
https://claude.ai/share/b224fb11-8931-4d06-ad32-cdd06ce4d874
claude.ai
https://gaearon.github.io/conway-refinement/
gaearon.github.io
https://leanprover.zulipchat.com/
leanprover.zulipchat.com
https://github.com/gaearon/conway-refinement/tree/main/ConwayRefinement/Standalone
github.com
https://github.com/leanprover-community/mathlib4
github.com
https://github.com/leanprover/comparator
github.com
https://github.com/gaearon/conway-refinement/blob/264445c93b78554c408e99e4e7f663693b4e91ab/blueprint/terminology/FIELD.md
github.com
https://github.com/gaearon/conway-refinement/tree/main/blueprint
github.com
https://github.com/gaearon/conway-refinement/tree/main
github.com
https://gaearon.github.io/conway-refinement
gaearon.github.io
https://github.com/cameronfreer/lean4-skills
github.com
https://github.com/TauCetiProject/TauCetiReview
github.com
https://github.com/TauCetiProject/TauCeti/blob/main/scripts/Axioms.lean
github.com
https://github.com/leanprover/verso-blueprint
github.com
https://github.com/gaearon/conway-refinement/blob/main/scripts/ModuleSystem.lean
github.com
https://github.com/gaearon/conway-refinement/blob/264445c93b78554c408e99e4e7f663693b4e91ab/scripts/Layering.lean
github.com
https://github.com/gaearon/conway-refinement/issues/new
github.com
A misalignment of AI in mathematics Read at the source ↗
mathandai.org
https://davidwees.com/content/death-amateur-mathematician/
davidwees.com