OpenAI and Anthropic each say AI disproved a central conjecture in computer science
Both posted Lean-checked subexponential 3-SAT algorithms; OpenAI also claimed Kakeya in all dimensions and an unreleased 1,147-page Yang-Mills proof. No completed independent review of any had been reported by 2 November.
OpenAI, AnthropicModels & capabilities · Ideas & essays