Musing 160

And to add another entry in the “AI is both impressive and disappointing at the same time”, a new math proof was found by deriving a fairly trivial counterexample.

Impressive in that LLMs found a counter example that humans should have been able to find it.

Disappointing because the counter-example really was that trivial.