필터 결과
6개정렬
0:49EN
Matthew Berman· 2026년 9월 9일OpenAI’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:35ENMatthew Berman· 2026년 9월 9일Sebastian 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.
1:30ENMatthew Berman· 2026년 1월 12일An AI-Generated Proof for Erdős Problem 397Matthew Berman · Forward FutureMatthew Berman discusses Neel Somani's GPT-5.2 Pro-assisted proof and speculates about self-improving AI. Later research found that the problem already had a published human solution.
8:16ENMatthew Berman· 2026년 1월 12일AI 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:34ENMatthew Berman· 2025년 5월 1일DeepSeek-Prover-V2 and Its Formal Math ResultsMatthew Berman · Forward FutureMatthew Berman highlights DeepSeek’s reported theorem-proving results on miniF2F, PutnamBench and formalized AIME problems.
20:40ENMatthew Berman· 2024년 7월 26일SearchGPT, Llama 3.1 and AlphaProof: A July 2024 AI News RoundupMatthew Berman · Forward FutureMatthew Berman reviews new models, search, audio tools, OpenAI policy questions and DeepMind’s mathematical reasoning result.