AI的發展與應用
- Aristotle怎麼做到IMO級別
- Prover Agent的架構
Lean證明助手成為核心工具，數學家如陶哲軒預測未來人機協作模式：
人類提供直覺，AI即時形式化並驗證步驟，大幅加速可靠證明生成。
這結合AI創造性與形式系統的邏輯嚴謹，適用於抽象定理與奧林匹克競賽。 - AlphaGeometry2的幾何證明策略。
- Erdos
problem forum Ramanujan
Journal AI Forum
- IMO Kalva
Homepage Putnam
Archive
- Perplexity有那些優點
- 對[Hi DeepSeek]DeepSeek的看法:人機協作。
- 我想用AI輔助 寫一本[Spin
Geometry]筆記 附例題 習作。
- 一個私人企業 專門打造能模擬人類推理、並自動化企業工作流程的 AI 系統
:Chima
- AI視頻生成軟體 : MyEdit
威力導演(Power Director) Video
Poet
- 漫畫 Stable
Diffusion ComfyUI NVIDIA顯卡 RTX3060 12GB VRAM 12GB
...
- Gemini 幫我出了一份初微的講義 [無窮級數的收斂判斷]
包含例題 習作