热点事件历史事件

Jake Boggan 谈 Barnette 猜想被 AI 证明

1 篇报道1 个报道来源3 天前更新

先了解这件事

AI 综述

OpenAI 的数学项目（openai/math）据称证明了 Barnette 猜想（问题 180）。曾为该猜想投入 24 年、数千小时的 Jake Boggan 在 Hacker News 相关讨论中表示，他去年夏天一度以为解决了它，听到被证明的消息后感到一种遥远的悲伤，并猜测当晚很多人会有类似的复杂情绪。 Boggan 的说法只说明他个人对证明消息的反应，未对证明本身作出评价。

AI 根据报道生成 · 3 天前更新

报道时间线

沿着报道，了解事件的不同侧面。

10月7日

12:47
Simon Willison
Jake Boggan 谈 Barnette 猜想被 AI 证明：24 年投入后的复杂情绪
Jake Boggan 在 Hacker News 评论 openai/math 相关讨论时表示，自己曾为 Barnette 猜想投入 24 年、数千小时，去年夏天还一度以为解决了它，如今该问题（problem 180）据称已被证明。他说听到消息后有种遥远的悲伤，像得知前女友突然车祸去世，并猜测今晚很多人会有类似的复杂情绪。

本事件热度走势

可比范围当前: 7
可比范围峰值: 1010月7日 14:00
近 24 小时变化: –

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。