Do academics explaining why the latest OpenAI result is actually not that impressive know how lame it looks?
"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".
顯示更多