Columbia Prof: AI Solving a Proof Isn't the Same as Reporting It Intelligibly
GaryMarcus · x · 2026-08-02
Gary Marcus retweeted insights from an Associate Professor of Computer Science at Columbia University. The professor points out a fundamental difference between an AI solving a mathematical proof and reporting the derivation in a manner that is intelligible to an expert. This highlights the ongoing challenges AI faces in deep logical construction and scientific communication.
Related event: OpenAI Math Breakthrough Questioned by Gary Marcus and Others(38 posts)→
More from AGI Musings
- Why you shouldn't press the 'replace this universe' button: an alignment debate — jd_pressman · 2026-10-16
- On successionism: current people actually exist, so no universe-swapping button — jd_pressman · 2026-10-16
- Meta scales back AI agent plans as staff clean up after the machines — SumitGup · 2026-10-16
- RFdiffusion3 debuts in Science: generative AI designs proteins and nucleic acids atom by atom — AllThingsApx · 2026-10-16
- Researcher: 'Guru-like' rhetoric fuels claims that AI safety is a cult — jd_pressman · 2026-10-16
- Comparing AI data centers to 1900s power buildout: the anti-DC craze will look silly in a decade — GabGarrett · 2026-10-16