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

Link Preview Image
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

favicon

arXiv.org (arxiv.org)

]]>https://board.circlewithadot.net/topic/28c9f899-2c6a-464f-b36b-f544f0536229/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-wroteRSS for NodeMon, 25 May 2026 20:01:36 GMTThu, 21 May 2026 03:00:17 GMT60<![CDATA[Reply to 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: on Thu, 21 May 2026 06:42:48 GMT]]>Human "digestion" of the proof to get a far better explicit version of the exponent:

Link Preview Image
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

favicon

arXiv.org (arxiv.org)

]]>https://board.circlewithadot.net/post/https://mathstodon.xyz/users/highergeometer/statuses/116611204282342296https://board.circlewithadot.net/post/https://mathstodon.xyz/users/highergeometer/statuses/116611204282342296Thu, 21 May 2026 06:42:48 GMT<![CDATA[Reply to 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: on Thu, 21 May 2026 06:12:14 GMT]]>@highergeometer I want to cry.

]]>https://board.circlewithadot.net/post/https://mathstodon.xyz/users/jeanas/statuses/116611084104485896https://board.circlewithadot.net/post/https://mathstodon.xyz/users/jeanas/statuses/116611084104485896Thu, 21 May 2026 06:12:14 GMT