Results
7 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:49ENOpenAI’s Claimed Navier–Stokes Result and an Internal Math ModelMatthew Berman · Forward FutureMatthew Berman discusses OpenAI’s proposed proof and its comparison between an internal model and GPT-6 Astra. The mathematical result and prize status remain subject to review.
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.
8:16ENAI and Erdős Problem 397: A Verified Proof, Prior Work and the Prospect of Self-ImprovementMatthew Berman · Forward FutureMatthew Berman discusses AI-assisted mathematics and argues that algorithmic discoveries could accelerate AI development, while the history of problem 397 adds important context.
0:58ENA Withdrawn AI Research Study and Questions About Scientific DiscoveryMatthew Berman · Forward FutureA 2024 video cites an MIT-affiliated preprint that arXiv later withdrew; MIT says its findings should not be relied on.
11:10ENAI and Scientific Discovery: A 2024 Video’s Withdrawn StudyMatthew Berman · Forward FutureMatthew Berman discusses AI-assisted research and recursive improvement; the central preprint was later withdrawn over serious data-validity concerns.









