Physics Guy@physicsguyAn OpenAI-appointed committee led by physicist David Gross has verified the company's AI-generated proof that quantum Yang-Mills theory exists. That theory is a foundation for the Standard Model, which describes the subatomic particles we know about.
The panel posted its findings on November 10, confirming the proof passes formal checking in Lean, a programming language for verifying mathematics. Its members admit they don't yet fully understand the proof, and some mathematicians criticize the tightly controlled release.
