Comment by cubefox
2 months ago
This doesn't contradict anything he said though. People on HN care only because an LLM proved a very difficult conjecture, not because we are independently interested in this conjecture.
2 months ago
This doesn't contradict anything he said though. People on HN care only because an LLM proved a very difficult conjecture, not because we are independently interested in this conjecture.
Only? Seems remarkable to me.
Yes, the fact that an LLM managed to prove the conjecture is remarkable, but presumably you don't find the conjecture itself interesting.