AI helps unlock hidden discoveries in math genius Paul Cohen's notebooks
irrelevantusername24 · reddit · 2026-11-14
The Guardian reports that AI is being used to unlock discoveries hidden in the notebooks of Paul Cohen, a mathematician described as 'ahead of his time.' Cohen won the 1966 Fields Medal for proving the independence of the continuum hypothesis and the axiom of choice. His forcing method constructs consistent mathematical universes where these statements are true or false without breaking the standard Zermelo–Fraenkel axioms — showing these questions are undecidable within standard mathematics. AI analysis of his notebooks is now surfacing further hidden insights.
More from Research
- Recursive Model Collapse: How It Learned to Stop Worrying and Become the Assistant — sebkrier · 2026-11-14
- SGLang Summit talk details battle-tested NVFP4 4-bit RL across thousands of GPUs — ericzelikman · 2026-11-14
- Decision models tested: training buys speed and cost, not reasoning back — someone_12443 · 2026-11-14
- Ropedia open-sources Xperience 2: 1,589 3D scene scans and 131 hours of egocentric demos for physical AI — liuziwei7 · 2026-11-14
- Open-Source Self-Driving Textbook on GitHub Builds an Autonomous System Chapter by Chapter — 4310sy · 2026-11-14
- RobotAgentBench: hybrid Codex-InternVLA-A1.5 system averages 48.5 on household agent tasks — jiqizhixin · 2026-11-14