Comment by bananaflag

I find it weird to blame OpenAI for using math as a benchmark. If they hadn't done so, then in three months, say, after releasing Bel, someone else would have used math as a benchmark for it (like mathematicians already do since Fable 5 and 5.6 Sol). The result would have been the same (hundreds of open problems solved quickly).