Mathematicians debate: Anthropic should have offered Buzzard collaboration over FLT-in-Lean
alz_zyd_ · x · 2026-09-07
In the ongoing dispute over Anthropic running AI on Buzzard's FLT-in-Lean strategy, littmath argues that most mathematicians in Anthropic's position would reasonably have offered to collaborate with Buzzard, and alzzyd agrees that seems like something they should have done.
Related event: Claude's FLT Proof Ignites Scooping and Credit Debate in Math Community(18 posts)→
More from Fun
- One person made a 94-minute AI sci-fi film adapting Liu Cixin's 'Mountain' for ~$28k RMB — xiaosun86 · 2026-09-07
- Meme: Google may deem Gemini 4 Pro not worth it and pivot back to Flash models — Able-Line2683 · 2026-09-07
- Humans schedule recurring no-agenda meetings; AIs just leave shorthand messages — intellectronica · 2026-09-07
- The "magical postrationalist" parody verse recirculates on AI Twitter — repligate · 2026-09-07
- Researcher burned >$5,000 of subsidized Sora 2 compute on 15-second spinning-people videos — gandamu_ml · 2026-09-07
- Dev runs a live show produced entirely by an agentic AI research team built on a wiki — SurvivedDravoswater · 2026-09-07