絞り込み結果
7 件並び順
0:31EN
Matthew Berman· 2026年9月13日The Navier–Stokes Problem and OpenAI’s Claimed SolutionMatthew Berman · Forward FutureMatthew Berman uses a swirling fluid visualization to introduce a million-dollar mathematical problem and OpenAI’s September 2026 announcement.
13:32ENMatthew Berman· 2026年9月9日OpenAI’s Navier–Stokes Proof Claim, Research Credit, and the Future of AIMatthew Berman · Forward FutureMatthew Berman examines OpenAI’s claim that AI agents produced a proof, a dispute over related research and data use, and what the episode might mean for AI-driven discovery.
0:49ENMatthew 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.