又一AI独角兽诞生，0收入拿下8亿融资，斯坦福博士创办

智东西2025-11-26

编译 | 王欣逸编辑 | 程茜智东西11月26日消息，今日，美国AI数学推理创企Harmonic宣布完成了1.2亿美元（约合人民币8.5亿元）的C轮融资，估值达到14.5亿美元（约合人民币102.7亿元），跃升独角兽行列，目前尚未产生收入。本轮融资由Ribbit Capital领投，红杉资本、Kleiner Perkins以及爱默生基金会参投。新融资的大部分资金将用于支持其模型训练所需的巨大算力，...

网页链接

免责声明：本文观点仅代表作者个人观点，不构成本平台的投资建议，本平台不对文章信息准确性、完整性和及时性做出任何保证，亦不对因使用或信赖文章信息引发的任何损失承担责任。

精彩评论

我们需要你的真知灼见来填补这片空白

发表看法

{"i18n":{"language":"zh_CN"},"isChannel":false,"data":{"share":"https://www.laohu8.com/m/news/2586825735?lang=zh_CN&edition=full","thumbnail":"","is_english":false,"pubTime":"2025-11-26 19:57","share_image_url":"https://static.laohu8.com/e9f99090a1c2ed51c021029395664489","id":"2586825735","market":"sh","top_or_hot":-1,"title":"又一AI独角兽诞生，0收入拿下8亿融资，斯坦福博士创办","media":"智东西","content":"<div>\n<p>编译 | 王欣逸编辑 | 程茜智东西11月26日消息，今日，美国AI数学推理创企Harmonic宣布完成了1.2亿美元（约合人民币8.5亿元）的C轮融资，估值达到14.5亿美元（约合人民币102.7亿元），跃升独角兽行列，目前尚未产生收入。本轮融资由Ribbit Capital领投，红杉资本、Kleiner Perkins以及爱默生基金会参投。新融资的大部分资金将用于支持其模型训练所需的巨大算力，...</p>\n\n<a href=\"https://tech.ifeng.com/c/8obRqY7KGXj\">网页链接</a>\n\n</div>\n","source":"fenghuang_stock","html":"<!DOCTYPE html>\n<html>\n<head>\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n<meta name=\"viewport\" content=\"width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0,user-scalable=no\"/>\n<meta name=\"format-detection\" content=\"telephone=no,email=no,address=no\" />\n<title>又一AI独角兽诞生，0收入拿下8亿融资，斯坦福博士创办</title>\n<style type=\"text/css\">\na,abbr,acronym,address,applet,article,aside,audio,b,big,blockquote,body,canvas,caption,center,cite,code,dd,del,details,dfn,div,dl,dt,\nem,embed,fieldset,figcaption,figure,footer,form,h1,h2,h3,h4,h5,h6,header,hgroup,html,i,iframe,img,ins,kbd,label,legend,li,mark,menu,nav,\nobject,ol,output,p,pre,q,ruby,s,samp,section,small,span,strike,strong,sub,summary,sup,table,tbody,td,tfoot,th,thead,time,tr,tt,u,ul,var,video{ font:inherit;margin:0;padding:0;vertical-align:baseline;border:0 }\nbody{ font-size:16px; line-height:1.5; color:#999; background:transparent; }\n.wrapper{ overflow:hidden;word-break:break-all;padding:10px; }\nh1,h2{ font-weight:normal; line-height:1.35; margin-bottom:.6em; }\nh3,h4,h5,h6{ line-height:1.35; margin-bottom:1em; }\nh1{ font-size:24px; }\nh2{ font-size:20px; }\nh3{ font-size:18px; }\nh4{ font-size:16px; }\nh5{ font-size:14px; }\nh6{ font-size:12px; }\np,ul,ol,blockquote,dl,table{ margin:1.2em 0; }\nul,ol{ margin-left:2em; }\nul{ list-style:disc; }\nol{ list-style:decimal; }\nli,li p{ margin:10px 0;}\nimg{ max-width:100%;display:block;margin:0 auto 1em; }\nblockquote{ color:#B5B2B1; border-left:3px solid #aaa; padding:1em; }\nstrong,b{font-weight:bold;}\nem,i{font-style:italic;}\ntable{ width:100%;border-collapse:collapse;border-spacing:1px;margin:1em 0;font-size:.9em; }\nth,td{ padding:5px;text-align:left;border:1px solid #aaa; }\nth{ font-weight:bold;background:#5d5d5d; }\n.symbol-link{font-weight:bold;}\n/* header{ border-bottom:1px solid #494756; } */\n.title{ margin:0 0 8px;line-height:1.3;color:#ddd; }\n.meta {color:#5e5c6d;font-size:13px;margin:0 0 .5em; }\na{text-decoration:none; color:#2a4b87;}\n.meta .head { display: inline-block; overflow: hidden}\n.head .h-thumb { width: 30px; height: 30px; margin: 0; padding: 0; border-radius: 50%; float: left;}\n.head .h-content { margin: 0; padding: 0 0 0 9px; float: left;}\n.head .h-name {font-size: 13px; color: #eee; margin: 0;}\n.head .h-time {font-size: 11px; color: #7E829C; margin: 0;line-height: 11px;}\n.small {font-size: 12.5px; display: inline-block; transform: scale(0.9); -webkit-transform: scale(0.9); transform-origin: left; -webkit-transform-origin: left;}\n.smaller {font-size: 12.5px; display: inline-block; transform: scale(0.8); -webkit-transform: scale(0.8); transform-origin: left; -webkit-transform-origin: left;}\n.bt-text {font-size: 12px;margin: 1.5em 0 0 0}\n.bt-text p {margin: 0}\n</style>\n</head>\n<body>\n<div class=\"wrapper\">\n<header>\n<h2 class=\"title\">\n又一AI独角兽诞生，0收入拿下8亿融资，斯坦福博士创办\n</h2>\n\n<h4 class=\"meta\">\n\n\n2025-11-26 19:57 北京时间&nbsp;&nbsp;&nbsp;<a href=https://tech.ifeng.com/c/8obRqY7KGXj><strong>智东西</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>编译 | 王欣逸编辑 | 程茜智东西11月26日消息，今日，美国AI数学推理创企Harmonic宣布完成了1.2亿美元（约合人民币8.5亿元）的C轮融资，估值达到14.5亿美元（约合人民币102.7亿元），跃升独角兽行列，目前尚未产生收入。本轮融资由Ribbit Capital领投，红杉资本、Kleiner Perkins以及爱默生基金会参投。新融资的大部分资金将用于支持其模型训练所需的巨大算力，...</p>\n\n<a href=\"https://tech.ifeng.com/c/8obRqY7KGXj\">网页链接</a>\n\n</div>\n\n\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"BK4023","symbol_name":"应用软件","start_time":0,"source_url":"https://tech.ifeng.com/c/8obRqY7KGXj","article_id":"2586825735","we_media_id":null,"thumbnails":[],"rights":null,"url":"https://stock-news.laohu8.com/highlight/detail?id=2586825735","pubTimestamp":1764158260,"columns":[],"sourceInfo":{"source_id":"fenghuang_stock","name":"凤凰网"},"weMediaInfo":null,"summary":"编译 | 王欣逸编辑 | 程茜智东西11月26日消息，今日，美国AI数学推理创企Harmonic宣布完成了1.2亿美元的C轮融资，估值达到14.5亿美元，跃升独角兽行列，目前尚未产生收入。Harmonic成立于2023年，主要产品是用于数学推理的AI模型Aristotle。另一位联合创始人特涅夫现任Harmonic执行主席，本硕先后就读于斯坦福大学和加州大学洛杉矶分校，他兼任美国金融科技公司Robinhood Markets联合创始人、董事长兼首席执行官。","collect":0,"end_time":0,"defaultTopTitle":"ifeng.com","property":[],"viewcount":null,"language":"zh","relate_stocks":{"BK4023":"应用软件","BK4543":"AI","AI":"C3.ai, Inc.","BK4551":"寇图资本持仓","BK4588":"碎股","BK4587":"ChatGPT概念","IMO":"帝国石油","BK4528":"SaaS概念","BK4201":"综合性石油与天然气企业","BK4585":"ETF&股票定投概念"},"translate_title":"Another AI unicorn was born, with 0 revenue and 800 million financing, founded by Dr. Stanford","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"AI":0.89,"IMO":1},"content_text":"编译 | 王欣逸编辑 | 程茜智东西11月26日消息，今日，美国AI数学推理创企Harmonic宣布完成了1.2亿美元（约合人民币8.5亿元）的C轮融资，估值达到14.5亿美元（约合人民币102.7亿元），跃升独角兽行列，目前尚未产生收入。本轮融资由Ribbit Capital领投，红杉资本、Kleiner Perkins以及爱默生基金会参投。新融资的大部分资金将用于支持其模型训练所需的巨大算力，以推动下一阶段研发。Harmonic成立于2023年，主要产品是用于数学推理的AI模型Aristotle。该公司此前完成两轮融资：2024年9月，Harmonic完成由红杉资本领投的7500万美元（约合人民币5.31亿元）A轮融资；今年7月，该公司再次完成1亿美元（约合人民币7.08亿元）B轮融资，公司估值达到8.75亿美元（约合人民币72亿元）。该公司由图多尔·阿希姆（Tudor Achim）和弗拉德·特涅夫（Vlad Tenev）联合创办。联合创始人兼首席执行官阿希姆博士毕业于斯坦福大学，专攻计算机科学技术，曾联合创办美国自动驾驶创企Helm.ai，并担任其首席技术官。另一位联合创始人特涅夫现任Harmonic执行主席，本硕先后就读于斯坦福大学和加州大学洛杉矶分校，他兼任美国金融科技公司Robinhood Markets联合创始人、董事长兼首席执行官。特涅夫（左）和阿希姆（右）（图源：Harmonic）Harmonic自称正在建立世界上最先进的数学推理引擎，目标是打造数学超级智能（Mathematical Superintelligence，MSI），该公司推出了其旗舰AI数学推理模型Aristotle。Aristotle能把用自然语言输入的数学题转化为数学公式、计算机代码等形式化语言，并用编程语言Lean4输出推理过程，这些推理过程可以被机器验证。Harmonic认为，这种“可机器验证”的逻辑有助于消除幻觉和事实错误。今年7月，Harmonic在社交平台X上官宣称，Aristotle模型在国际数学奥林匹克竞赛（IMO）中取得了金牌级别的成绩，成为首个在该比赛中，对六道题中的五道题给出可被形式化验证解答的模型，相关证明公开发布在了Github上。Aristotle背后的支撑系统主要包括Yuclid和Newclid 3.0。Yuclid是Harmonic内部开发的AI几何证明系统，用于生成可形式化验证的几何证明；Newclid 3.0是在平面几何问题求解开源项目Newclid的基础上升级的自动化几何定理系统，为Aristotle的数学推理能力提供核心支撑。外媒BusinessWire报道，上周，Harmonic还对Aristotle模型及其交互平台进行了升级，新增对自然英语输入的支持、自动引理生成功能，以及更加简化的终端界面。Aristotle模型已通过API向开发者开放，Harmonic还宣布推出了iOS和Android的测试版本App。结语：资本看好提升AI准确性和可靠性技术据路透社报道，Harmonic在7月国际数学奥林匹克竞赛的亮眼成绩吸引了投资者的关注，资本市场对提升AI准确性和可靠性的技术兴趣浓厚。Harmonic通过Aristotle模型及其配套系统的持续升级，提升了AI在数学推理与形式化验证领域的能力，其取得的一系列成果，也验证了自动化数学推理和形式化验证的技术有效性。特涅夫称：“Harmonic的进展表明，MSI正加速数学及其他定量领域的发展，我们已经能够预见AI推理与形式化验证全面融合的未来。”","kind":"news","is_publish_news":true,"is_publish_highlight":false,"is_publish_live":false,"is_publish_wemedia":null,"editions":null,"column":"","sentiment":"1","news_tag":"","news_rank":0,"symbols":[],"gpt_button":1,"need_auth":false,"code":"91000000","status":"200"},"commentList":[],"isCommentEnd":true,"newsSizeData":{"likeSize":0,"commentSize":0,"repostSize":0,"favoriteSize":0,"likeStatus":false,"favoriteStatus":false},"APP":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","isDev":false,"isTTM":false,"tenantId":"TBCN","deviceId":"web-server-community-laohu8-v3","version":"4.36.2","shortVersion":"4.36.2","platform":"web","vendor":"web","appName":"laohu8","isIOS":false,"isAndroid":false,"isTiger":false,"isTHS":false,"isWeiXin":false,"isWeiXinMini":false,"isWeiBo":false,"isQQ":false,"isBaiduSwan":false,"isBaiduBox":false,"isDingTalk":false,"isToutiao":false,"isOnePlus":false,"isHuaWei":false,"isXiaomi":false,"isXiaomiWebView":false,"isOppo":false,"isVivo":false,"isSamsung":false,"isMobile":false},"href":"/m/news/2586825735","isCrawlerRequest":true}