日日噜夜夜草|一级黄色录像高清版|调教白富美加勒比久久|亚洲欧洲精品婷婷|日韩综合无码色色|日韩精品一区妖精视频|亚洲无码中文字幕hd|99亚洲思思丝袜|手机看片国产精品大胆亚洲|成人无码视频一区二区在线播放

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

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

任職要求

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

激勵與發(fā)展

• 股權(quán)激勵：核心成員可進(jìn)入股權(quán)池（預(yù)期價值數(shù)千萬級別，隨服務(wù)年限遞增）。
  
• 成長機(jī)會：
  
• 成為 可信 AI / 數(shù)學(xué)驗證方向的開拓者；
  
• 與美國前沿團(tuán)隊合作，主導(dǎo) CompareGPT 的數(shù)學(xué)與可信性標(biāo)準(zhǔn)化；
  
• 直接成為 聯(lián)合創(chuàng)始人 + 核心算法負(fù)責(zé)人。
  

我們在找的“你”

• 既能鉆研數(shù)學(xué)證明，也能寫出可落地的算法；
  
• 既熱愛學(xué)術(shù)探索，也希望在創(chuàng)業(yè)公司把成果快速應(yīng)用；
  
• 對“AI 的可信未來”有執(zhí)著與理想。
  

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