← Back to context Comment by derac 2 months ago Only? Seems remarkable to me. 1 comment derac Reply cubefox 2 months ago Yes, the fact that an LLM managed to prove the conjecture is remarkable, but presumably you don't find the conjecture itself interesting.
cubefox 2 months ago Yes, the fact that an LLM managed to prove the conjecture is remarkable, but presumably you don't find the conjecture itself interesting.
Yes, the fact that an LLM managed to prove the conjecture is remarkable, but presumably you don't find the conjecture itself interesting.