If you say "find some unsolved graph theory problem and counterexample for it" and LLM actually does it, is it really you that solved the problem? That's the difference vs other tools.
If you say "find some unsolved graph theory problem and counterexample for it" and LLM actually does it, is it really you that solved the problem? That's the difference vs other tools.
Is this a purely hypothetical question?
Or are you saying that’s what happened in this case. Because that’s not the way I understand it.
https://x.com/Qiaoqiao2001/status/2080003441821163958
While there was a bunch of human effort - it is not that hard to imagine this whole pipeline becoming fully autonomous in the coming months.