職位：數學研究員 / 算法工程師（聯合創始人）（居家辦公）
方向：CompareGPT「TrustWorthy · Axiom」數學驗證與可解釋性模塊
職位描述
我們正在研發 CompareGPT 的 TrustWorthy · Axiom ——面向 數學與金融 的可信驗證引擎，目標是打造可解釋、可推理、可驗證的 AI 系統。
未來的 AI 不僅要“會回答”，更要“能證明”。
我們需要一位熱愛數學與算法的伙伴，共同在 公理化證明（Axiom）、符號推理 與 AI 可驗證性 上開拓新的標準。
我們誠邀您加入創業團隊的核心管理與技術隊伍（聯合創始人），與我們攜手成長，共同邁向財務自由！
你將負責

• 核心算法設計：
  
  • 研究并實現符號推理、定理證明（如 Lean / Coq / Isabelle）與數值驗證（如 SymPy、Mathematica）相結合的方案；
    
  • 將 “大語言模型 + Axiom 驗證” 融合到可信框架中，保證結果可追溯、可審計。
    
• 可信驗證模塊：
  
  • 設計并實現 數學推理鏈（Reasoning Chain）、證明生成器、引用校驗工具；
    
  • 參與 CompareGPT 的「可信模式」建設：實現數學/金融計算中的“一致性 + 可驗證性”。
    
• 跨學科融合：
  
  • 與全棧工程師、金融專家協作，推動數學引擎與金融可信驗證模塊落地；
    
  • 將數學可驗證思路擴展到風險分析、合規報告等高價值場景。
    

任職要求

• 數學與邏輯功底：
  
  • 熟悉代數、數論、微積分、概率統計等核心數學分支；
    
  • 熟悉數理邏輯、公理系統、形式化證明工具（如 Lean / Coq / HOL / Isabelle）者優先。
    
• 編程與實現能力：
  
  • 精通 Python（SymPy、NumPy、JAX 等）；
    
  • 有 定理證明器 / SMT Solver / 自動推理 相關經驗優先；
    
  • 能與工程團隊對接，將數學邏輯轉化為可運行的服務。
    
• 研究與學習能力：
  
  • 對 LLM、數學證明生成、符號 AI 感興趣；
    
  • 愿意探索 Proof-of-Truth、可驗證 AI 的新方法。
    
• 加分項：
  
  • 有科研背景（數學 / 計算機 / AI / 金融數學 / 形式化方法）；
    
  • 發表過相關論文，或在數學建模/算法競賽中獲獎；
    
  • 對 金融風險建模、數值穩定性驗證、合規計算 有興趣。
    

激勵與發展

• 股權激勵：核心成員可進入股權池（預期價值數千萬級別，隨服務年限遞增）。
  
• 成長機會：
  
• 成為 可信 AI / 數學驗證方向的開拓者；
  
• 與美國前沿團隊合作，主導 CompareGPT 的數學與可信性標準化；
  
• 直接成為 聯合創始人 + 核心算法負責人。
  

我們在找的“你”

• 既能鉆研數學證明，也能寫出可落地的算法；
  
• 既熱愛學術探索，也希望在創業公司把成果快速應用；
  
• 對“AI 的可信未來”有執著與理想。
  

應聘方式
請將簡歷發送至UCLA的楊博士郵箱，并在郵件主題中注明：“數學研究員 / 算法工程師（聯合創始人）（居家辦公）”。
（可附論文、項目代碼、GitHub/數學證明作品集）
我們期待您的加入，共同創造智能未來！