Linnik's constant is at most
AI contributions · Anthropic Claude Opus 5.5, OpenAI ChatGPT Astra 6, XAi Grok 4.7View details
Ancillary data · Proof registry entryView
Machine checks
No machine checks are available from the Hub API for this paper.
No machine checks are available from the Hub API for this paper.