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:
-
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)
-
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)
@highergeometer I want to cry.
-
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)
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)
-
R relay@relay.infosec.exchange shared this topic
