Anthropic IPO filing reveals AI security breaches, training halt - Fox News

OpenAI announced Monday that its artificial intelligence models produced three potentially groundbreaking scientific discoveries in mathematics, computer science and physics, including findings that could challenge longstanding theories about how computers solve complex problems. The ChatGPT maker said its AI systems generated proofs addressing major mathematical conjectures, disputed a widely accepted theory in computer science and developed new mathematical results involving quantum physics. In its announcement, OpenAI said its models produced a proof that the Exponential Time Hypothesis, a longstanding conjecture about the difficulty of solving certain computational problems, is false. The company said the result was subsequently verified using Lean, a software system for formally checking mathematical proofs. OpenAI also reported that its models produced proofs addressing the Kakeya conjecture and related mathematical problems across all dimensions, as well as results concerning the mathematical foundations of quantum chromodynamics, a theory describing interactions between fundamental particles. The company said it is working with outside researchers to independently examine, explain and build on the findings, including a physics group led by Nobel Prize-winning physicist David Gross. OpenAI has made its mathematical and computer science proofs publicly available but said the physics research group opted to delay releasing its materials while researchers prepare their own analysis. The company said the collaborations are intended to help scientists evaluate AI-generated discoveries and better understand their implications for future research.