BTCBTC
💲78229.38
-
1.37%
ETHETH
💲2475.51
-
1.5%
SOLSOL
💲101.70
-
3.03%
ZECZEC
💲1219.78
-
1.39%
USDCUSDC
💲1.00
-
0%
XAUXAU
💲4420.21
+
0.29%

xiyu
xiyu|2026年09月10日 05:52
9月8日，OpenAI宣布内部模型协调约1万个AI智能体，在88小时内给出纳维-斯托克斯存在性与光滑性问题的证明并用Lean形式化，尚未获独立验证。 这组智能体交换了270万条消息。OpenAI表示不会申领克莱数学研究所为该难题设的100万美元千禧年大奖。(xiyu)
+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将三倍增加交易大小
09月06日 13:13通用型STARK性能已超早期预期

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读