The speaker’s project aims to define the skills that make a human a mathematician, break down the skills needed to become a practitioner, and create benchmark problems based on those categories.

“But like they just test like a certain aspect of the math skills that a mathematician have. And so what we're doing here is like we really want to think from first principles like what makes a human a mathematician.”

“And then we break down all the skills that are required.”

“for human to become practitioners and then we kind of create problems or like benchmark based on those categories and so we kind of right now it's like still in progress but we're working with like several PhDs professors and like AI researchers in different AI labs together to kind of to produce like this more holistic benchmark but basically we kind of organize”