《环双覆盖猜想的一个证明》所使用的提示词

Hacker News收录了一份名为《环双覆盖猜想的一个证明》的提示词PDF，标题暗示其记录了生成或辅助数学证明时使用的完整提示。当前可见信息仅包括链接、标题及2分、0评论的讨论记录，尚无法确认模型、证明内容、作者身份或数学结论是否经过同行验证。