vff
Research

GPT-5.2 Proposes New Physics Formula, Later Formally Verified

Read original
Share
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
Share

Our Briefing

Weekly signal. No noise. Built for founders, operators, and AI-curious professionals.

No spam. Unsubscribe any time.

Related stories

AI Discovers Security Flaws Faster Than Humans Can Patch Them

AI Discovers Security Flaws Faster Than Humans Can Patch Them

Recent high-profile breaches at startups like Mercor and Vercel, combined with Anthropic's disclosure that its Mythos AI model identified thousands of previously unknown cybersecurity vulnerabilities, underscore growing demand for AI-powered security solutions. The article argues that cybersecurity vendors CrowdStrike and Palo Alto Networks, which are integrating AI into their threat detection and response capabilities, represent undervalued investment opportunities as enterprises face mounting pressure to defend against both conventional and AI-discovered attack vectors.

21 days ago· The Information
AWS Launches G7e GPU Instances for Cheaper Large Model Inference
TrendingModel Release

AWS Launches G7e GPU Instances for Cheaper Large Model Inference

AWS has launched G7e instances on Amazon SageMaker AI, powered by NVIDIA RTX PRO 6000 Blackwell GPUs with 96 GB of GDDR7 memory per GPU. The instances deliver up to 2.3x inference performance compared to previous-generation G6e instances and support configurations from 1 to 8 GPUs, enabling deployment of large language models up to 300B parameters on the largest 8-GPU node. This represents a significant upgrade in memory bandwidth, networking throughput, and model capacity for generative AI inference workloads.

29 days ago· AWS Machine Learning Blog
Anthropic Launches Claude Design for Non-Designers
Model Release

Anthropic Launches Claude Design for Non-Designers

Anthropic has launched Claude Design, a new product aimed at helping non-designers like founders and product managers create visuals quickly to communicate their ideas. The tool addresses a gap for early-stage teams and individuals who need to share concepts visually but lack design expertise or resources. Claude Design integrates with Anthropic's Claude AI platform, leveraging its capabilities to streamline the visual creation process. The launch reflects growing demand for AI-powered design tools that lower barriers to entry for non-technical users.

about 1 month ago· TechCrunch AI
Google Splits TPUs Into Training and Inference Chips

Google Splits TPUs Into Training and Inference Chips

Google is splitting its eighth-generation tensor processing units into separate chips optimized for AI training and inference, a shift the company says reflects the rise of AI agents and their distinct computational needs. The training chip delivers 2.8 times the performance of its predecessor at the same price, while the inference processor (TPU 8i) achieves 80% better performance and includes triple the SRAM of the prior generation. Both chips will launch later this year as Google continues its effort to compete with Nvidia in custom AI silicon, though the company is not directly benchmarking against Nvidia's offerings.

28 days ago· Direct