Some nuance on the mathematical proofs released by OpenAI

The backlash from mathematicians regarding OpenAI's mathematical proofs isn't solely about credit; it's about the deeper issue of comprehensibility and the loss of valuable follow-up activities. Mathematicians must work backward from the proofs to understand their meaning, a crucial part of the proof's value. This process, essential for generating understanding, is still left to human effort. As Tao noted, the traditional follow-up activities like talks and workshops, which stem from such solutions, are at risk of being lost, either due to a lack of explanation development or disinterest in allocating resources.

This analysis highlights that the core issue with OpenAI's mathematical proofs is their lack of comprehensibility, unlike typical proofs that provide immediate understanding.