A.I. May Have Solved a Longstanding Math Problem With a Million-Dollar Prize. It Ignited a Controversy Over Who Gets Credit
Intellectual Property LawPhilosophyComputer Science
THE AI ANGLE
Autonomously solving complex mathematical proofsOpenAI announced that an internal system of roughly 10,000 autonomous AI agents solved the longstanding Navier-Stokes mathematical problem and verified the proof with the programming language Lean. The announcement sparked controversy because two mathematicians had been drafting their own unpublished breakthrough on the problem inside OpenAI's Codex, raising suspicions about whether their data influenced the company's system. This event highlights emerging dilemmas concerning who receives credit for scientific discoveries and the boundary between machine learning advancement and the appropriation of user research.
THE TEACHING ANGLE
Instructors can explore the ethical, legal, and epistemological tensions of whether proprietary AI platforms can claim credit for discoveries when models may have been exposed to unpublished user research prompts.Read the original at smithsonianmag.com Generate teaching or study materials
More in Intellectual Property Law
- Early Anthropic hire, former METR COO have found a way to rein in rogue AI agentsTechCrunch · September 15, 2026
- AI’s best coding agent fails 60% of the time — and the data backs it upThe New Stack · September 15, 2026
- Open weights are not open source: Why AI's favorite label is under disputeThe Register · September 15, 2026
- Exclusive: Paying for frontier AI models buys 4-month head start at 5x the costArs Technica · September 15, 2026
- RubyGems say OpenAI agents responsible for undisclosed swarm attack against its infrastructureTechRadar · September 15, 2026