4 ms·Terence Tao:"An extended AI chat helped me answer a MathOverflow question"7 points by alexcos 1y agoamai 1y agoWhich model did he use?