Ergebnisse
7 ArtikelSortieren
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.
15:37ENMatthew Berman on Qwen3.8-Max, AI Costs and Open-Weight CompetitionMatthew Berman · Forward FutureA 2026 review of reported benchmark results and research demonstrations leads to questions about deployment economics and geopolitical dependence.
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.
18:43ENSakana AI's AI Scientist and the Prospect of Automated ResearchMatthew Berman · Forward FutureMatthew Berman explores a 2024 system for generating and evaluating machine-learning research, and argues that automation could eventually accelerate AI progress.









