Lewis Tunstall Shares a Physics Paper Proof Developed with OpenAI's Astra Model
Original titleThis 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...
AISummary
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.comPublished · added here