BTCBTC
💲78077.59
-
1.74%
ETHETH
💲2470.10
-
1.84%
SOLSOL
💲101.15
-
3.34%
ZECZEC
💲1215.66
-
1.54%
USDCUSDC
💲1.00
-
0%
XAUXAU
💲4411.22
+
0.07%

xiyu
xiyu|2026年09月10日 05:52
9月8日，OpenAI宣布内部模型协调约1万个AI智能体，在88小时内给出纳维-斯托克斯存在性与光滑性问题的证明并用Lean形式化，尚未获独立验证。 这组智能体交换了270万条消息。OpenAI表示不会申领克莱数学研究所为该难题设的100万美元千禧年大奖。(xiyu)
+4
曾提及
分享至：

脉络

09月10日 08:11Starknet v0.14.4 即将上线
09月10日 00:09AI代理完成Navier–Stokes定理证明
09月09日 15:41EIP-8288提案降低量子安全交易成本
09月09日 15:40a16z crypto发布开源zkVM Lattice Jolt
09月09日 15:39递归STARK内存池（EIP-8288）的说明
09月09日 09:09以太坊基金会宣布量子抗性截止日期
09月08日 18:23分享零知识证明的证明而非证明本身
09月08日 10:45以太坊的2029量子截止日期迫使开发者权衡
09月07日 13:00Blockforce在Cardano上锚定供应链证书
09月07日 12:08Solana将三倍增加交易大小

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读