美团又开源!专攻数学定理证明,能模拟人类解题,刷新多项开源SOTA

美团又开源!专攻数学定理证明,能模拟人类解题,刷新多项开源SOTA
智东西 编译 | 陈佳 编辑 | 程茜 智东西3月25日消息,昨日,美团龙猫(LongCat)团队发布专门了用于数学形式化与定理证明模型LongCat-Flash-Prover的背后技术栈。该模型已于3月20日全面开源。 LongCat-Flash-Prover将复杂的定理证明过程拆解为三个步骤:先将自然语言问题转化为可验证的形式化表达,再生成结构化的证明...
2026年03月25日,13时31分 科技新知 阅读 23 views 次

全球石油美元体系:生于1974 落于2026?

全球石油美元体系:生于1974 落于2026?
在过去几周,本轮美伊冲突可以说已对全球金融市场产生了天翻地覆的影响。不过,由于美元指数几乎与油价同步向上破百,此轮地缘危局对全球石油美元体系的影响,一直相对较少有人提及。而在战事步入第四周,霍尔木兹海峡依然长期处于封锁之际,周二终于有大型投行注意到了这一点…… 德意志银行策略师Mallika Sachdeva在最新...
2026年03月25日,12时20分 机构观点 阅读 27 views 次

两周净值回撤近15%?百亿量化私募明汯投资宏观策略产品疑似“翻车”

两周净值回撤近15%?百亿量化私募明汯投资宏观策略产品疑似“翻车”
近日,部分网友在社交平台上称,所购知名百亿量化私募明汯投资旗下的部分宏观策略产品近期净值出现较大幅度的回撤。 界面新闻注意到,相关截图显示,截至3月23日,“明汯宏观谷秋2号2期”的累计净值为0.8054,相较于3月9日更新的上一期累计净值0.9441,大约两周时间净值回撤达14.69%,而同期沪深300指数跌幅仅为4.28%。 中...
2026年03月25日,12时14分 机构观点 阅读 25 views 次

亚太市场全线大涨!霍尔木兹海峡传来新消息

亚太市场全线大涨!霍尔木兹海峡传来新消息
全线上涨! 3月25日早间,亚太市场全线上涨。截至发稿,日经225指数上涨2.81%,韩国KOSPI指数上涨2.72%,澳大利亚标普200指数涨1.66%。 黄金、白银价格也继续走高。现货黄金日内上涨1.72%,报4549美元/盎司;现货白银涨超2%,报72.83美元/盎司。 此前有消息称,美国向伊朗提出一份包含15项内容的停战方案。美国有意...
2026年03月25日,11时42分 机构观点 阅读 36 views 次

对话雷凌:全球化最大的陷阱,是成功经验的幻觉

对话雷凌:全球化最大的陷阱,是成功经验的幻觉
文 | 霞光社,作者|李小天 欧洲,当之无愧的全球品牌高地。 这里拥有全球最挑剔的消费群体,他们不只追求质价比,更愿意为品牌故事、环保理念与设计质感买单;这里坚守最成熟的商业逻辑,百货、商超、电商与线下连锁均青睐长期主义品牌,高举高打的野蛮扩张难以立足,高复购、高毛利、长生命周期才是立足之本;这里执...
2026年03月25日,11时20分 科技新知 阅读 34 views 次

哈佛教授收了个AI研究生:干活猛得像学霸,撒谎精得像学渣

哈佛教授收了个AI研究生:干活猛得像学霸,撒谎精得像学渣
文 | 硅基星芒 让AI搞科研,在这个智能体时代已经不是一件新鲜事。 从Sakana AI发布覆盖整个研究生命周期的自动化系统,到Google推出基于Gemini的AI联合科学家,规模化法则告诉人们,只要给AI提供足够的算力,它就能在海量数据和实验中提炼出新的科学发现。 在数学领域,这一点已经被充分验证,比如拿到国际奥数金牌标...
2026年03月25日,11时42分 科技新知 阅读 31 views 次

武汉,涨疯了

武汉,涨疯了
文 | 华商韬略 短短1年时间,烽火通信、光迅科技的市值从200来亿涨到七八百亿,华工科技的市值从200多亿飙升到超千亿、长飞光纤的市值更从200多亿飙到2000多亿,还有预计会成为近年来中国科技领域规模最大IPO的长江存储…… 当全球AI浪潮汹涌而至,算力成为大国科技角力场。武汉,这座在比一根头发丝还细...
2026年03月25日,11时50分 科技新知 阅读 33 views 次

70元一个包子,迪士尼真正的问题不是贵

