返回首页

技术

共 5251 篇文章
技术
从“数学已死”到百万卡集群等电五年——101位北美AI一线研究者撕开的三重时间差

从“数学已死”到百万卡集群等电五年——101位北美AI一线研究者撕开的三重时间差

在Mountain View的Red Rock Coffee，一位不到30岁的前沿实验室研究员半开玩笑说自己一两年后可以退休了。同一周，波士顿一家川菜馆里，数学博士放下筷子说“数学已经死了”。SevenX团队用15天横跨硅谷、洛杉矶、西雅图、波士顿和纽约，与101位北美AI一线从业者完成了一组高密度对话。这些碎片拼出的画面，与OpenAI发布Astra、Meta推出Muse的新闻头条，形成了刺眼的时间差。希鸥网观察到，101位受访者中41位来自Google、Meta、Nvidia和OpenAI为...
希鸥网
1325
10/12
技术
押中沐曦宇树，光合创投朱嘉的硬科技投资：快决断与慢等待

押中沐曦宇树，光合创投朱嘉的硬科技投资：快决断与慢等待

2025年12月，沐曦股份登陆科创板首日大涨692.95%，市值一度冲破4000亿元。这笔回报背后站着光合创投合伙人朱嘉，前AMD中国芯片研发工程师、硬科技早期投资人。光合创投聚焦AI、半导体、具身智能赛道，为硬科技创业者解决早期资本与产业链资源对接的痛点。其第六期美元基金与第三期人民币基金合计超50亿元，双双超募。隶属光合创投。希鸥网观察到，过去一年半，光合创投收获10个IPO，包括国产GPU龙头沐曦股份、大模型第一股智谱、物理AI第一股Momenta、人形机器人第一股宇树科技。2026年4月...
希鸥网
1743
10/12
技术
一台会认输的网球机器人，正在抢走发球机五十年的生意

一台会认输的网球机器人，正在抢走发球机五十年的生意

2026年温网开赛前一周，深圳湾体育中心的室外硬地球场，一台20寸行李箱大小的机器正沿着底线来回滑动。它不接球，只在你击球落地的瞬间从落点附近弹出一颗新球。120颗球打完，刚好30分钟。场边围观的球友掏出手机拍视频，有人问价格，有人问哪里买。希鸥网观察到，这台名为AceiiLab A1的设备，隶属深圳一思科技，定位为消费级AI网球机器人，主攻2.0至4.0水平进阶球友的底线对打训练场景。其创始人刘礼谦曾在大疆做结构工程师，在蓝胖子做仓储机器人，在库卡做系统工程师，后来出任割草机器人公司虎鲸CEO...
希鸥网
1798
10/12
技术
50万降到5万的智能假肢，为何仍卡在“最后一公里”？

50万降到5万的智能假肢，为何仍卡在“最后一公里”？

良渚实验室主任欧阳宏伟至今记得一个场景：一位月收入两千元的残疾人，面对报价5万元的智能假肢反复盘算，最终还是放下了手。这台由杭州强脑科技研发的设备，已经把欧洲同类产品50万元的价格打到十分之一，却依然没能跨过支付能力的门槛。实验室里的技术跑通了，商业闭环却卡在最后一环。希鸥网观察到，近日第五届全球数字贸易博览会“数贸创投日”上，良渚实验室主任欧阳宏伟、松禾资本创始合伙人厉伟、君联资本首席运营官周宏斌、强脑科技创始合伙人何熙昱锦，围绕《源头创新，从好技术到好公司有多远？》展开对话。这场对话撕开了硬...
希鸥网
1446
10/12
技术
ChatCut在Codex里跑通剪辑闭环，但模型厂商随时能吃掉这只“手”

ChatCut在Codex里跑通剪辑闭环，但模型厂商随时能吃掉这只“手”

硅星人近日报道，AI视频剪辑插件ChatCut在Codex生态中跑出了一组反常识数据：其相关内容获得6.6万次浏览，且已拥有自有Agent生态的用户群体付费表现突出。这款插件允许用户在Codex对话界面内完成素材导入、时间线剪切、语音转录、字幕修改、动态图形、视频与图片生成、配音、音乐及最终导出，无需跳转至独立编辑器。希鸥网观察到，ChatCut的产品形态揭示了一个关键分水岭：用户不必脱离Codex即可完成粗剪，Agent的粗剪完成度甚至高于人工，当Agent交出一支能看的片子，用户愿意在额度耗...
希鸥网
1735
10/12
技术
陶哲轩宣告“数学1.0”已死，AI把证明变廉价后，创业者的护城河也变了

