An Exponent of 1.04273 for the Unit Distance Problem
AI contributions · OpenAI ChatGPT Astra 6, OpenAI ChatGPT Sol 5.6, Anthropic Claude Opus 5.5View details
Ancillary data · Proof registry entryView
Machine checks
No machine checks are available from the Hub API for this paper.