70元一个包子,迪士尼真正的问题不是贵
文 | 寻空的营销启示录 最近,上海迪士尼乐园又一次因为价格上了热搜。 起因很简单,一个标价70元的米妮造型包子,被游客拍下发到网上。画面里,这颗顶着米妮蝴蝶结造型的十周年限定蒸包,搭配几片薯片,摇身一变成了70元的“天价套餐”。于是评论区迅速被“镶金了吗”“这也值70?”这...
2026年03月25日,10时22分 科技新知 阅读 29 views 次

张雪峰走了 ,留下了一个所有人都将面对的“张雪峰困境”

张雪峰走了 ,留下了一个所有人都将面对的“张雪峰困境”
文 | 冷眼观天 2026年3月24日,41岁的张雪峰因心源性猝死离世。消息传来,全网震动。 一个曾经帮无数家庭“逆天改命”的人,没能给自己改命。 张雪峰全网账号的头像齐齐变灰,好像一排熄灭的灯。社交媒体上,人们一边悼念,一边翻出一堆视频中网友对他的预测:比如有网友在张雪峰直播时指出,他嘴唇发紫,最...
2026年03月25日,10时48分 科技新知 阅读 40 views 次

消息称微软Xbox新掌门拟推低价Game Pass订阅,并尝试捆绑Netflix

消息称微软Xbox新掌门拟推低价Game Pass订阅,并尝试捆绑Netflix
IT之家 3 月 25 日消息,据 The Information 报道,Xbox 新任负责人、微软游戏业务首席执行官 Asha Sharma 正在寻求兑现她“让 Xbox 回归”的承诺。 其策略之一是让 Xbox Game Pass 及整个品牌“对更广泛的用户群体更具吸引力”,具体方向则是尝试“推出更低价格的订阅层级”。 另外,Sharma 的计划并不仅限于降价。报道还称...
2026年03月25日,10时36分 科技新知 阅读 26 views 次

一部虚环半部v圈,《虚环》首测,神人二游真的来了?

一部虚环半部v圈,《虚环》首测,神人二游真的来了?
文 | 游戏价值论 原本一月首测的《虚环》在发布延期公告后,3月24日终于进行了首测。 距离上次21分钟的实机演示已经时隔七个多月。正如pv开篇所说,本游戏根据真实故事改编。即国内虚拟主播的一些真实事件。 神人v圈的故事怎么做成游戏的? 还记得开年最火的动漫《超时空辉夜姬!(2026)》也是一个关于千年虚拟...
2026年03月25日,10时41分 科技新知 阅读 26 views 次

突发!Sora 宣布关停,史上最贵 AI 表情包生成器只撑了七个月

突发!Sora 宣布关停,史上最贵 AI 表情包生成器只撑了七个月
去年 9 月底,Sora 2 上线的第一天,OpenAI CEO Sam Altman(山姆·奥特曼)就把自己的 cameo 权限向所有人开放。很快,他被做成各种荒诞 AI 表情包在社交媒体疯传。 网友玩得不亦乐乎,社交媒体上「AI 视频元年」的口号铺天盖地。 七个月后,他亲手签下 Sora 的死亡通知书。 ▲网友还是懂玩梗的 据《华尔街日报》...
2026年03月25日,09时20分 科技新知 阅读 27 views 次

小鹏汽车靠技术输出站上转折点

小鹏汽车靠技术输出站上转折点
文 | 节点AI,作者 | 杨雪健 “小鹏汽车正处在物理AI应用的历史性转折点。”小鹏汽车董事长兼CEO何小鹏如是表示。2026年3月20日晚间,小鹏汽车(09868.HK/XPEV.US)正式发布2025年全年财务数据,这份财报也成为其转型节点的重要答卷。 多项指标增长,全年净利仍亏损 数据显示,2025年全年小鹏汽车总交付量为...
2026年03月25日,09时11分 科技新知 阅读 27 views 次

CEO更迭在即:苹果的未来,不能靠“第二个库克”

CEO更迭在即:苹果的未来,不能靠“第二个库克”
文 | 识礁Farsight 公司创办五十周年之际,苹果正准备告别“库克时代”。 据彭博社报道,2026年2月初举办的苹果全体员工大会上,谈及近期的高管离职潮,苹果CEO蒂姆·库克解释称,这些变动经过精心安排,“并非突发状况”。 图源:Apple “到了某个年纪,有些人就会退休,这是很自然的...
2026年03月25日,09时52分 科技新知 阅读 30 views 次

小米卢伟冰:AI手机不是“PPT手机” 5年后人形机器人可批量小米工厂落地

