大家好，我是查理 我做了一個數學研究用的開源專案：ProofWeave。 它是一套專門為數學研究設計的 AI 協作工作區。即使完全不會寫程式，也能下載後直接使用：開啟資料夾、貼上自己的研究問題，AI 就會一步步協助整理定義、假設、符號、研究計畫與未解缺口。 ProofWeave 特別重視研究誠信： 🔹 證明、猜想、文獻結果與數值證據分開記錄 🔹 找不到反例，不代表已經證明 🔹 多個 AI 意見相同，也不代表結論一定正確 🔹 重要命題必須經過獨立驗證 🔹 保存失敗路線，避免重複走同一條死路 🔹 實驗設定、資料與結果都能重新檢查 🔹 預設不使用付費 API，也不會自行上傳研究內容 README 已提供繁體中文、簡體中文、英文與日文版本，並加入完全針對初學者設計的快速入門。第一次接觸的人，不需要懂 Git、Python、JSON 或 LaTeX，也可以跟著指引開始自己的數學研究。 ProofWeave的目的是讓人與 AI 的合作更透明、更嚴謹、更容易追蹤：哪些已經證實、哪些只是證據、哪些仍然不知道，都應該被誠實記錄。 歡迎試用、交流，也歡迎一起改進。 GitHub：