GPT-5.2 Proposes New Physics Formula, Later Formally Verified

OpenAI's GPT-5.2 has proposed a new formula for gluon amplitudes in theoretical physics, a result that has since been formally proved and verified through collaboration with academic partners. The development marks a notable instance of a large language model contributing to original research in a specialized scientific domain. The preprint demonstrates the model's capability to generate mathematically rigorous hypotheses that hold up under formal verification.
OpenAI's GPT-5.2 has proposed a new formula for gluon amplitudes in theoretical physics, a result that has since been formally proved and verified through collaboration with academic partners. The development marks a notable instance of a large language model contributing to original research in a specialized scientific domain. The preprint demonstrates the model's capability to generate mathematically rigorous hypotheses that hold up under formal verification.
- GPT-5.2 proposed a previously unknown formula for gluon amplitudes in particle physics
- The proposed formula was subsequently formally proved and verified by OpenAI and academic collaborators
- Result appears in a new preprint, indicating peer engagement with the work
- Demonstrates LLM capability in generating original contributions to theoretical physics research
This result signals that advanced language models are moving beyond pattern matching and retrieval into territory where they can generate novel scientific hypotheses worthy of formal verification. For the AI research community, it provides concrete evidence that LLMs can contribute meaningfully to domains requiring deep mathematical reasoning and domain expertise. The verification by academic collaborators adds credibility and suggests a pathway for integrating AI-generated insights into the scientific process.
- LLMs may be capable of generating original scientific contributions, not just summarizing or explaining existing knowledge
- Formal verification workflows combining AI generation with human and mathematical proof systems could become a standard research practice
- Frontier AI models may have economic value in accelerating research timelines across physics, mathematics, and related fields
Our Briefing
Weekly signal. No noise. Built for founders, operators, and AI-curious professionals.
No spam. Unsubscribe any time.



