Lewis Tunstall· _lewtun·· 9h agoAI score62
Lewis Tunstall Shares a Physics Paper Proof Developed with OpenAI's Astra Model
This is such a wonderful result and one dear to the heart of many former colleagues. The best part is that the paper itself is a pleasure...
AI summary
Lewis Tunstall quotes Kyle Cranmer's post about a paper by Nate Gunnarsson on a non-perturbative approach to chiral fermions in the Standard Model, extending Lüscher's abelian result. The paper's acknowledgments state that OpenAI's GPT-6 Astra model was essential, proposing refinement strategies, writing rewrites of the proof, and carrying out Lean verification.
Source: Lewis Tunstall · x.com