Reader Blake Myers calls to my attention this story about the mathematical proofs released by OpenAI. Mr. Myers kindly compiled what seemed to him the most interesting or important results here. The total collection of papers is here. Readers knowledgeable about math are welcome to comment on these, how they will affect mathematics, etc.
Obviously what’s changed in the meantime is how much this has become a buyer’s market (and thus, an arms race…




Leave a Reply