OpenAI's new artificial intelligence model tackles unsolved math problems

As part of the work conducted by OpenAI, artificial intelligence was applied to 377 unsolved math problems in various fields such as algebra, number theory, computer science, and topology, yielding new results.

New Results with the Artificial Intelligence Model

OpenAI shared 377 new results obtained by artificial intelligence regarding math problems in different fields, including algebra, number theory, theoretical computer science, mathematical logic, and topology.

These new mathematical results were obtained using a more advanced artificial intelligence model that has not yet been released to the public.

Process and Control Mechanisms

In a written statement by the company, it was reported that obtaining each result took an average of about 3 hours.

It was stated that the proofs were checked using a computer language called Lean, which verifies the correctness of foundational logic.

Navier-Stokes Equations Success

These developments follow OpenAI's announcement in September that it had succeeded in solving the Navier-Stokes equations, which are among the Millennium Problems.

Millions of messages and data were processed for the problem, which was solved using a group of approximately 10,000 artificial intelligence agents performing tasks partially autonomously.

Plans for Sharing with the Scientific Community

It was stated that consultations were held with an advisory group to develop methods for sharing the results of artificial intelligence work in the field of mathematics with the scientific community.

It was emphasized that funding will be provided for workshops, conferences, and special programs to support the understanding of the mathematical results obtained by artificial intelligence.