physics
Gross committee affirms OpenAI's Yang-Mills existence proof in Lean, but says it does not fully understand it News
A committee chaired by Nobel laureate David Gross released the Lean-checked proof of 4D Yang-Mills existence on November 10 and says it does not yet fully understand the proof; no independent outside review exists.
CERN and Mistral outline a shared collider-physics foundation model News
CERN and Mistral signed a statement of intent to develop a pretrained model from simulated collider events, without announcing funding or a delivery schedule.
Anthropic says Claude completed a nine-loop amplitude calculation News
Anthropic says Claude Fable 5.1 extended a human-designed amplitude-bootstrap workflow to a nine-loop result, with expert validation and extensive checks but without a fully independent end-to-end replication.
Amplitude bootstrapping: solving a quantum calculation by ruling out every answer but one Lesson
An amplitude bootstrap computes a particle-interaction formula by starting with possible answers and using symmetry, limits, and consistency rules to eliminate the wrong ones.
Neural operators Lesson
A neural operator learns a mapping between whole functions rather than between fixed-size arrays, which lets one trained model work at any grid resolution and makes learned physics simulation orders of magnitude faster than solving the equations.
AI is now solving hard math and physics problems faster than humans can formally check them News
A widening 'verification lag' is emerging as AI produces candidate solutions to hard problems faster than experts can formally verify them - physicist Yuji Tachikawa reports Fable cracked a six-month research blocker, while a GPT-5.6 Erdos claim circulates without peer review.
NVIDIA's new method stops AI dream-worlds from breaking the laws of physics News
PhysisForcing trains video-generating world models to keep objects solid and interactions believable, raising how often a robot's imagined plan actually works.
This AI predicts how objects move by tracking shapes, not pixels News
PhysiFormer forecasts physical motion as real 3D meshes in space - and recovers rigidity and momentum without anyone hand-coding the laws of physics.