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
- Jerry Liu: The Other Half of RLMs Is Programmatic Recursion, aka 'Dynamic Workflows' — lateinteraction · 2026-09-06
- Blogger pegs 30% odds OpenAI already solved Navier-Stokes, 50% partial progress — scaling01 · 2026-09-05
- LLMs write locally coherent but globally incoherent quests: an MMO writer's thousands-of-quests problem — HLCYSWAP · 2026-09-05
- Why Agents Last Exam Scores Jumped: Computer Use, Bigger Models, Diverse RL Envs — dejavucoder · 2026-09-05
- Principia benchmark: top video models score ~0.8 on VBench but under 0.42 on physical consistency — anand_bhattad · 2026-09-05
- Terence Tao responds to rumors that an AI lab cracked the Navier-Stokes problem — elsleightholm · 2026-09-05