Sam Altman: GPT-6 Astra Could Accelerate Scientific Discovery — Lean Proof of Bounded Prime Gaps
Sam Altman highlights GPT-6 Astra's potential for scientific discovery, pointing to an OpenAI repository where the model formalized in Lean a proof that infinit…