4 ms·
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 di
by azan_ 3mo ago
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.
- fn-mote 3mo agoIs 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.
- netvarun 3mo agohttps://x.com/Qiaoqiao2001/status/2080003441821163958 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.
- azan_ 3mo agoIt's not, it's basically something that happened. One unsolved problem was solved with the only human input being telling LLM to work harder and to actually solve it after few failed attempts.
- mofeien 3mo agoTranscript, four prompts: https://chatgpt.com/share/6a60b2eb-0b64-83ee-9c76-7931ca1de063 https://chatgpt.com/share/6a60b2eb-0b64-83ee-9c76-7931ca1de0...