I'm about to start a PhD in mathematics. The idea of puzzling out what an AI did to prove something sounds quite boring and unappealing. But yes, maybe it's a viable career path.
I'm just not happy with the presentation of OpenAIs result. Maybe they could have gotten into contact with the people of the research areas of the problems that they solved and worked with them to create a better exposition. Sure, it's a slow process and requires lots of staff. But I believe that they can afford it.
I'm just not happy with the presentation of OpenAIs result. Maybe they could have gotten into contact with the people of the research areas of the problems that they solved and worked with them to create a better exposition. Sure, it's a slow process and requires lots of staff. But I believe that they can afford it.