I think it can both true that 1) OpenAI is being inconsiderate/harmful/<pick-whatever-adjective> with their math releases, and 2) there is now a treasure trove of mathematical results ready for the taking.

Yes, the situation sucks overall and mathematics as a whole is in a turbulent time now.

But it also sucks when mathematicians, who are considered experts on a particular problem, refuse to engage with breakthrough results about that problem. #2 above is still true regardless of where it came from or how hard it can be to absorb.

While reading "The Mathocalypse" post [0] by Scott Aaronson, Scott described his wife Dana's reaction to one of the newly solved results in her primary domain of expertise, on which she'd been working for decades.

After her initial shock, and annoyance with the format/style, she decided to start using Astra - for the first time - to help her understand the new result. And he reported in the comments that she had made a lot of progress understanding it in one day, and may be even excited to give a talk about it!

That seems like a much healthier attitude towards these new results.

Yes, everything else sucks about this messy period. But there are still diamonds (in the rough) in this drop that perhaps should be looked into. If the author is too busy, perhaps one of their students can take a look? Someone will, eventually.

[0] https://scottaaronson.blog/?p=10169

> But it also sucks when mathematicians, who are considered experts on a particular problem, refuse to engage with breakthrough results about that problem.

It might be a shock for you but they are very few in numbers. Most of researchers I know are always busy with something. They cannot just drop other responsibilities for something like this. They will take their own time getting through the proofs (if they want to).

> That seems like a much healthier attitude towards these new results.

Another thing to consider is not all mathematicians are from US or with good funding. The PI or graduate students cannot afford to pay 200/month.

Paraphrasing Hardy, 'exposition is for second-rate minds'.

I don't believe this myself. But I do believe that if you've formed your very ideas about what is good and desirable on the basis of a culture that has held certain values dear for hundreds of years, and have fought against every doubt and difficulty in life for decades to mold yourself into that image, that it does not 'suck' that you are unable to adapt to a new reality overnight.

Very few people that would love to be craftsmen would love to be factory foremen. It is far too insensitive to the human experience to expect people to just deal.

> But it also sucks when mathematicians, who are considered experts on a particular problem, refuse to engage with breakthrough results about that problem.

For me the problem is that rigth now the structure of incentives that has been built (e.g. you publish more = you get a grant; good exposition < solving a conjecture) is now broken. So, for instance, you would be very irresponsible if you throw your student into one of those AI papers, it's too much the risk. This part is mathematician's responsability, they need to change this incentives structure.

In any case, OpenAI is being a dickhead here. They throw millions of dollars at these problems, but they can't afford basic literature reviews (the drafts barely cite previous work)? Or checking that Lean's formalizations really correspond to what they claim to prove (even for Navier-Stokes they made this mistake)? It's obvious that for them this is just a PR stunt.

If you can't fight them, join them.

Why are you two-siding this. There is only one misaligned agent here and that is the company OpenAI. What OpenAI is doing sucks, and people are calling OpenAI out for sucking. However mathematicians (the main victims of OpenAI’s lousy behavior) behave is not the issue here.

If some mathematicians complain about OpenAI sucking, that is fine actually, and if others are more “mature” about it, that that is fine too. Neither of these reactions should be at put as an equivalence to the blame OpenAI deserves for this stunt.