AI的發展與應用
- Aristotle怎麼做到IMO級別
- Prover Agent的架構
Lean證明助手成為核心工具，數學家如陶哲軒預測未來人機協作模式：
人類提供直覺，AI即時形式化並驗證步驟，大幅加速可靠證明生成。
這結合AI創造性與形式系統的邏輯嚴謹，適用於抽象定理與奧林匹克競賽。 - AlphaGeometry2的幾何證明策略。
- Ramanujan
Journal AI Forum
[Erdos
problems website]
- 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]筆記 附例題 習作。
- Perplexity有那些優點
- 一個私人企業 專門打造能模擬人類推理、並自動化企業工作流程的 AI 系統
:Chima
- AI視頻生成軟體 : MyEdit
威力導演(Power Director) Video
Poet
- 漫畫 Stable
Diffusion ComfyUI NVIDIA顯卡 RTX3060 12GB VRAM 12GB
...
- 對於由種子解生成新解 數學的嚴肅性有何評價 [資料]
[中文原檔] [附表1]
- 離散可積系統 超立方圖的Dirichlet問題 (譜理論) 傳播季刊
49卷 4期
- Prism 支援LaTax的免費工作區---科學寫作新標準