Skip to content
Live
Industry#Papers & research
  1. The Decoder88

    OpenAI requests external experts to review the proofs generated by AI in the fields of mathematics, computer science, and physics.

    OpenAI has invited external experts to act as 'shepherds' to review the proofs generated by AI in the three fields of mathematics, computer science, and physics, and to handle them separately according to the conditions of each field. The proofs in mathematics and computer science have been translated into Lean, and the computer science results claim to have overturned the Exponential Time Hypothesis (ETH), while the mathematical results claim to have proven the Local Smoothness Conjecture in all dimensions.

    Why it matters: OpenAI has submitted three proofs generated by AI to external experts for review, allowing readers to understand how AI research results are independently verified and attributed.

  2. The Verge · AI83

    OpenAI announced three findings in mathematics, computer science, and physics, and had external experts oversee them.

    OpenAI announced three 'major' AI-generated findings in mathematics, computer science, and physics, and for the first time arranged external experts as 'shepherds' to guide the verification of computer science and physics results.

    Why it matters: OpenAI announced three AI-generated results in mathematics, computer science, and physics, and for the first time introduced external experts to oversee the verification and authorship norms of AI research outcomes.

  3. ITHome · AI94

    OpenAI announces three achievements in mathematics, computer science, and physics

    OpenAI announces that its AI models have achieved three achievements in mathematics, computer science, and physics, including proving the local smoothness conjecture applicable to all dimensions and thereby solving the Hangai conjecture, providing a proof that the exponential time hypothesis (ETH) does not hold, and proposing a proof of the existence of quantum chromodynamics and the Yang–Mills theory.

    Why it matters: OpenAI claims that the model provides formalizable verifiable proofs in three fields: mathematics, algorithms, and physics, and has publicly released materials for external experts to review.

You are all caught up