Mathematician adds context on how professionals actually use models for math
littmath · x · 2026-09-05
In a brief follow-up to his earlier long post, littmath apologizes for the self-indulgent thread but hopes it shows how models can be used for mathematics beyond one-shotting problems, and how at least some professionals think about this. No new substantive details.
More from Research
- First-ever in-body prime editing treatment injected into a human — basedjensen · 2026-10-23
- A classic world model (s, a → s′) acting as a neural MuJoCo simulator — yshan2u · 2026-10-23
- Gen-HumanWholeBody: open 600-hour whole-body manipulation dataset for robots — AdinaYakup · 2026-10-23
- DynaVelo, a neural ODE model of single-cell dynamics, published in Nature Biotechnology — anshulkundaje · 2026-10-23
- 120-case memory benchmark: Hy-Memory hits 100% recall but fails all 44 empty-output cases — stevyhacker · 2026-10-23
- SplatLab: an autonomous AI scientist that runs 3DGS research end to end — UCSanDiego · 2026-10-23