OpenAI Fought Dirty on Career-Making Math Problem, Says NYU Mathematician
jonbaer · hn · 2026-09-09
A NYU mathematician publicly accuses OpenAI of fighting dirty over a career-making math problem, per TechCrunch. The dispute centers on attribution and integrity when LLMs contribute to major proofs: what the model actually contributed, who deserves credit, and whether the process is transparent. Some in the math community now argue that major proofs should include LLM chat transcripts as supplementary material for proper attribution.
More from AGI Musings
- AI folks, stop saying "biology" when you mean drug development — KevinKaichuang · 2026-10-26
- Anthropic's Jascha: you may have only 1–5 years of intellectual contribution before AGI — GabGarrett · 2026-10-26
- Anthropic's S-1 Shows $6.6M Revenue Per Employee as AI Agents Log 6x Human Hours — jacalulu · 2026-10-26
- Ben Recht: The world needs a truly open language model, and it's easier to build than you think — beenwrekt · 2026-10-26
- Which jobs fall to AI first? The rule: any layer whose rules can be written as code — FinanceYF5 · 2026-10-26
- Anthropic S-1: expert-level AI 'within a few years', 90% of code written by Claude — kimmonismus · 2026-10-26