OpenAI and Anthropic's head-to-head proofs shock scientists

OpenAI released three major proofs generated by internal large language models, involving mathematics, physics and computer science. The three results respectively solve the Kakeya problem in all dimensions, claim to prove the "existence" part of the Yang-Mills problem, and refute the exponential time hypothesis (ETH) with a 3-SAT algorithm slightly faster than exponential time. Hours later, Anthropic released independent results based on its internal model, likewise refuting ETH. The models that generated the proofs remain undisclosed; the prompts used, computation duration and chain-of-thought outputs were all not published; the related releases continue to conflict with the recommendations of the Mathematics and Artificial Intelligence Advisory Group (AGMAI) organized by OpenAI, which has called on OpenAI to publish an expert paper related to the Yang-Mills problem. Regarding the ETH result, OpenAI has invited its proposers Impagliazzo, Paturi and MIT's Williams and other external experts to independently verify it, and will sponsor a related computer science conference.