Terence Tao:"An extended AI chat helped me answer a MathOverflow question"(mathstodon.xyz)
mathstodon.xyz
Terence Tao:"An extended AI chat helped me answer a MathOverflow question"
https://mathstodon.xyz/@tao/115306424727150237
1 comments
Which model did he use?