logoalt Hacker News

azan_yesterday at 8:17 PM1 replyview on HN

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.


Replies

fn-moteyesterday at 9:19 PM

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.

show 2 replies