最近更新的频道

点选即可只看该频道浏览全部频道 →
Matthew Berman今天 +364AI Engineer今天 +6Theo - t3․gg今天The Builders今天 +1a16z今天 +2硅谷101今天 +1SemiAnalysis今天 +1Chris Williamson今天Cheeky Pint今天Invest Like The Best今天

筛选结果

1 篇
排序
主题AI for science时长15 分钟内人数2 人
4 张幻灯片13:30EN → 简体中文
3Blue1Brown· 2025年8月17日AlphaGeometry 如何结合逻辑证明与创造性作图Aleph0Aleph0 讲解了符号几何求解器如何在不使用 AI 的情况下解决大量难题，以及语言模型如何提供辅助作图，让系统达到奥数竞赛水平。MathematicsReasoning & test-time computeAI research+2