Jake Boggan 谈 Barnette 猜想被 AI 证明：24 年投入后的复杂情绪

发生了什么

在 OpenAI 数学项目 openai/math 的 Hacker News 讨论中，Jake Boggan 称自己曾为 Barnette 猜想投入 24 年、数千小时，去年夏天还一度以为已解决该问题。他表示该猜想如今"据称已被证明"（问题 180），听到消息后感到一种遥远的悲伤。

继续阅读

正在热议

1. 1Meta 开放发布 Muse Spark Open，支持 Mac 和云端部署，位居美国开放权重模型榜首
2. 2Google 在全球推出 Gemini 4 Argon，并扩大付费访问范围，基准测试结果不一
3. 3OpenAI 为 ChatGPT 中的 GPT-6 Astra Pro 带来并行智能体和更快响应
4. 4Meta的新商业条款引发有关网站抓取和 AI 训练权利的争议