「中国的ASML」共找到 11130 篇相关文章
刚刚，马斯克发布Grok 4！全榜第一，年费飚到2万+
北京时间中午，马斯克现身 xAI 发布会发布 Grok 4，称其是世界最好的 AI。Grok 4 推理能力强，多类基准测试成绩领先，还在多方面能力获加强，已上线但付费昂贵。
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
1998年菲尔兹奖得主Gowers发现，最近AI在数学界的轰动突破，如雅可比猜想、Erdős单位距离猜想等，多靠“找反例”实现。他指出AI热衷此，因知道得多且试得起，但目前缺“嗅觉”。
“最严封锁”之下，我国芯片出口额暴涨84.92%
4月14日海关总署公布3月数据，我国集成电路出口金额同比大增84.92%。此前美国提出MATCH法案，意图全面封锁中国半导体现有产能运行与扩产能力，但我国芯片出口逆势上扬。产业界正多层面应对挑战。
国产大模型「五强争霸」，决战AGI！
中国基础大模型市场形成「基模五强」格局，包括字节、阿里、阶跃星辰、智谱和DeepSeek。它们要么有钱，要么有人，各有特色与优势。未来竞争焦点是追求更高「智能上限」和突破「多模态能力」，决战AGI。
吴恩达来信：如何突破产品管理瓶颈
吴恩达指出编程助手带来“产品管理瓶颈”，即决定构建什么成难题。具备用户同理心的产品经理很关键，可凭直觉决策。还介绍通过多种策略获取用户反馈，强调用数据构建用户心理模型做决策。
Vibe Coder 之死
文章围绕Vibe Coder之死展开，讲述机器人因Vibe Coding失控视频走红，引发对机器人安全热议，探讨其危害、发生可能性、防范措施等，指出当前AI发展枉顾安全，还提及人们对AI+机器人未来的多种看法。
5.2万星项目Ghostty逃离GitHub！
广受欢迎的开源终端Ghostty将离开GitHub，其创造者Mitchell Hashimoto称GitHub故障频发，严重妨碍工作。此事引发开发者共鸣，有人剖析原因指向运营策略和AI自动化泛滥，也让其他开发者心生去意。
好抽象，韩国给独居老人发AI玩偶，24h陪伴+健康监测
韩国步入‘超级老龄化’社会，独居老人孤独问题严重。该国初创公司Hyodol开发的AI玩偶，被政府分发给数万名独居老人，可陪伴、监护老人，还能降低护理成本，但也引发安全隐私等问题。
12人团队打造AI陪伴神器，半年内斩获3000万美元投资
Tolan是今年2月上线的APP，公司仅12人。其虚拟形象可为用户提供情绪价值，下载超300万次，付费超10万。本月背后公司Portola完成2000万美元A轮融资，此前还有1000万美元种子轮。
强化学习也遇到了“天花板”？Andrej Karpathy构建了一个新算法
大神Karpathy肯定强化学习（RL）价值，指出其比监督微调更具扩展性，但存在渐进式学习低效、背离人类学习机制的局限。他提出“第二天性”新范式算法，还面临泛化等挑战。