AI的發展與應用
- Tao promote Lean4 Ramanujan
Journal AI Forum
[Erdos
problems website]
- Prover Agent的架構
Lean證明助手成為核心工具，數學家如陶哲軒預測未來人機協作模式：
人類提供直覺，AI即時形式化並驗證步驟，大幅加速可靠證明生成。
這結合AI創造性與形式系統的邏輯嚴謹，適用於抽象定理與奧林匹克競賽。
- [Harmonic]
Aristotle:而是專注於 可證明的邏輯與正式數學證明 的推理工具。
- AI輔助Dirac與Laplacian算子譜分析進展顯著，如AlphaGeometry系統解決奧林匹克幾何難題（IMO-AG-30集25/30題），結合神經符號架構生成可驗證證明，接近銅牌水平。 在幾何分析中，此類模型正探索自旋結構與Morse指數定理的自動推導，連結譜理論至物理模擬。[AlphaGeometry2的幾何證明策略。]
- IMO Kalva
Homepage Putnam
Archive
- 2021/12的一個[分析題目]
與[散度定理]有關
- 薛丁格方程
習題解答
- 檔案整合 (1)SO(3)
(2)Dirac
Operator (3)Frobenius定理
- Cigar
Soliton [Curvature]
- 一個與連分數有關的故事 Modular
Forms
- Poincare half-plane上的平行移動
一個ODE
- 關於Green
function method
- 與DeepSeek的對話 : Poincare不等式
- 我想用AI輔助 寫一本[Spin
Geometry]筆記 附例題 習作。
- 一個私人企業 專門打造能模擬人類推理、並自動化企業工作流程的 AI 系統
:Chima
- AI視頻生成軟體 : MyEdit
威力導演(Power Director) Video
Poet
- 漫畫 Stable
Diffusion ComfyUI NVIDIA顯卡 RTX3060 12GB VRAM 12GB
...
- 對於由種子解生成新解 數學的嚴肅性有何評價 [資料]
[中文原檔] [附表1]
- 離散可積系統 超立方圖的Dirichlet問題 (譜理論) 傳播季刊
49卷 4期
- Prism 支援LaTax的免費工作區---科學寫作新標準
- Humans & 更具互動性的AI