第507章 數學AI的訓練 六
原因其實不難理解。在資本的邏輯里，AI的價值=用戶規模×變現能力。無論是自動駕駛、金融風控還是內容生成，這些領域都有幾億甚至幾十億的潛在用戶，市場是真實存在的藍海。
但他這個所謂的「數學AI「呢？目標用戶是全球頂尖的數學研究者，甚至還不是所有數學研究者。因為博士以下的數學問題，當前主流AI已經基本能解決個七七八八了，從高中競賽到本科泛函分析，現有模型配合檢索增強和符號計算工具，足夠應付絕大多數教學場景，完全沒必要為此重寫一個新框架。
這套架構真正服務的，是博士後、教授、頂尖研究員，是那些在偏微分方程、代數幾何、朗蘭茲綱領、解析數論深水區里摸黑打洞的人。這群頂級數學研究者的群體加起來能有多少人？其全球也許也就幾千人？退一萬步講，就算這些人全都成了付費用戶，按照B端SaaS的標準定價，一個用戶一年能貢獻多少收入？假設非常樂觀地估計，每位用戶年費100萬人民幣，1千個用戶，一年也就10億的理論天花板收入。但扣除研發和運維成本，實際利潤可能只有幾千萬。
而且這還是非常樂觀的估計，真實情況只會更慘。
要知道數學系的預算能有多少？真要花100萬一年去買這個，還不如直接多招幾個博士後來得實在。
尤其是純數學系，那經費狀況懂的都懂。隔壁生命科學買一台質譜儀幾百萬，材料學院燒一爐樣品幾十萬，計算機學院拉一批GPU像買白菜，院長們雖然心疼但還能咬牙批。可數學系呢？一塊黑板、一盒粉筆、一台咖啡機，基本就是核心生產資料了。
你跟數學系主任說：「我們這個AI一年授權費一百萬。」
對方大概率會沉默三秒，然後溫和地問你：「同學，你知道我們整個系今年的辦公經費是多少嗎？」
更要命的是，這套AI一旦真的被完善出來，數學界驗算推導的效率將呈指數級飆升。到那時候，原本用來當計算苦力的底層研究員就會面臨大規模失業，數學研究所可能反而會變少。
這就是一個商業悖論——產品越成功，市場就越萎縮。
這筆帳怎麼算，都不划算。
更要命的是沉沒成本。為了這麼點「蒼蠅肉」，去調動原本用來研發「主力模型的幾百名核心工程師？去占用那比黃金還貴的LPU算力資源？這就好比讓印鈔廠停下印鈔機，去專門給你印限量版的精美小卡片。由於主力AI產品人力縮減和算力挪用所導致的間接損失，那更是以數十億人民幣來計算的！
在如今的AI市場，這在任何一個理性的資本家眼裡，都是一筆爛到極點的買賣。
最終，那些大廠高管們只能用諸如「戰略方向不匹配「、「目前算力緊張「、「需要更多時間評估「等客套話，委婉地拒絕了徐辰的合作提議。
「哎，果然，資本都是短視的。「徐辰無奈地靠在椅背上，搖了搖頭。
兜兜轉轉，破局的希望還是落在了那個最純粹的人身上。
……
最後無奈，徐辰還是撥通了梁文鋒的電話，說了下自己的想法。
電話那頭的梁總陷入了短暫的思考，然而僅僅半分鐘後，他便乾脆利落地接受了這個提議。
「不愧是梁聖啊。」徐辰忍不住感慨。
在這個資本為了爭奪算力和市場份額已經殺紅了眼的時代，每一個還保持著「做真正有意義的事「這種念想的人，都顯得彌足珍貴。
徐辰還記得，梁總曾經專門為DeepSeek開發過一款DeepSeek-Math，雖然那只是一款用來解決中小學奧數題的過渡產品，但也足以證明他對數學邏輯在AI領域重要性的深刻認知。這不是一個只看KPI的商人，而是一個真正的技術理想主義者。
梁文鋒這種人，在商業世界裡其實挺稀有的。大多數創業者嘴上都說「改變世界」，融資PPT里寫滿「AGI」「星辰大海」「人類未來」，但真正要他們拿幾億資源去做一個短期不賺錢、還很可能被同行嘲笑為「學術玩具」的項目時，十個有九個會瞬間冷靜下來，開始談ROI、談現金流、談董事會壓力。
梁文鋒不一樣。這個人骨子裡有一種技術潔癖。他會在別人忙著做營銷的時候，蹲在底層架構里摳算子效率；會在全行業都去追逐通用聊天助手時，硬是抽出團隊做DeepSeek-Math這種看起來不性感的東西。某種意義上，他和徐辰是一類人。只不過徐辰是在數學裡追求絕對真理，梁文鋒是在工程里追求極致優雅。
一個想造能證明千禧難題的數學AI，一個想看看AI邏輯推理的極限到底在哪裡。
這倆人湊到一起，不能說商業上一定賺錢，但學術界和AI界肯定要有人睡不著覺了。
雙方很快就約定了見面時間時間。梁文鋒此時在杭州的DeepSeek總部，但恰好下周要到北京的分公司視察，兩人一拍即合，決定在北京當面詳談。
……
和梁文鋒約好下周在北京總部見面後，徐辰看了看日曆，接下來這幾天正好有個空檔期。
「來都來了，總不能一直在機房裡窩著。」
徐辰伸了個懶腰，走出超算中心。自己好歹也是雁棲湖應用數學研究院的正牌院長，雖然日常事務全權委託給了劉正偉，但既然難得回一趟「大本營」，於情於理都該去院裡轉轉，了解一下目前的研究員生態，看看有什麼需要自己這位大院長出面解決的問題。
不過，徐辰並不打算搞那種興師動眾的官方視察。
他提前給劉正偉打了個電話，要來了一份院裡常駐專家的電子花名冊，先在手機上快速過了兩遍。畢竟院裡藏龍臥虎，萬一待會兒遇到哪位學術界的老前輩，自己卻叫不出名字，那可就太尷尬了。
在電話里，劉正偉本想安排幾個主任陪同，卻被徐辰果斷拒絕了。
「別別別，劉院長，千萬別發什麼官方通知。搞數學的平時都在閉關憋大招，精神本來就脆弱。我這要是帶著一幫人突然推門進去，搞得興師動眾的，人家還以為新院長新官上任三把火，來查實驗室經費了呢。」徐辰在電話里半開玩笑地調侃道。
這種事在學術圈可不少見。很多行政領導一去視察，底下的人就得停下手頭的活兒，打掃衛生、準備PPT匯報。對於把時間看得比命還重的數學家來說，這簡直就是一場災難。
按照以前在法國高等科學研究所（IHES）交流時的經驗，徐辰決定採用最傳統的學術破冰方式——去休閒區喝下午茶，一切隨緣。
……
但他這個所謂的「數學AI「呢？目標用戶是全球頂尖的數學研究者，甚至還不是所有數學研究者。因為博士以下的數學問題，當前主流AI已經基本能解決個七七八八了，從高中競賽到本科泛函分析，現有模型配合檢索增強和符號計算工具，足夠應付絕大多數教學場景，完全沒必要為此重寫一個新框架。
這套架構真正服務的，是博士後、教授、頂尖研究員，是那些在偏微分方程、代數幾何、朗蘭茲綱領、解析數論深水區里摸黑打洞的人。這群頂級數學研究者的群體加起來能有多少人？其全球也許也就幾千人？退一萬步講，就算這些人全都成了付費用戶，按照B端SaaS的標準定價，一個用戶一年能貢獻多少收入？假設非常樂觀地估計，每位用戶年費100萬人民幣，1千個用戶，一年也就10億的理論天花板收入。但扣除研發和運維成本，實際利潤可能只有幾千萬。
而且這還是非常樂觀的估計，真實情況只會更慘。
要知道數學系的預算能有多少？真要花100萬一年去買這個，還不如直接多招幾個博士後來得實在。
尤其是純數學系，那經費狀況懂的都懂。隔壁生命科學買一台質譜儀幾百萬，材料學院燒一爐樣品幾十萬，計算機學院拉一批GPU像買白菜，院長們雖然心疼但還能咬牙批。可數學系呢？一塊黑板、一盒粉筆、一台咖啡機，基本就是核心生產資料了。
你跟數學系主任說：「我們這個AI一年授權費一百萬。」
對方大概率會沉默三秒，然後溫和地問你：「同學，你知道我們整個系今年的辦公經費是多少嗎？」
更要命的是，這套AI一旦真的被完善出來，數學界驗算推導的效率將呈指數級飆升。到那時候，原本用來當計算苦力的底層研究員就會面臨大規模失業，數學研究所可能反而會變少。
這就是一個商業悖論——產品越成功，市場就越萎縮。
這筆帳怎麼算，都不划算。
更要命的是沉沒成本。為了這麼點「蒼蠅肉」，去調動原本用來研發「主力模型的幾百名核心工程師？去占用那比黃金還貴的LPU算力資源？這就好比讓印鈔廠停下印鈔機，去專門給你印限量版的精美小卡片。由於主力AI產品人力縮減和算力挪用所導致的間接損失，那更是以數十億人民幣來計算的！
在如今的AI市場，這在任何一個理性的資本家眼裡，都是一筆爛到極點的買賣。
最終，那些大廠高管們只能用諸如「戰略方向不匹配「、「目前算力緊張「、「需要更多時間評估「等客套話，委婉地拒絕了徐辰的合作提議。
「哎，果然，資本都是短視的。「徐辰無奈地靠在椅背上，搖了搖頭。
兜兜轉轉，破局的希望還是落在了那個最純粹的人身上。
……
最後無奈，徐辰還是撥通了梁文鋒的電話，說了下自己的想法。
電話那頭的梁總陷入了短暫的思考，然而僅僅半分鐘後，他便乾脆利落地接受了這個提議。
「不愧是梁聖啊。」徐辰忍不住感慨。
在這個資本為了爭奪算力和市場份額已經殺紅了眼的時代，每一個還保持著「做真正有意義的事「這種念想的人，都顯得彌足珍貴。
徐辰還記得，梁總曾經專門為DeepSeek開發過一款DeepSeek-Math，雖然那只是一款用來解決中小學奧數題的過渡產品，但也足以證明他對數學邏輯在AI領域重要性的深刻認知。這不是一個只看KPI的商人，而是一個真正的技術理想主義者。
梁文鋒這種人，在商業世界裡其實挺稀有的。大多數創業者嘴上都說「改變世界」，融資PPT里寫滿「AGI」「星辰大海」「人類未來」，但真正要他們拿幾億資源去做一個短期不賺錢、還很可能被同行嘲笑為「學術玩具」的項目時，十個有九個會瞬間冷靜下來，開始談ROI、談現金流、談董事會壓力。
梁文鋒不一樣。這個人骨子裡有一種技術潔癖。他會在別人忙著做營銷的時候，蹲在底層架構里摳算子效率；會在全行業都去追逐通用聊天助手時，硬是抽出團隊做DeepSeek-Math這種看起來不性感的東西。某種意義上，他和徐辰是一類人。只不過徐辰是在數學裡追求絕對真理，梁文鋒是在工程里追求極致優雅。
一個想造能證明千禧難題的數學AI，一個想看看AI邏輯推理的極限到底在哪裡。
這倆人湊到一起，不能說商業上一定賺錢，但學術界和AI界肯定要有人睡不著覺了。
雙方很快就約定了見面時間時間。梁文鋒此時在杭州的DeepSeek總部，但恰好下周要到北京的分公司視察，兩人一拍即合，決定在北京當面詳談。
……
和梁文鋒約好下周在北京總部見面後，徐辰看了看日曆，接下來這幾天正好有個空檔期。
「來都來了，總不能一直在機房裡窩著。」
徐辰伸了個懶腰，走出超算中心。自己好歹也是雁棲湖應用數學研究院的正牌院長，雖然日常事務全權委託給了劉正偉，但既然難得回一趟「大本營」，於情於理都該去院裡轉轉，了解一下目前的研究員生態，看看有什麼需要自己這位大院長出面解決的問題。
不過，徐辰並不打算搞那種興師動眾的官方視察。
他提前給劉正偉打了個電話，要來了一份院裡常駐專家的電子花名冊，先在手機上快速過了兩遍。畢竟院裡藏龍臥虎，萬一待會兒遇到哪位學術界的老前輩，自己卻叫不出名字，那可就太尷尬了。
在電話里，劉正偉本想安排幾個主任陪同，卻被徐辰果斷拒絕了。
「別別別，劉院長，千萬別發什麼官方通知。搞數學的平時都在閉關憋大招，精神本來就脆弱。我這要是帶著一幫人突然推門進去，搞得興師動眾的，人家還以為新院長新官上任三把火，來查實驗室經費了呢。」徐辰在電話里半開玩笑地調侃道。
這種事在學術圈可不少見。很多行政領導一去視察，底下的人就得停下手頭的活兒，打掃衛生、準備PPT匯報。對於把時間看得比命還重的數學家來說，這簡直就是一場災難。
按照以前在法國高等科學研究所（IHES）交流時的經驗，徐辰決定採用最傳統的學術破冰方式——去休閒區喝下午茶，一切隨緣。
……