최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →
Matthew Berman어제 +180AI Engineer어제 +6Theo - t3․gg어제The Builders어제 +1a16z어제 +2硅谷101어제 +1SemiAnalysis어제 +1Chris Williamson어제Cheeky Pint어제Invest Like The Best어제

필터 결과

7개
정렬
콘텐츠 유형해설주제Mathematics인물Matthew Berman
슬라이드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.MathematicsPhysicsAI research+1
슬라이드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.AI for scienceMathematics평가(Evals)+1
슬라이드 3장0:35EN
Matthew 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.OpenAIMathematicsAI for science
슬라이드1:52:02EN
Matthew Berman· 2026년 1월 17일Forward 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.AI Adoption코딩 에이전트엔터프라이즈 AI+2
슬라이드1:30EN
Matthew 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.MathematicsAI researchAGI(범용 인공지능)
슬라이드 3장8:16EN
Matthew 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.MathematicsAI for scienceAI research+2
슬라이드0:34EN
Matthew 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.MathematicsAI researchBenchmarks+1