Simon Willison·· 9 天前
Jake Boggan 谈 Barnette 猜想被 AI 证明：24 年心血与复杂情绪
Quoting Jake Boggan
AI 导读
Jake Boggan 在 Hacker News 评论 openai/math 相关讨论时表示，自己曾为 Barnette 猜想投入 24 年、数千小时，去年夏天还一度以为解决了它。该猜想据称已在问题 180 处被证明，他形容听到消息后有种遥远的悲伤，像得知前女友突然车祸去世。
入选记录
门槛 76媒体与个人第一次 22第二次 18
未入选两次之和 40 < 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：引用OpenAI数学成果，涉及AI研究
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：Simon Willison · simonwillison.net