> As they work on a problem, OpenAI will put their strongest model on their biggest cluster and synthesize all the work by the individual mathematicians to arrive at the answer.
But coming to final answer is not important and that’s what the author spends time arguing. If they are right, surely whatever slop OpenAI is producing is worthless to human understanding which is the main goal.
The math community has to change prestige markers to promote people who contribute to understanding and not just solving theorems and that’s on mathematicians to do.
If solving problems is the end goal then I don’t mind OpenAI doing it in which case furthering math is already solved by someone.
The only failure mode is if mathematicians can’t get funding for just “understanding”. But it shouldn’t be that hard to do if their claim is right that their main contribution to society has always been understanding.
I’d argue that getting funding purely for understanding may be even easier to justify because the costs go down dramatically per unit understanding.
But coming to final answer is not important and that’s what the author spends time arguing. If they are right, surely whatever slop OpenAI is producing is worthless to human understanding which is the main goal.
The math community has to change prestige markers to promote people who contribute to understanding and not just solving theorems and that’s on mathematicians to do.
If solving problems is the end goal then I don’t mind OpenAI doing it in which case furthering math is already solved by someone.
The only failure mode is if mathematicians can’t get funding for just “understanding”. But it shouldn’t be that hard to do if their claim is right that their main contribution to society has always been understanding.
I’d argue that getting funding purely for understanding may be even easier to justify because the costs go down dramatically per unit understanding.