返回 2026-10-07 编辑版
发现与解读中文优先 · EN 原文待分类

Simon Willison 引述：研究 Barnette 猜想 24 年的读者见到 AI 解答

很久以前，我是一个图论迷，甚至曾搬到布达佩斯一段时间，以便在伟人之间学习。在那里期间，我开始研究巴内特猜想，这个猜想在我接下来的24年里时而占据我的思绪，尽管我从事过许多不同的领域。去年夏天，我甚至思考了几天。

查看英文原文

Quoting Jake Boggan

I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few day

事实主体／归属向阳乔木 · deepseek-v4-flash
发现来源向阳乔木qiaomu
打开原始出处
待追踪

OpenAI 内部数学结果引发长期研究者关注，但证明质量仍待同行核验

AINews 汇编与 Simon Willison 引述提供结果规模和研究者反应；两者都不能替代论文级独立审查。

EVIDENCE

原始出现与传播对照

2 条出现 · 本次 AIHOT 未精确命中

发现与解读

引用杰克·博根

很久以前，我是一个图论迷，甚至曾搬到布达佩斯一段时间，以便在伟人之间学习。在那里期间，我开始研究巴内特猜想，这个猜想在我接下来的24年里时而占据我的思绪，尽管我从事过许多不同的领域。去年夏天，我甚至思考了几天。

查看英文原文

引用 Jake Boggan

乔木风格重写（向阳乔木 · deepseek-v4-flash）：一位研究了巴内特猜想二十四年的数学爱好者，在 Hacker News 上看到它被 AI 解决时的反应，比任何技术评论都更能说明问题。 Jake Boggan 在 openai/math 的讨论区留下了这段话。他很久以前是个图论迷，甚至专门搬到布达佩斯，跟着这个领域最顶尖的人学习。就在那里，他开始研究巴内特猜想，此后断断续续跟它纠缠了二十四年，中间换过不少行业...

直接发布摘要向阳乔木 · deepseek-v4-flash打开该层出处 ↗

乔木风格重写（向阳乔木 · deepseek-v4-flash）：一位研究了巴内特猜想二十四年的数学爱好者，在 Hacker News 上看到它被 AI 解决时的反应，比任何技术评论都更能说明问题。 Jake Boggan 在 openai/math 的讨论区留下了这段话。他很久以前是个图论迷，甚至专门搬到布达佩斯，跟着这个领域最顶尖的人学习。就在那里，他开始研究巴内特猜想，此后断断续续跟它纠缠了二十四年，中间换过不少行业...

回溯原始摘要打开该层出处 ↗

I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few day

来源
向阳乔木 · qiaomu
证据角色
cn_product_workflow
时间状态
known
用户判决
未判
查看该来源原文raw/qiaomu.json8bce672670508fd911f2d0f4e8dffe4618b538f959162a9908eb38175cc1430b
发现与解读

引用杰克·博根

很久以前，我是一个图论迷，甚至曾搬到布达佩斯一段时间，以便在大师们中间学习。在那里，我开始研究巴奈特猜想，这个问题在我接下来的24年里，时断时续地占据了我的思绪，同时我在许多不同的领域工作。去年夏天，我甚至有几天觉得自己实际上已经解决了它。但据说它在这里已经被证明——问题180。我不太确定该怎么想。我在这个问题上花了上千小时。我真的很享受它。听说它被解决了，不知为何让我有种遥远的悲伤感，就像听到前女友在车祸中突然去世一样。 我不知道，今晚可能有很多人感到奇怪的情绪。——Jake Boggan，Hacker News 对 openai/math 的评论 标签：openai，数学，深蓝，llms，人工智能，生成式人工智能

查看英文原文

Quoting Jake Boggan

I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it. But it's supposedly proven here - problem 180. I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight. — Jake Boggan, Hacker News comment on openai/math Tags: openai, mathematics, deep-blue, llms, ai, generative-ai

直接发布摘要Simon Willison@simonw打开该层出处 ↗

I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it. But it's supposedly proven here - problem 180. I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight. — Jake Boggan, Hacker News comment on openai/math Tags: openai, mathematics, deep-blue, llms, ai, generative-ai

来源
Simon Willison · simon-willison
证据角色
hands_on_interpretation
时间状态
known
用户判决
未判
查看该来源原文raw/simon-willison.xml30695ea38c352fc4713dc9dac03850f747213fcb903ee3815a74bff36bb9f929
Cluster IDevt_9136737dfbcc43922103e361精确去重依据canonical_url事件状态未判