史丹佛輟學生打造能解決數學難題的AI

Hacker News·

前史丹佛博士生 Carina Hong 創立了 Axiom Math，旨在開發一款能解決複雜數學問題、生成證明並發現新數學知識的「AI數學家」。該公司已獲得 6400 萬美元的種子輪融資。

暫無內容

— Hacker News

相關文章

  1. 史丹佛博士輟學生招募Meta頂尖AI人才創辦AI數學新創公司

    5 個月前

  2. 這家新創公司想改變數學家的研究方式

    MIT Technology Review · 大約 1 個月前

  3. 新AI數學新創公司攻克四個先前未解難題

    Wired - AI · 3 個月前

  4. 傳奇數學家轉戰24歲創辦的AI新創公司

    5 個月前

  5. 前 Google X 三人組打造 AI「第二大腦」，獲 600 萬美元資金挹注

    Techcrunch · 8 個月前

其他收藏 · 0