Vincent Conitzer: AI models dumping math results beats users racing to claim proof credit
conitzer · x · 2026-10-08
Duke professor Vincent Conitzer offers a contrarian take on AI models dumping batches of math results: if these models are going to be built and released anyway, it's better the results come out this way than that random users extract proofs and race to claim credit and priority. The remark cuts into the heated debate over attribution for math results produced by AI models.
Related event: Duke's Conitzer Defends OpenAI's Bulk Release of Math Results(2 posts)→
More from AGI Musings
- Fortnow: AI's real existential threat is taking away our relevance, not killing us — fortnow · 2026-10-08
- Terence Tao on "Math 1.0": how breakthrough proofs ignite fields of follow-up work — rms80 · 2026-10-08
- 'P = NP + AI': The Argument That RL Post-Training Automates All Verifiable Problems — jessi_cata · 2026-10-08
- China Goes 6/6 Gold at IMO Again, Yet Will Never Beat Romania on a Per-Capita Basis — teortaxesTex · 2026-10-08
- The New AI Slop Is Calling Everything AI Slop — rmn_pub · 2026-10-08
- Now anyone can build anything, and almost nobody knows what they want — Paimaamu · 2026-10-08