OpenAI表示，其一个内部模型利用约10,000个智能体在88小时内证明了3D纳维-斯托克斯方程可以在有限时间内发展出奇点。
该公司在一次新闻发布会上描述了这一结果，但尚未公布证明过程。
致力于相关问题的Tristan Buckmaster和Levent Alpoge发表了带有Lean形式化验证的预印本，任何人都可以对其进行机器校验。[…]
thenextweb
··
1
特朗普遭遇中期选举震荡：民主党夺回国会，共和党在得克萨斯州和堪萨斯州失利
印度快报 · 海峡时报 等 54 家 · 187 篇
2
众议院民主党收复失地 民主社会主义者阵容扩大
财新 · 共同社 等 13 家 · 28 篇
3
美国中期选举投票站大规模关闭，计票仍在继续
阿纳多卢通讯社 · 凤凰网 等 19 家 · 20 篇
4
民主党大胜震动特朗普交易，从AI股到加密货币均受冲击
路透社 · 彭博社 等 12 家 · 18 篇
5
特朗普：将接受选举结果，准备与民主党合作
纽约时报 · 𝕏 @fxtrader 等 11 家 · 17 篇
6
特朗普押注自己的直觉——却引发了一场蓝色浪潮
微软全国广播公司 · semafor 等 11 家 · 16 篇
7
DDHQ预测：民主党人布鲁克斯赢得宾夕法尼亚州众议院选举
彭博社 · 国会山报 等 3 家 · 15 篇
8
基莎·兰斯·博特姆斯、大卫·克劳利和拜伦·唐纳兹周二创造历史
华尔街日报 · 阿纳多卢通讯社 等 11 家 · 14 篇
9
美国中期选举多个红州翻蓝 民主党横扫德州佐治亚州长宝座
香港01 · 财新 等 8 家 · 13 篇
10
北韩接连试射武器 金与正称将加强反制美国
法新社 · 中央通讯社 等 8 家 · 11 篇