Skip to content
Live
Industry#Papers & research
Nov 11Wed
Oct 27Tue
  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.

Sep 22Tue
  1. Amazon Science

    Amazon and Stanford University have launched a research program to advance the frontiers of research in AI, energy, and healthcare.

    Amazon and Stanford University have launched a research program aimed at advancing the frontiers of research in AI, energy, and healthcare, ensuring that research results can be applied in practice. The program is based on the long-term cooperation between the two parties, and currently, more than 10 teams are actively conducting research and training PhD students at Stanford, covering areas such as humanoid robots, post-quantum cryptography, causal measurement science, and AI-driven radiology. The two parties will jointly tackle more complex challenges, expand scholar participation, and accelerate the transformation of research breakthroughs into solutions that improve people's lives.