AI 輔助數學研究／千禧年七大數學難題研究協作（可長期合作）

需求說明

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 形式化驗證環境，以及多階段研究成果。 本次希……..