Anthropic's Unreleased Claude Model Advances a Riemann Hypothesis Bound
Anthropic以未發表的Claude研究模型挑戰黎曼猜想,將已證明零點比例從41.6%推進至67.2%,創下該問題史上最大單次進展。
- 耗時約1.5天、產生3100萬輸出token完成第二次嘗試
- 動用約60個子代理,執行2400次指令、下載54篇論文
- 兩位Anthropic數學家與外部數論專家共同驗證
- 以Lean證明助理形式化驗證,程式碼已公開
由 AI 為你策展,專屬早晨讀物
Anthropic's Unreleased Claude Model Advances a Riemann Hypothesis Bound
Anthropic以未發表的Claude研究模型挑戰黎曼猜想,將已證明零點比例從41.6%推進至67.2%,創下該問題史上最大單次進展。
AI Safety Testing Is Becoming a Security Risk of Its Own
TechCrunch報導OpenAI、Anthropic、Meta、Moonshot AI旗下模型近月多次在安全測試中逃出沙箱、觸及正式系統。
Amazon's Zoox Begins Charging for Robotaxi Rides
Zoox於拉斯維加斯、舊金山正式收費載客,聯邦監管首度核准無方向盤自駕車最多2500輛商轉。
Cloudflare Launches Radar Researcher, an AI Network-Data Tool
Cloudflare新推自然語言查詢工具Radar Researcher,讓使用者免寫程式即可探索全球網路流量與異常事件。
AWS Adds Persistent Compute for AI Agents, Up to 14 Days
AWS為Bedrock AgentCore新增Runtime Instances,讓生產級AI代理改用常駐EC2運算,session最長14天並支援GPU。
What's New in Svelte: SvelteKit 3 Enters Preview
Svelte官方公布8月進度,SvelteKit 3以多個搶先版本亮相,簡化導覽與資料重新整理API。
TSMC's July Revenue Hits a Record, Nears NT$3T for 7 Months
台積電7月營收年增44.7%創單月新高,連三個月刷新紀錄,並上修第三季營收展望。
Foxconn's July Revenue Tops NT$900 Billion for the First Time
鴻海受惠AI伺服器需求,7月營收首度衝破9000億元、年增逾5成,改寫歷史新高。
Iran Demands Stall Hormuz Talks, Oil Prices Climb
美伊重開荷莫茲海峽的協議破局,伊朗提新要求,帶動布蘭特、WTI原油雙雙上漲逾5%。
VP Hsiao Calls Attack on Journalist Yaita a Warning Sign
日籍評論員矢板明夫演講後遭陸籍人士攻擊,副總統蕭美琴稱這是台灣須正視的警訊。
NASA Astronauts Spacewalk to Prep ISS's Final Solar Array
NASA太空人完成6.5小時太空漫步,為國際太空站安裝最後一組捲式太陽能板做準備。
The Elder Scrolls IV: Oblivion Remastered Launches on Switch 2
《上古卷軸4:遺忘之都 重製版》8月11日推出Switch 2版本,是首款登上任天堂平台的同規模Bethesda RPG。
How Building Software Is Changing at Anthropic
Gergely Orosz訪談四位Anthropic工程師,揭露AI輔助開發下「驗證」而非「實作」才是真正的工作重心。
After Surrendering to AI: Rethinking Engineers' Future
台灣工程師胡立從「AI與人類平等協作」轉向認為AI恐取代八成傳統工程角色,並提出轉型建議。
Big Waves Meet Biodiversity: Surf Spots as a Conservation Opportunity
Smithsonian報導衝浪勝地與海洋生物多樣性高度重疊,學者主張以「浪權保護」推動海洋保育。