小米卢伟冰:AI手机不是“PPT手机” 5年后人形机器人可批量小米工厂落地
小米集团去年总收入和经调整净利润均创历史新高,汽车等创新业务收入首破千亿大关。 3月24日,小米集团(1810.HK)发布2025年全年业绩公告,2025年总收入达4573亿元,同比增长25%;经调整净利润392亿元,同比大增43.8%,均创历史新高。 其中,2025年第四季度,小米集团总收入为1169亿元,创历史新高,同比增长7.3%,收...
2026年03月25日,09时23分 机构观点 阅读 30 views 次

小米汽车公布车辆碰撞检测专利:自动通知救援联系车主

小米汽车公布车辆碰撞检测专利:自动通知救援联系车主
【CNMO科技消息】3月25日,CNMO注意到,根据天眼查知识产权信息显示,小米汽车科技有限公司申请的 “车辆碰撞检测方法、装置、车辆、服务器和系统” 专利正式公布。该专利旨在通过分层式碰撞识别策略,精准识别碰撞事件并迅速采取响应措施,有效提升车辆安全性和应急处理能力。 小米汽车 根据专利摘要,该车辆碰撞检测方...
2026年03月25日,09时39分 科技新知 阅读 39 views 次

千亿地平线,离盈利还有多远?

千亿地平线,离盈利还有多远?
文 | AIX财经,作者 | 雷晶,编辑 | 金玙璠 3月19日,智驾科技企业地平线发布2025年度业绩。 全年营收37.6亿元,同比增长57.7%;但收入规模扩大没有转化为盈利,剔除优先股及其他金融负债公允价值变动等非现金项目,经调整净亏损仍为28.1亿元,同比扩大67.3%。 财报发布当天,其股价下跌3.1%,报收7.3港元,总市值约10...
2026年03月25日,09时09分 科技新知 阅读 30 views 次

上线仅6个月,Sora关停独立App、迪士尼10亿美元撤资:OpenAI的路线为何转向?

上线仅6个月,Sora关停独立App、迪士尼10亿美元撤资:OpenAI的路线为何转向?
高调上线六个月后,OpenAI 的视频生成产品 Sora 迎来了一次重大的战略路线调整。 根据最新消息,OpenAI 计划关停 Sora 独立应用程序及面向开发者的 API 服务。同时,迪士尼也将退出去年与 OpenAI 达成的 10 亿美元投资与 IP 授权协议。 在笔者看来,这并非 OpenAI 在视频生成赛道上的技术后退,而是一场回归商业本质的...
2026年03月25日,09时00分 科技新知 阅读 36 views 次

盘前必读丨银行密集发布贵金属风险提示;理想汽车宣布10亿美元股票回购计划

盘前必读丨银行密集发布贵金属风险提示;理想汽车宣布10亿美元股票回购计划
【财经日历】 2026中关村论坛年会(北京,3/25-3/29) 日本央行公布1月货币政策会议纪要 上海国际半导体展览会(3/25-3/27) 第十六届中国国际清洁能源博览会(北京,3/25-3/27) 2026中国商用车论坛(湖北十堰,3/25-3/27) 五矿商会举办稀土和稀有金属出口政策及形势说明会 第十一届钙钛矿与叠层电池(长三角)产业化论坛暨首届...
2026年03月25日,08时37分 国内动态 阅读 34 views 次

【钛晨报】5000亿元!央行今日出手,继续加量续作;激进方案遇挫,OpenClaw版本升级“翻车”;金价高位回调,周大福暂缓“一口价”产品调价

【钛晨报】5000亿元!央行今日出手,继续加量续作;激进方案遇挫,OpenClaw版本升级“翻车”;金价高位回调,周大福暂缓“一口价”产品调价
【钛媒体综合】据商务部网站消息,3月23日,商务部部长王文涛会见美中贸易全国委员会董事会主席芮思博、会长谭森率领的会员企业代表团。双方就中美经贸关系、美资企业在华发展等议题进行了交流。商务部国际贸易谈判代表兼副部长李成钢参加会见。 王文涛表示,习近平主席指出,经贸应该继续成为中美关系的压舱石和推进器...
2026年03月25日,07时39分 科技新知 阅读 36 views 次

重大利好来袭!刚刚集体拉升!美国被曝寻求停火一个月

重大利好来袭!刚刚集体拉升!美国被曝寻求停火一个月
中东局势传来重大利好信号。 今日亚太市场早盘,美股三大股指期货集体拉升,纳斯达克100指数期货一度涨超1%。国际油价大幅下跌,WTI原油一度大跌超4%,日内一度跌破88美元/桶。消息面上,美国有意提出为期一个月的停火方案,以便与伊朗讨论一份包含15个要点、旨在结束战争的协议。 据央视新闻报道,美国政府通过巴基...
2026年03月25日,07时03分 机构观点 阅读 28 views 次


用户登录