OpenAI’s progress on another million-dollar problem is finally public. Experts appointed by the company to vet the work say they’ve now verified its artificial-intelligence-generated proof of the “existence” of the quantum Yang-Mills theory—a vital foundation for the Standard Model of particle physics.

Like many AI proofs, this one is messy—too lengthy and complicated for human minds to immediately grasp. Seeking to avoid another “slop drop”—a term used for when OpenAI unleashed a flood of more than 700 AI-generated proofs on a single day in October—the company enlisted the eminent American theoretical physicist David Gross to lead a committee to supervise the Yang-Mills proof’s release.

“We update the progress of our committee in shepherding the LLM [large language model] produced result,” the group said in a statement on November 9 previewing its findings. The team’s work confirms that OpenAI’s result “proves the existence of pure Yang-Mills theory according to the problem statements which are standard in physics and mathematics.”

To read more, click here.