OpenAI's 26M-Line AI Proof Crashed Linux's Default mmap Limit

ceciletamura · x · 2026-10-08

OpenAI's AI-generated mathematical proof — 26.17M lines across 122,812 files targeting centuries-old conjectures — crashed Linux out of the box by hitting the kernel's per-process mmap limit, forcing a vm.maxmapcount raise. Half 'Linus lost to Altman,' half the kernel just enforcing its rules.

Original post →

More from Fun

Fun channel →