X @AIatMetaAI 評分41
Meta 與 Muse Spark 合作推進數論與弦理論聯絡
Meta AI 研究人員與 Muse Spark 合作，將數論中的一個想法與弦理論中的一項計算聯絡起來，證明該聯絡在比此前已知更多的情況下成立。這項工作建立在 1980 年代的想法之上，論文已在 Meta AI 研究頁面發布。
搜尋
依意思最接近的 7 筆
X @AnthropicAI● 精選AI 評分74
@AnthropicAI: New from our STEM Fellows Program: Designing more efficient quantum circuits with Claude.
Anthropic 的 STEM Fellows Program 公布：Claude Mythos 5 僅憑自然語言指令設計出量子電路，效能超過已發表的最佳方案，有時提升一個數量級甚至更多。Anthropic 表示，更高效的電路能減少量子演算法所需的資源，可能讓化學與材料科學領域的量子計算應用更早成為現實。
Hacker News front page● 精選AI 評分80
OpenAI 公布數百項數學證明，數學家稱領域被摧毀
OpenAI 近幾個月公布數百項數學發現，涵蓋數論、理論電腦科學與邏輯，其中不少證明曾困擾頂尖數學家數十年乃至數百年。2022 年菲爾茲獎得主 Hugo Duminil-Copin 在十月發布後表示「他們摧毀了我的研究領域」，康奈爾大學數學家 Steven Strogatz 也向作者描述了哭泣、迷失與興奮交織的感受。
Hacker News front pageAI 評分25
JulianFlux 開源電動力學檢索程式碼，宣稱 0% 幻覺率
JulianFlux 在 GitHub 開源了一套 Python 實現，用連續電動力學場替代餘弦相似度，為 AI agent 做向量檢索與因果路由。它把 768 維嵌入投影到 128 維流形，用 NLI 邏輯閘給資料打 ±1.0 拓撲電荷、以電場斥力阻斷矛盾資訊，並借法拉第感應定律隨時間衰減過期事實。
Hacker News front pageAI 評分67
七位數學家撰文反對倉促用 AI 形式化全部數學
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
量子位AI 評分54
Anthropic 聯創在 IMF 演講：奇點已來，GPT-6 Astra 解出 98% 未公開物理難題
Anthropic 聯合創始人 Jack Clark 在 IMF 2026 曼谷年會的佩爾·雅各布森講座上宣稱，奇點已經到來。他給出的證據包括：Claude Opus 5.5 在「人類最後的考試」上的得分升至 67.7%，在 FrontierMath 上從 2 分升至 94 分；在 50 道未公開的頂尖物理難題中，GPT-6 Astra 初評約 80%，人類專家修正參考答案後達到 98%（50 題對 49 題）。
機器之心● 精選AI 評分70
HyperQ 用 64 量子位元讓 1.1B 擴散語言模型超過 8B 模型
蒙特利爾大學、Mila 與麥吉爾團隊提出 HyperQ，把逐 Token 動態生成的量子電路接入擴散語言模型；在 64 量子位元下，11 億引數模型的六項零樣本測試平均分超過 Qwen3-8B 等 80 億引數模型。超網路根據每個 Token 的隱藏狀態生成量子門旋轉角度、耦合強度與測量方向，只訓練新增的量子分支，不改動主幹；相比凍結主幹提升 4.71 分，也超過 LoRA 微調，而指令微調資料只有後者的十分之一。