陶哲軒創辦AI x Science組織
菲爾茲獎得主數學家陶哲軒在量子位專訪中解釋，為何現在創辦AI x Science組織。他預測未來AI將催生上萬名像他這樣的數學家。這凸顯AI放大科學人才的潛力。
Search
Tag: #mathematics40 results
科學家破譯 1300 年前的瑪雅數學公式
研究人員在瓜地馬拉 Xultun 遺址發現了 8 世紀瑪雅數學家 Sak Tahn Waax 的署名。牆壁銘文記錄了連結金星、火星與多種曆法週期的精密數學公式，展現了瑪雅文明高度的代數運算能力。
🔬
強化機器學習數學基礎的資源建議
一位博士生尋求鞏固線性代數、機率論與泛函分析知識的建議。討論重點在於為進階機器學習研究尋找既易懂又嚴謹的學習教材。
🔬
適合機器學習的現代機率與統計學書籍推薦
這篇 Reddit 討論匯集了社群對於適合機器學習從業者的現代機率與統計學教科書推薦。討論內容涵蓋了從入門概念到機器學習直覺所需的進階數學基礎資源。
機器學習中的多變量機率模型
此教育資源涵蓋了機率機器學習系列課程的第 10 講，重點在於多變量模型。內容探討了共變異數、辛普森悖論以及高斯分佈的幾何特性。
🔬
在 LLM 時代，符號迴歸是否已過時？
此討論探討了鑑於 LLM 在程式碼生成能力的快速進步，符號迴歸（SR）是否仍具相關性。它質疑 LLM 是否能取代傳統的 SR 技術來進行模型發現。
Chinese AI Cracks 300-Year Kissing Problem
Chinese AI achieves breakthrough on Valentine's Day in the 300-year-old kissing number problem. Sets multiple dimensional records in mathematical structures. Marks rare systematic advance in the field.
Neurosymbolic AI Conquers Schauder Theory
White paper integrates nonuniform ellipticity breakthrough with topos-theoretic LRMs. Formalizes sharp Schauder estimates using ghost equations. Enables autonomous proofs in calculus of variations.
Aletheia Powers Autonomous Math Research
Aletheia is a math research agent that generates, verifies, and revises solutions using advanced Gemini Deep Think. It achieves milestones like fully AI-generated papers, human-AI collaborations, and solving four open Erdos problems. The work proposes standards for quantifying AI autonomy in math.