Terence Tao:"An extended AI chat helped me answer a MathOverflow question"mathstodon.xyz 7 pointsalexcos11 months ago1 commentSaveHideCopy link On HNComments−amai11moWhich model did he use?
Comments
Which model did he use?