News from OpenAI about another AI-generated proof, much better to hear it from expert mathematicians and their considered reflections, than from the press release taking sound-bite quotes from what they wrote:

[highergeometer@mathstodon.xyz]

News from OpenAI about another AI-generated proof, much better to hear it from expert mathematicians and their considered reflections, than from the press release taking sound-bite quotes from what they wrote:

https://arxiv.org/abs/2605.20695

[jeanas@mathstodon.xyz]

@highergeometer I want to cry.

[highergeometer@mathstodon.xyz]

Human "digestion" of the proof to get a far better explicit version of the exponent:

https://arxiv.org/abs/2605.20579