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