GPT-5.6 調用 64 個 Agent 提出 50 年猜想證明
By: t.me|2026/07/11 01:25:46
0
分享
設為Google首選來源
OpenAI 的 GPT-5.6 Sol Ultra 調用 64 個子 Agent，在不到 1 小時內為「循環雙覆蓋猜想」提供了一份證明。OpenAI 已公開完整 prompt 和證明全文，並開源 Lean 形式化版本，相關代碼已通過 Lean 內核檢查。目前，數學界尚未完成獨立審查，因此該結果暫時只能稱為「給出證明」，而不能直接稱為「正式解決」。
-- 價格
--
--
--
本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。
猜你喜歡
DGrid AI 深度解讀：去中心化 AI 基礎設施如何讓服務「可調用、可驗證、可結算」
DGrid AI：一個接口調用 200+ 模型，PoQ 鏈上驗證服務質量。23M 美元收入、15000+ 付費用戶驗證需求，TGE 在即，AI 服務正向可調用、可驗證、可結算的開放網絡演進。
Claude Code官方省Token指南：11個技巧讓額度用得更久
AI時代未來最重要的5個習慣
Meta Muse Spark 1.2 和 Muse Code 低價檔發布，價格比 DeepSeek 便宜29%
從「投機資產」到「下一代金融底層」，Crypto 正長出一套新的 TradFi 世界？
100億美元買一個中轉站？Stripe看中了OpenRouter什麼
看似最愚蠢的 AI 提示剛剛擊敗了數月的精心遊戲設計提示工程
Karpathy 提出長篇口述 Prompt 工作法
字節跳動發布 Seed Audio 1.0 生成音頻模型
砍掉80%系統提示詞後，Claude Fable 5開始反問開發者
xBubble 如何破局 VC 重注的 OPC 經濟
DAPPOS 推出 xBubble，以“SOP即業務”的創新模式破解 AI Coding 落地難題，讓不懂技術的 OPC 也能零門檻打造真實商業閉環
楊歌 Gary：Agent 經濟與 AI 亞微觀經濟學
奇點爆發後 AI 的進化時鐘不斷加速，使得全球不同地域迅速形成了新的文明代際。
沃什下週迎來棘手一戰：暫停加息容易，如何穩住抗通脹預期？
九成收入靠 Meme 幣，估值卻向 Pump 看齊：Meteora 該值多少？
永續合約之後，加密市場為何還需要期權？
當數據走向理解，如何重構一個企業級 AI 數據平台？
HTX Research 最新研報解讀中期選舉與加密市場：選舉改變政策預期，宏觀與資金決定行情上限
在資本之前進行管理：專用代理帳戶的必要性
為了提高AI交易代理的安全性，明確權限邊界的原則「在資本之前進行管理」以及考慮專用帳戶的分離是有效的。
Anthropic 即將 IPO，加密市場已定價 1.9 萬億美元估值？
Agent真的需要區塊鏈支付嗎？
Pancake 新提案遭 98% 反對，DEX 手續費該給 LP 還是持幣人？
DeepSeek千億融資新進展：機構在爭最後入場券，最快明年上市
騰訊科技獲悉，DeepSeek 第二輪融資接近結束但尚未關閉：規模從最初 500 億元上調至接近 1000 億元，投前估值維持約 5000 億元，仍有少數機構在爭取最後的入場機會。此外，公司最快明年啟動上市。
Polymarket：在法國下注1.6億美元，儘管該網站在法國被禁止
自七月以來被封鎖的Polymarket在法國提供30個賭注，總金額達1.6億美元：總統選舉、騷亂、紐涅茲、穆迪。
詹姆森·洛普警告比特幣持有者不要放棄自我保管
NEAR 提案削減 36% 的收益，分裂網絡驗證者
NEAR 的供應在 30.62 天內增長了 269 萬個代幣，HSP-029 提議降低發行，暴露了稀釋和質押收入的權衡。
加密貨幣交易所承認錯誤，因報告顯示損失數百萬
印度加密貨幣交易所 CoinDCX 否認再次被駭，但承認因內部流程暫時失效而造成的損失。
AI 支出疑慮衝擊科技股與 BTC｜WEEX 每週回顧（2026/10/19-2026/10/23）
WEEX 每週回顧涵蓋 AI 支出、科技業財報、加密資產與石油。科技股先反彈，隨後大幅遭遇拋售：SpaceX 業績短暫提振 AI 市場情緒，而 Meta、Tesla 與 Lam Research 引發市場反應不一。之後 Nasdaq 下跌，BTC 回落至81,000美元–82,000美元附近，油價上漲，黃金與白銀則走弱。
科技股走弱，避險情緒蔓延｜WEEX TradFi 每日市場（2026/10/23）
截至10/22收盤，納斯達克下跌約2.6%，創下自 6 月以來最大單日跌幅。投資人重新評估 AI 巨額投資的潛在回報，Meta 等公司的支出承諾也加劇了信貸疑慮。避險情緒推低長天期公債殖利率，布倫特原油與 WTI 則升至約五個月高點，WTI 接近每桶100美元。比特幣在81,000美元–82,000美元附近徘徊，黃金與白銀也走弱。今日盤前焦點為 AXP 和 SLB 財報。
唐华斑竹談蓋茨減持微軟與巴菲特投資理念
拋開押注不談，預測市場真的有用嗎？
DGrid AI 深度解讀：去中心化 AI 基礎設施如何讓服務「可調用、可驗證、可結算」
DGrid AI：一個接口調用 200+ 模型，PoQ 鏈上驗證服務質量。23M 美元收入、15000+ 付費用戶驗證需求，TGE 在即，AI 服務正向可調用、可驗證、可結算的開放網絡演進。
Claude Code官方省Token指南：11個技巧讓額度用得更久
AI時代未來最重要的5個習慣
Meta Muse Spark 1.2 和 Muse Code 低價檔發布，價格比 DeepSeek 便宜29%
從「投機資產」到「下一代金融底層」，Crypto 正長出一套新的 TradFi 世界？
100億美元買一個中轉站？Stripe看中了OpenRouter什麼
...
