Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermanyesterday +27AI Engineeryesterday +6Theo - t3․ggyesterdayThe Buildersyesterday +1a16zyesterday +2硅谷101yesterday +1SemiAnalysisyesterday +1Chris WilliamsonyesterdayCheeky PintyesterdayInvest Like The Bestyesterday

Results

2 articles
Sort
ChannelMatthew BermanTopicMathematicsPersonMatthew Berman
3 slides0:35EN
Matthew Berman· Sep 9, 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.OpenAIMathematicsAI for science
Slides0:34EN
Matthew Berman· May 1, 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.MathematicsAI researchBenchmarks+1