陶哲轩宣告“数学1.0”已死，AI把证明变廉价后，创业者的护城河也变了

7月15日，菲尔兹奖得主陶哲轩在SAIR演讲中临时更换了主题。原定的《机器辅助证明》被弃用，新标题是《数学2.0》。促使他改稿的原因只有一个：OpenAI在过去三个月里连续向数学界投下重磅炸弹，让他意识到数学研究的底层前提正在崩塌。这位全球最具影响力的在世数学家，第一次公开承认自己赖以生存的学术体系正被AI从根上改写。希鸥网观察到，陶哲轩的核心判断是：数学1.0时代运行在“证明稀缺”的环境里。过去证明一道开放难题需要数年甚至数十年，因此“谁最先解决”成为评价数学家的黄金标尺。但OpenAI一夜甩...
希鸥网
1461
10/12
技术
刘润闭关49天抛出的八个预判：麦克风取代键盘，程序员35岁危机反转成红利

刘润闭关49天抛出的八个预判：麦克风取代键盘，程序员35岁危机反转成红利

刘润把自己关在书房里，筹备11月28日的年度演讲，倒计时49天。这位润米咨询创始人、得到App《5分钟商学院》主理人，在私董会上频繁打断企业家学员的键盘操作，逼他们改用语音输入。他给出的理由近乎偏执：打字，是在“阉割”你的想法。希鸥网观察到，刘润抛出的八个变化中，最反常识的并非麦克风取代键盘这个表象，而是语音识别公司面临的一场无声崩塌。过去二十年，这些公司把准确率从95%死磕到99%，筑起技术护城河。AI大模型一夜之间让错别字和“嗯嗯啊啊”的废话变得无关紧要，护城河直接蒸发。商业模式的地基被抽走...
希鸥网
1729
10/12
技术
陶哲轩临时改稿：AI一夜甩出722篇论文，数学家的护城河不在解题

陶哲轩临时改稿：AI一夜甩出722篇论文，数学家的护城河不在解题

近日，菲尔兹奖得主、加州大学洛杉矶分校数学家陶哲轩在SAIR演讲中，把原定题目《机器辅助证明》临时改成了《数学2.0》。触发点很具体：OpenAI一夜甩出722篇数学论文，扫射准黎曼猜想、霍奇猜想、BSD猜想，还把菲尔兹奖得主王虹今年解决的三维挂谷集维数猜想推进到四维。数学界那套以"证明稀缺"为地基的评价体系，正被AI的产能直接碾过。希鸥网观察到，这条赛道的核心矛盾相当具体：AI把"拿到解答"的门槛打到极低，却没有同步交付"理解"。陶哲轩隶属加州大学洛杉矶分校，长期推动Lean形式化验证与AI辅...
希鸥网
1693
10/12
技术
字节跳动造药：100亿估值背后，一场“算法不能救命”的豪赌

字节跳动造药：100亿估值背后，一场“算法不能救命”的豪赌

2026年9月，一家从字节跳动内部独立仅3个月的公司拿下2.9亿美元天使轮融资。Anew Labs（新生探途），这家总部位于上海杨浦的AI制药公司，首轮估值即达100亿元人民币，成为中国AI制药赛道第一家跨过百亿门槛的初创企业。红杉中国、IDG资本、高瓴创投、五源资本、中国生物制药（01177.HK）等机构悉数入局。字节跳动仍是控股股东，火山引擎持续供给算力。希鸥网观察到，融资竞争的激烈程度超出了多数人的预期。投资人李觅从一百多家机构中“抢”到额度，角井生物创始人周一鸣第一次用完Anew Lab...
希鸥网
2531
10/12
技术
PC出货暴跌两成，联想戴尔利润却翻倍，AI正在重写行业座次

PC出货暴跌两成，联想戴尔利润却翻倍，AI正在重写行业座次

全球PC市场正经历一场诡异失血。2026年第三季度，出货量仅6270万台，同比暴跌20.1%，联想、惠普、戴尔、苹果、华硕前五厂商无一增长，连苹果Mac都跌了11.3%。但翻开财报，联想经调整净利润涨近两倍，戴尔股价年内涨三倍，苹果Mac收入创同期纪录。卖得少了，钱却赚得更多，这不合常理。希鸥网观察到，这场暴跌的引信埋在内存条里。一条16GB的DDR5内存条，去年9月卖300块，今年1月飙到1400块，四个月涨了三倍多。AI数据中心疯狂抢购HBM高带宽内存，三星、SK海力士、美光把产能往AI倾斜...
希鸥网
1578
10/12