AI 輔助數學研究／千禧年七大數學難題研究協作（可長期合作）
案件金額：100,000
- 台北市-全區
- 無
- 不拘
AI 輔助數學研究／千禧年七大數學難題研究協作（可長期合作） AI-Native Mathematical Research Lab / Scientific Reasoning Infrastructure Company 千禧年七大數學難題是公司的 Moonshot Research Program 我們正在進行一項長期的 AI 輔助數學研究計畫，目前研究成果包含黎曼猜想（Riemann Hypothesis）、解析數論、數學推理、形式化證明與 AI 輔助研究方法。 目前研究並非從零開始，已建立黎曼猜想（Riemann Hypothesis）既有研究資料、Proof Graph、數學驗證流程、AI Research Workflow、Lean 4 形式化驗證環境，以及多階段研究成果。 本次希望以「付費研究工作包」方式，尋找具數學研究、形式化證明、AI／程式研究或相關能力的專業人士協作。 本案屬於實際研究專案外包，會提供明確研究任務、既有資料與交付標準。 首階段完成良好者，希望持續委託後續研究工作包，建立長期合作關係。 依專長分配工作，不要求一個人全部具備。 A. 數學研究／理論分析 B. Lean 4／形式化數學 C. AI／程式研究工程 D. Independent Mathematical Reviewer ================= 千禧年七大數學難題 ================= > 黎曼猜想（Riemann Hypothesis） 解析數論，目前已完成 RH證明，研究論文提交數學期刊審閱中。 🔴 未解 https://ajar-secure-283.notion.site/OpenAI-Astra-has-solved-one-of-the-Millennium-Prize-Problems-the-Riemann-Hypothesis-3dabaa9ca5ec80a1a8f4e7ab9358f0b7 > P vs NP 問題 計算複雜度 🔴 未解 > Navier–Stokes 存在性與光滑性 偏微分方程 🔴 未解 > Yang–Mills 存在性與質量間隙 數學物理 🔴 未解 > Hodge 猜想 代數幾何 🔴 未解 > Birch–Swinnerton-Dyer 猜想 橢圓曲線 🔴 未解 > 龐加萊猜想（Poincaré Conjecture）🟢 已解
