A top mathematician used ChatGPT on a hard math problem — and didn't correct it once

Terence Tao, one of the world's leading mathematicians, used ChatGPT while working through a problem unsolved since 1939. A commenter pointed out that Tao never had to correct the AI. That is striking because the topic — advanced algebra — is exactly where language models have previously stumbled.