Résultats
5 articlesTrier
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.
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 janv. 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.
0:34ENMatthew Berman· 1 mai 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.