Gary Marcus: OpenAI's Math Feat Rests on Hand-Crafted Harness and Lean, Not Pure LLMs
NinaDSchick · x · 2026-09-09
Asked about AI's current capabilities, Gary Marcus says his "stochastic parrots" critique targeted pure LLMs — while the Millennium Problem solution involved "a bunch of hand-crafted harness on top, with a side of Lean," implying the breakthrough reflects engineering scaffolding as much as model capability.
Related event: Gary Marcus: Real Capability Lies in the Harness(2 posts)→
More from AGI Musings
- From GPT-4 failing basic addition to 10,000 agents solving a Millennium Prize problem in 3.5 years — MartinSignoux · 2026-09-09
- If AI proved P=NP, it would imply insights humans lack, argues jessi_cata — jessi_cata · 2026-09-09
- Roko's Bet: If AI Solves P vs NP Soon, It'll Be P=NP Via an Ugly Algorithm — jessi_cata · 2026-09-09
- "We're the First and Last Generation to Code for a Living" — tlakomy · 2026-09-09
- Plan alleged to lure academics with limited AI compute, then run their ideas in-house — ns123abc · 2026-09-09
- Brundage: my critique indicts the industry and policymakers, not just OpenAI — Miles_Brundage · 2026-09-09