Comment by rvz

19 hours ago

You can see that your math friends completely wrote off LLMs entirely and were showing signs of coping.

4 years ago it was a "not yet" [0], since ChatGPT at this time was not ready nor it was "AGI". Now with this 'unreleased' AI model, it has reached a point where it has solved an unsolved problem which only one human solved a millennium prize problem (Poincare conjecture).