(((ل()(ل() 'yoav))))👾
@yoavgo
参加 May 2009
2.2K フォロー中 89.6K ファン
"a model produced a proof with very little human input".
a large team of experts brainstorm and coordinate on ideas for approaching a hard problem. resulting leads were then sent to ai models, each idea in a diff session. one run succeeded. "with very little user input".
もっと見る
