Strong agree. Not to appeal to much to authority, but Terence Tao has already to move his main focus to worked on AI powered proof solving software. I don’t have a formal survey, but talking to mathematicians I know, there’s a feeling this is coming soon.
Okay, looking back over, “main focus”, is a bit of an over statement, but it’s definitely one of his big fields of interest at the moment. According to him frontier models are currently ~5x ish multiple time harder to get productive in helping you solve complex novel math than a grad student. (dependent on the grad student & the problem). Note: my original statement was based on recollection of conversations I’ve had with a mathematician I trust at CalTech who works in the same circles, take that as you will
Strong agree. Not to appeal to much to authority, but Terence Tao has already to move his main focus to worked on AI powered proof solving software. I don’t have a formal survey, but talking to mathematicians I know, there’s a feeling this is coming soon.
Has Terence Tao publicly indicated that he’s shifted his main focus to applying AI to math?
Okay, looking back over, “main focus”, is a bit of an over statement, but it’s definitely one of his big fields of interest at the moment. According to him frontier models are currently ~5x ish multiple time harder to get productive in helping you solve complex novel math than a grad student. (dependent on the grad student & the problem). Note: my original statement was based on recollection of conversations I’ve had with a mathematician I trust at CalTech who works in the same circles, take that as you will