San Francisco:OpenAI, a prominent US artificial intelligence company, has announced groundbreaking scientific discoveries in the fields of mathematics, computer science, and theoretical physics. The company claims these discoveries were made by its AI models, which have successfully produced proofs addressing longstanding challenges that have perplexed researchers for decades.

According to Anadolu Agency – English, OpenAI revealed that its AI models have generated a proof for the local smoothing conjecture in all dimensions. This achievement is said to simultaneously resolve the Kakeya conjecture and Stein's restriction conjecture. The proof was produced on October 18 and subsequently formalized using Lean, a mathematical proof-checking system.

In the realm of computer science, OpenAI claims that its AI has disproven the Exponential Time Hypothesis, a significant conjecture regarding the computational complexity of certain problems, which has been the foundation of numerous research papers. This result, also formalized in Lean, will be scrutinized by researchers from the University of California, San Diego, and the Massachusetts Institute of Technology.

In theoretical physics, OpenAI reported that its models have developed existence proofs for select four-dimensional quantum field theories, including quantum chromodynamics, which is essential for describing the strong nuclear force. The findings also propose a proof for the existence of pure Yang-Mills theory, which is part of one of the Clay Mathematics Institute's Millennium Prize problems. Nobel Prize-winning physicist David Gross is set to lead the examination of these physics findings, which are yet to be publicly disclosed.

OpenAI has referred to these AI-generated manuscripts as raw research data, indicating that independent academic groups will be responsible for reviewing and interpreting the findings. To support this process, the company has committed to providing financial assistance.