AI makes discoveries in maths, computer science, and physics:OpenAI claims its AI model proved mathematical result on how waves move through space

Can artificial intelligence solve problems that scientists have struggled with for decades? OpenAI is putting that question to the test with three new research results in mathematics, theoretical physics, and computer science. One of its claims could even challenge a long-standing belief about how difficult certain computing problems are to solve. The announcements follow an earlier release in October, when OpenAI shared hundreds of AI-generated mathematical manuscripts for researchers to examine. This time, the company is involving established academics to assess two of its latest findings, while making the computer science work available for public review. AI makes claims in maths and computer science OpenAI says its AI model has produced a mathematical proof related to wave equations, which describe how waves move through space. The company claims the work also establishes results connected to the Kakeya conjecture, a long-standing mathematical problem. The claim is significant because it covers multiple dimensions. However, mathematicians still need to examine the AI-generated work to understand and verify its reasoning. The computer science result could have even wider implications. OpenAI says its model has found a way to solve a version of the 3-SAT problem, a well-known challenge in computer science, in less than exponential time. If the result is correct, it would challenge the Exponential Time Hypothesis (ETH), a widely used assumption that certain problems cannot be solved significantly faster than current theoretical limits suggest. ETH has helped researchers understand the difficulty of computational problems. Overturning it could affect studies that rely on this assumption. However, OpenAI’s claim has not yet been independently established. Also read: Apple’s foldable iPhone faces screen-crack complaints: Hinge design under scrutiny; AppleCare promises replacements

Experts to review AI-generated discoveries OpenAI has asked computer scientists Russell Impagliazzo, Ramamohan Paturi and Ryan Williams to help examine the computer science result. The company has also published the AI-generated explanation and a formal proof written in Lean, a tool used to check mathematical proofs, on GitHub. Researchers can study the material and share their feedback. The physics research is being reviewed separately. OpenAI says its model has produced a mathematical proof concerning certain quantum field theories, which help scientists describe fundamental particles and their interactions. A group led by physicist David Gross, including other experts, will examine the work. However, the full research material has not yet been published. Debate over access and academic credit
OpenAI’s approach has also raised questions about who gets early access to AI-generated research and who deserves credit for scientific discoveries. Some researchers have expressed concerns that giving selected academics privileged access could create unequal opportunities. There are also questions about how much credit should go to AI systems and how much to researchers who verify, correct, and explain their findings. An advisory panel convened by OpenAI has recommended greater transparency, including publishing research openly, sharing formal proofs where possible, and supporting researchers who work to understand AI-generated results. The broader challenge is to establish clear rules for checking AI discoveries before accepting them as scientific breakthroughs. For now, OpenAI’s announcements offer an intriguing glimpse of AI’s potential in scientific research. But until independent experts verify the findings, they remain claims to be examined rather than confirmed breakthroughs.

OpenAI is trending on Google Trends OpenAI is drawing attention after claiming that its AI models have produced three research results in mathematics, physics, and computer science. One of the claims could challenge a long-standing theory about the difficulty of solving certain computing problems. The announcements have sparked interest in AI’s growing role in scientific research, while experts are being brought in to verify the findings.

Source: Google Trends