Results
4 articlesSort
0:53ENSam Altman on AI and the Discovery of New KnowledgeSam Altman · OpenAIAltman expects progress in mathematical discovery to extend to biology, materials and energy.
0:35ENSebastian Bubeck Responds to a Math Authorship DisputeMatthew Berman · Forward FutureMatthew Berman recounts OpenAI researcher Sebastian Bubeck’s account of communications with a mathematician identified as Levent.
0:47ENGPT-5 and an Automated Laboratory: A Scientific WorkflowMatthew Berman · Forward FutureMatthew Berman describes an OpenAI and Ginkgo Bioworks demonstration connecting an AI model to laboratory automation.
13:30ENHow AlphaGeometry Combines Logical Proof with Creative ConstructionAleph0Aleph0 explains how a symbolic geometry solver gets surprisingly far without AI, and how a language model supplies the auxiliary constructions that take it to Olympiad level.









