MathDB launches as an open platform for AI-era math research with Lean support
lpachter · x · 2026-10-26
Tony Yue Yu's team launched MathDB (mathdb.org), a platform for research and expository math papers in an era where AI agents increasingly carry out math research. Papers may be accompanied by videos, code, and Lean formalization, with community comments and reviews supported. The launch note carefully disclaims having classified all nine-ray coverings or claimed worldwide priority — prompting lpachter's wry reaction (LOLSOB), underscoring the field's new emphasis on careful communication.
More from Research
- Open textbook on robot learning launches with chapters on control and imitation to VLA — GlenBerseth · 2026-10-26
- A $5M plan to test whether 40Hz music could treat or prevent Alzheimer's — jajoosam · 2026-10-26
- Judea Pearl Notes His Book 'Causality' Has 'Infinite Lifespan' With 5,000+ Citations — yudapearl · 2026-10-26
- Animating brain tractography with a traveling light pulse: the simple frame-length formula — Dr_Alex_Crimi · 2026-10-26
- Clinicians over-rely on wrong AI findings and under-rely on correct ones, Lancet study — zakkohane · 2026-10-26
- Depth-Grown and Looped LMs Learn In-Context Learning Earlier Than Dense Models — omarsar0 · 2026-10-26