Hiding AI Proof Methods Helps Math But Hurts AI, Says Domingos
pmddomingos · x · 2026-08-02
Pedro Domingos criticized the recent trend of publishing AI-generated mathematical proofs without disclosing the methods used to obtain them. He pointed out that while this practice might advance mathematics, it does absolutely nothing to advance the field of artificial intelligence, calling for greater transparency in AI research outputs.
Related event: OpenAI Math Breakthrough Questioned by Gary Marcus and Others(38 posts)→
More from AGI Musings
- In 1881 NYT Cited Academics Warning Telegraphy Could End the World, Echoing Today's AI Doom — arampell · 2026-09-18
- Runway CEO Echoes Viral Take: 'I'm Worried About' Has Become AI Twitter's High-Status Line — c_valenzuelab · 2026-09-18
- OpenAI's Noam Brown: Air-Gapping May Not Stop a Misaligned AI, Bar Must Be 'Very, Very High' — deanwball · 2026-09-18
- OpenAI exec: GPUs hit 7-40 IQ points per watt vs human's 5, a milestone we 'zoomed past' — GregCook2011 · 2026-09-18
- AI is scrambling wages: blue-collar jobs hit $200K-$500K as white-collar work dries up — bindureddy · 2026-09-18
- Gary Marcus: Judea Pearl's causality challenges remain unsolved in the LLM paradigm — GaryMarcus · 2026-09-18