返回数学家

数学家

OpenAI
2026-07-12 08:05:22

OpenAI称 GPT-5.6 Sol Ultra 1 小时内给出循环双覆盖猜想证明

OpenAI 研究员 Ethan Knight 7 月 12 日在 X 发文称,GPT-5.6 Sol Ultra 在未使用互联网搜索的情况下,于约 1 小时内生成“循环双覆盖猜想”的证明论文及提示词。公开论文共 3 页,采用将问题归约为三次正则图、结合 8-flow theorem 与 GF(3) 标签,并用线性代数构造每条边恰好落在两个循环中的结构。该结果尚未发表、未经过同行评审,也未通过 Lean 或 Coq 等形式化验证。

790
OpenAI称 GPT-5.6 Sol Ultra 1 小时内给出循环双覆盖猜想证明
区块链
2026-07-09 02:32:56

区块链纪录片《Trust Machine》聚焦技术政治博弈

纪录片《Trust Machine: The Story of Blockchain》将于10月26日在纽约上映,影片弱化币价叙事,转而讨论区块链的政治含义、赛博朋克根源及其对无银行账户群体的潜在价值。

790
区块链纪录片《Trust Machine》聚焦技术政治博弈