Resultados
9 artículosOrdenar
0:31EN
Matthew Berman· 13 sept 2026The 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· 9 sept 2026OpenAI’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· 9 sept 2026OpenAI’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· 9 sept 2026Sebastian 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:52:02ENMatthew Berman· 17 ene 2026Forward Future Live: AI Engineering, Enterprise Agents, Mathematics and AdoptionMatthew Berman, Nick Wentz, Austen Allred, Aaron Levie, Tudor Achim, Ara Kharazian · Forward FutureAusten Allred, Aaron Levie, Tudor Achim and Ara Kharazian join Matthew Berman and Nick Wentz to discuss how AI is changing work and how to measure its use.
1:30ENMatthew Berman· 12 ene 2026An 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· 12 ene 2026AI 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· 1 may 2025DeepSeek-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· 26 jul 2024SearchGPT, 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.