Juan Peláez — home Juan Peláez

Saturday, October 24, 2026 · Lafayette, Colorado

The Digest · Section

AI & agents

11 picks so far, from the twice-daily digest.

Oct 23 · Morning

Oct 23 · Morning

Oct 23 · Morning

Oct 23 · Morning

Oct 23 · Evening

Oct 23 · Evening

AI is getting good at math — here's why

(Latent Space): an internal OpenAI model found a counterexample to Erdős's unit-distance conjecture (open since 1946), then a Cycle Double Cover proof, ten more open problems by July, and a Navier–Stokes proof in September. The Tao "Maths 2.0" beat, with receipts. Latent Space

Latent Space →

Oct 23 · Evening

Oct 22 · Evening

Oct 22 · Evening

Oct 22 · Evening

Oct 22 · Evening