Related reading
Search over Algebraic Graphs
Lobstersanekstein.comlobste.rs5I vibed a proof of Conway's conjecture
The author used Claude to generate a Lean formalisation and proof of Conway’s refinement conjecture for omnific (surreal) integers. The proof passes mechanical checks and informal review but lacks independent verification. The post narrates the workflow, token cost, and reflections on AI‑assisted theorem proving.
Hacker News front pageoverreacted.io32 minHN269294Mathematical Billiards (2024)
Hacker News front pageuni-heidelberg.deHN51Jean-Pierre Serre is 100 years old today
A biographical sketch of Jean‑Pierre Serre, covering his early life, education, involvement with Bourbaki, academic positions, and his seminal work on spectral sequences that earned him the Fields Medal.
Hacker News front pagest-andrews.ac.uk15 minHN15127Lambda MicroEgg
lambda-microegg is a Rust e‑graph library that adds scoped, alpha‑aware binders and Miller‑style higher‑order patterns to the Egg framework, enabling capture‑avoiding substitution and higher‑order rewriting with modest performance overhead.
Lobstersphilipzucker.com15 minlobste.rs27
