克勞德苦惱於一項流傳數世紀的數學難題,卻在無意間重新定義了數學知識的核心原則
近期,人工智慧領域出現了重大進展。由 Anthropic 開發、尚未公開的研究版本「Claude」,嘗試解決數學界最棘手的問題之一:黎曼假說。 儘管它未能完全解開這個存在已逾百年的難題,但其探索過程卻取得了顯著成果——它將黎曼ζ函數在臨界線上的零點比例下界,從41.6%提升至67.2%,而這個數值在過去數十年來一直未曾改變。

這項進展立即在學界引發激烈辯論。值得注意的是,此結果既不構成黎曼假設的證明,也未能為該假設本身提供具體解法。相反地,其真正價值在於展示了由人工智慧驅動的一種嶄新科學研究方法。 在此過程中,Claude 並未依賴現有的知識庫來尋找答案;相反地,它協調了約 60 個子代理,共同組成一支虛擬研究團隊。這些代理經歷了無數次失敗,獨立分析了大量文獻,並結合傳統的分析方法,在廣闊且未被探索的數學領域中開拓創新之路。
業界專家指出,這項突破不僅彰顯了人工智慧在處理涉及多個代理間長期協作及自主錯誤修正等複雜任務方面的強大能力,更預示著未來研究方法論可能迎來變革。 人工智慧或許很快就能超越僅靠廣泛試錯實驗與大量資訊交叉比對來解決已知問題的階段,從而大幅減少人類探索未知領域所需的努力,並為科學發現的全新時代鋪平道路。
相關文章
豆包千文關閉智慧代理,隨著中國首個類人AI服務規則生效
位元組跳動的豆包與阿里巴巴的通義千問今日均宣佈正式下線其智慧體功能,實質上阻止了使用者建立或呼叫現有智慧體。此次關停恰逢由國家網際網路資訊辦公室、國家發展和改革委員會等五部門聯合釋出的《人工智慧生成合成內容標識辦法》(注:此處根據上下文“AI Personification Interaction Services”及“五部門聯合釋出”的語境,通常指代《人工智慧深度合成管理規定》或相關關於AI互動服務的法規,但原文為“Interim Measures for the Management of Art
Ramp 推出專有 AI 模型路由器
緊跟 Stripe 的步伐,企業費用管理平臺 Ramp 正在建立自己的 AI 推理基礎設施。週三晚間,Ramp 推出了 Router,這是一個 AI 模型路由服務,允許使用者和企業透過 API 訪問並在多個大型語言模型之間切換。該公司指出,過去三年間,它一直使用這款自主研發的路由器來滿足其內部的 AI 需求。目前,該服務僅限美國使用者使用。在 2026 年底之前免費開放(儘管仍需支付標準的 AI 模型推理費用),並附帶 26 美元的啟動信用額度。Ramp 尚未披露下一年的定價細節。雖然 Rou
阿里巴巴任命劉大毅恆負責通義千問專案
兩位接近此事的訊息人士證實,阿里巴巴集團已任命資深AI研究員劉大恆為通義千問(Qwen)大語言模型專案的負責人。據內部人士透露,此次領導層調整是在今年早些時候進行的幾輪內部重組之後,旨在精簡通義千問團隊的管理層級。阿里巴巴年度雲大會於週二開幕。活動官網現已公佈演講嘉賓名單,劉大恆的個人資料赫然在列,其排名僅次於集團主席馬雲和執行長吳泳銘。網站明確列出其職務為“通義千問大語言模型專案負責人”。此次任命表明,在近期的組織架構調整之後,通義千問核心模型運營的領導層已明確確立,凸顯了阿里巴巴致力
相關專題推薦
評論 (0)
0/500
近期,人工智慧領域出現了重大進展。由 Anthropic 開發、尚未公開的研究版本「Claude」,嘗試解決數學界最棘手的問題之一:黎曼假說。 儘管它未能完全解開這個存在已逾百年的難題,但其探索過程卻取得了顯著成果——它將黎曼ζ函數在臨界線上的零點比例下界,從41.6%提升至67.2%,而這個數值在過去數十年來一直未曾改變。

這項進展立即在學界引發激烈辯論。值得注意的是,此結果既不構成黎曼假設的證明,也未能為該假設本身提供具體解法。相反地,其真正價值在於展示了由人工智慧驅動的一種嶄新科學研究方法。 在此過程中,Claude 並未依賴現有的知識庫來尋找答案;相反地,它協調了約 60 個子代理,共同組成一支虛擬研究團隊。這些代理經歷了無數次失敗,獨立分析了大量文獻,並結合傳統的分析方法,在廣闊且未被探索的數學領域中開拓創新之路。
業界專家指出,這項突破不僅彰顯了人工智慧在處理涉及多個代理間長期協作及自主錯誤修正等複雜任務方面的強大能力,更預示著未來研究方法論可能迎來變革。 人工智慧或許很快就能超越僅靠廣泛試錯實驗與大量資訊交叉比對來解決已知問題的階段,從而大幅減少人類探索未知領域所需的努力,並為科學發現的全新時代鋪平道路。
豆包千文關閉智慧代理,隨著中國首個類人AI服務規則生效
位元組跳動的豆包與阿里巴巴的通義千問今日均宣佈正式下線其智慧體功能,實質上阻止了使用者建立或呼叫現有智慧體。此次關停恰逢由國家網際網路資訊辦公室、國家發展和改革委員會等五部門聯合釋出的《人工智慧生成合成內容標識辦法》(注:此處根據上下文“AI Personification Interaction Services”及“五部門聯合釋出”的語境,通常指代《人工智慧深度合成管理規定》或相關關於AI互動服務的法規,但原文為“Interim Measures for the Management of Art
Ramp 推出專有 AI 模型路由器
緊跟 Stripe 的步伐,企業費用管理平臺 Ramp 正在建立自己的 AI 推理基礎設施。週三晚間,Ramp 推出了 Router,這是一個 AI 模型路由服務,允許使用者和企業透過 API 訪問並在多個大型語言模型之間切換。該公司指出,過去三年間,它一直使用這款自主研發的路由器來滿足其內部的 AI 需求。目前,該服務僅限美國使用者使用。在 2026 年底之前免費開放(儘管仍需支付標準的 AI 模型推理費用),並附帶 26 美元的啟動信用額度。Ramp 尚未披露下一年的定價細節。雖然 Rou
阿里巴巴任命劉大毅恆負責通義千問專案
兩位接近此事的訊息人士證實,阿里巴巴集團已任命資深AI研究員劉大恆為通義千問(Qwen)大語言模型專案的負責人。據內部人士透露,此次領導層調整是在今年早些時候進行的幾輪內部重組之後,旨在精簡通義千問團隊的管理層級。阿里巴巴年度雲大會於週二開幕。活動官網現已公佈演講嘉賓名單,劉大恆的個人資料赫然在列,其排名僅次於集團主席馬雲和執行長吳泳銘。網站明確列出其職務為“通義千問大語言模型專案負責人”。此次任命表明,在近期的組織架構調整之後,通義千問核心模型運營的領導層已明確確立,凸顯了阿里巴巴致力





首頁






