Terence Tao: Autoformalization still costly but rapidly improving
littmath · x · 2026-08-27
Terence Tao says he hopes (auto)formalization will contribute to an extremely robust certification of correctness, but notes that autoformalization tools are still expensive and time-consuming to use in many areas — though the situation is rapidly improving.
More from AGI Musings
- Op-ed: Internal representations don't mean LLMs have emotions — ValerioCapraro · 2026-08-27
- Nic Carter predicts open-weight models will handle 99% of all inference — thedealdirector · 2026-08-27
- Study: Generative AI shifts UK students' major choices — RishiBommasani · 2026-08-27
- Upcoming talk: Building better scientist agents and recursively self-improving orgs — LouisKirschAI · 2026-08-27
- Geoffrey Irving on philosophy depth and medium-term governance progress — geoffreyirving · 2026-08-27
- Opinion: People with the most initiative and drive will win the AI revolution — nijfranck · 2026-08-27