2 ms·

Only? Seems remarkable to me.

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