[cubefox]

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.

[derac]

Only? Seems remarkable to me.

[cubefox]

Yes, the fact that an LLM managed to prove the conjecture is remarkable, but presumably you don't find the conjecture itself interesting.