(((ل()(ل() 'yoav))))👾(@yoavgo):"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".

2026.09.09 06:13

"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".

139

커뮤니티로 전달

인기 있는 사용자