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
- Going Infinite Reflection: A Silicon Valley Generation Whose Ambition Atrophied — Graham_dePenros · 2026-11-14
- A rare German film asks what home care looks like once a humanoid robot moves in — CyberRobooo · 2026-11-14
- Interconnects: Jensen's resignation is a major setback for US open-model ecosystem — Interconnects (Nathan Lambert) · 2026-11-14
- AGI endgame: either a balanced multipolar world or a centralized panopticon — CedricMakes · 2026-11-14
- "60% of people around you have some form of AI psychosis," says Alsop III — StewartalsopIII · 2026-11-14
- AI won't make everyone equal—it will split the smart from the rest worse than money — prasenx · 2026-11-14