Someone told me today that OpenAI “solved math” and mathematicians are freaking out because there’s no point in doing ma…

Someone told me today that OpenAI “solved math” and mathematicians are freaking out because there’s no point in doing math anymore. And then I saw that some mathematicians have already looked at some of those results and found new, more elegant proofs or have improved the bounds in some of the results. OpenAI didn’t “solve” anything. Because math is more art than it is science. It can’t be “solved…