絞り込み結果
2 件並び順
0:47ENGPT-5 and an Automated Laboratory: A Scientific WorkflowMatthew Berman · Forward FutureMatthew Berman describes an OpenAI and Ginkgo Bioworks demonstration connecting an AI model to laboratory automation.
13:30EN
3Blue1Brown· 2025年8月17日How AlphaGeometry Combines Logical Proof with Creative ConstructionAleph0Aleph0 explains how a symbolic geometry solver gets surprisingly far without AI, and how a language model supplies the auxiliary constructions that take it to Olympiad level.