Terence Tao:"An extended AI chat helped me answer a MathOverflow question"mathstodon.xyz7 pointsalexcos9 months ago