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
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