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:

Remarks on the disproof of the unit distance conjecture

Abstract page for arXiv paper 2605.20695: Remarks on the disproof of the unit distance conjecture

arXiv.org (arxiv.org)

[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:

An explicit lower bound for the unit distance problem

Abstract page for arXiv paper 2605.20579: An explicit lower bound for the unit distance problem

arXiv.org (arxiv.org)