Terence Tao:"An extended AI chat helped me answer a MathOverflow question" | Not Hacker News!