corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0b5c6-c93e-7022-8e05-5c079d2755a4

How I Vibed a Proof of Conway’s Conjecture

overreacted.io · 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
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
31
Words captured
7,315

Cited by

No blog we hold has cited this post yet.

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