Comment on Terence Tao:"An extended AI chat helped me answer a MathOverflow question"Comments−amai11moWhich model did he use?
Comments
Which model did he use?