What was already known
Standard vanishing arguments apply at generic kinematics. The authors first calculated low-multiplicity examples; the new formula extends the specified decay-region result to arbitrary multiplicity.
What changed and why it matters
An analytical advance for a defined amplitude family, with a general-multiplicity formula. Its significance is restricted to the stated kinematics.
The AI contribution
The paper credits GPT-5.2 Pro with conjecturing the product formula and an internal OpenAI model with proving it. Human authors identified the physical setting and checked the solution by hand against recursion and consistency identities.
Limitations
This does not overturn vanishing at generic physical kinematics or demonstrate an observed particle decay. The paper reports author checks, not an independent audit. AIProofWatch has not checked the derivation or run a formal prover.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
The authors report the formula and hand checks against recursion, soft limits and amplitude identities.
Accessible artifact / proof
Accessible written derivation. AIProofWatch has not audited or formally checked it.
Correction and publication history
Historical addition after primary-source review of statement, baseline, AI attribution and evidence scope. AIProofWatch has not independently verified the result; subscriber alerts disabled.
Read this published revision