Terence Tao and Peter L. demo Open Math OS in live math session
SammaVaco · reddit · 2026-11-15
A Reddit-shared YouTube session features eminent mathematician Terence Tao together with Peter L. demonstrating "Open Math OS"—a live, AI-assisted mathematical workflow. Given Tao's ongoing work on AI formalization and Lean-assisted proofs, this is a rare first-hand demo at the intersection of frontier math and AI tooling.
More from Apps
- 7 paid AI subscriptions you can replace with free open-source tools tonight — alex_verem · 2026-11-15
- Rider: every Uber trip reminds me Waymo is worth the extra few dollars — braelyn_ai · 2026-11-15
- Streaming aggregator ZIP0 uses AI to detect and skip baked-in casino ads in pirated video sources — ezshine · 2026-11-15
- 'Into the Frame': a Marble-powered browser game jumping across 17,000 years of art history — msharmas · 2026-11-15
- Into The Frame: a 2D adventure that teaches kids art history inside famous paintings — msharmas · 2026-11-15
- lattedit launches free local-first browser LaTeX editor with a JSON compile API for agents — cneuralnetwork · 2026-11-15