AI时代，赚钱到底有多快？ 看看这个以色列老哥你就懂了。 昨天，一笔看似"不起眼"的收购在硅谷刷屏：Wix用8000万美元，收下了本土AI编程公司Base44。 在动辄上亿的一级市场，这个收购价格不算高。但背后的故事，却足以写进AI创业教科书。 这家公司才成立6个月，员工总共只有9人。产品从立项到上线，全是创始人Shlomo一个人搞定——写代码、建系统、拉用 户，通通亲自上。 没融资、不烧钱，半年时间不仅把产品做出来了，还做到盈利，净赚18.9万美元。 这还没完，为了留下这个团队，Wix甚至开出了2500万美元的"留下就给钱"奖金。 这不是科幻小说，这就是现实中AI时代的赚钱速度。没人融资、没人营销、没人烧钱，但却跑出了别人几年都不敢想的结 果。 01 创立6个月被8000万美元买走，这家公司到底做对了什么？ 从产品形态来看，Base44和其他AI编程工具并无太大差别。它不搞复杂概念，瞄准的就是一件事——让"不会写代码的人， 也能做出软件"。 但真正让它脱颖而出的，是"从0到1"的整合能力： 说一句话，生成一个全栈应用：用户只需在聊天框描述想法，比如"做一个财务仪表盘"，AI就能自动生成前后端代码、数据 库、 ...

1.【据称英伟达计划在AI服务器生产线上部署人形机器人】据媒体报道，两位知情人士透露，英伟达 正在与富士康洽谈，计划在美国得州休斯敦的一座新工厂内部署人形机器人，该工厂将用于生产英伟 达的AI服务器。消息人士称，这将是英伟达产品首次在生产线上由人形机器人协助下制造，同时也有 望是富士康首座在生产线上使用人形机器人进行生产的AI服务器工厂。报道称，预计这一部署将在未 来几个月敲定，最早明年第一季度启用，届时富士康将开始生产英伟达的新款GB300 AI服务器。目 前尚不清楚将在该工厂部署哪种类型的机器人、它们的外观或初期部署数量，也不清楚这些机器人在 工厂内将具体承担哪些工作。（财联社） 2.【论文：美国30%代码已由AI包办，年创百亿美元价值】据The Register报道，一篇于近期发布的 预印本论文显示，美国软件开发者在使用AI编程助手方面领先全球。研究通过分析2018年至2024年 间GitHub上的8000万条代码记录发现，在2024年，美国开发者提交的Python代码中约有30.1%由 AI生成。 论文指出，AI的采用与开发者生产力存在关联。当一名开发者的代码中有30%由AI辅助完成时，其季 度代码提 ...

Group 1 - The core viewpoint of the article is that AI is reshaping human scientific paradigms, and while it will become an important partner in exploring ultimate questions in mathematics and physics, it cannot replace human intuition and creativity [2][3]. - Terence Tao discusses the importance of collaboration in creating superior intelligent systems, suggesting that a collective human community is more likely to achieve breakthroughs in mathematics than individual mathematicians [3]. - The article highlights Tao's insights on various world-class mathematical problems, including the Kakeya conjecture and the Navier-Stokes regularity problem, emphasizing the interconnectedness of these problems with other mathematical fields [4][16]. Group 2 - Tao emphasizes that in undergraduate education, students encounter difficult problems like the Riemann hypothesis and twin prime conjecture, but the real challenge lies in solving the remaining 10% of the problem after existing techniques have addressed 90% [5]. - The Kakeya problem, which Tao has focused on, involves determining the minimum area required for a needle to change direction in a plane, illustrating the complexity and depth of mathematical inquiry [6][7]. - The article discusses the implications of the Kakeya conjecture and its connections to partial differential equations, number theory, geometry, topology, and combinatorics, showcasing the rich interrelations within mathematics [10][14]. Group 3 - The Navier-Stokes regularity problem is presented as a significant unsolved issue in fluid dynamics, questioning whether a smooth initial velocity field can lead to singularities in fluid flow [16][18]. - Tao explains the challenges in proving general conclusions for the Navier-Stokes equations, using the example of Maxwell's demon to illustrate statistical impossibilities in fluid dynamics [19][20]. - The article notes that understanding the Kakeya conjecture can aid in comprehending wave concentration issues, which may indirectly enhance the understanding of the Navier-Stokes problem [18][26]. Group 4 - Tao discusses the concept of self-similar explosions in fluid dynamics, where energy can be concentrated in smaller scales, leading to potential singularities in the Navier-Stokes equations [22][24]. - The article highlights the mathematical exploration of how energy can be manipulated within fluid systems, suggesting that controlling energy transfer could lead to significant breakthroughs in understanding fluid behavior [26][30]. - Tao's work aims to bridge the gap between theoretical mathematics and practical applications, indicating a future where AI could play a role in experimental mathematics [55][56].

金十数据6月20日讯，在华为开发者大会HDC2025期间，华为宣布仓颉编程语言将于7月30日开源。仓 颉编程语言是华为研发的一款面向全场景应用开发的编程语言，支持欧拉、鸿蒙等操作系统。其于2024 年6月下旬首次公开发布。 华为自研仓颉编程语言将于7月30日开源 ...

机器之心报道 机器之心编辑部 回顾 OpenAI 的早期成员，奥特曼成为 AI 浪潮的掌舵人之一，Ilya Sutskever 致力于探索 AI 安全的理想边界，而 Andrej Karpathy 则走上了一条「建造 并分享」的道路。 他痴迷于用代码将 AI 蓝图变为现实，又乐此不疲地把建造过程做成公开课分享给世界。 所以，当他人在构建一家伟大的公司时，Karpathy 同时在构建着 AI 应用与下一代的 AI 建设者。 6 月 17 日，Andrej Karpathy 在 YC AI Startup School 活动中发表了约 40 分钟的演讲，主题为《Software in the era of AI》。 视频链接： https://www.youtube.com/watch?v=LCEmiRjPEtQ Andrej 结合他在斯坦福、OpenAI 和特斯拉的工作经验，洞察到一个转变正在发生——软件正在再次经历变革。我们已经进入了「 软件 3.0」时代，在这 个时代， 自然语言成为新的编程接口，而模型则完成剩下的工作。 他探讨了这一转变为开发者、用户以及软件设计本身带来了什么，并指出我们不仅仅是在使用新工 ...

闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 好夸张…… 参赛大模型全军覆没，通通0分。 谢赛宁 等人出题，直接把o3、Gemini-2.5-pro、Claude-3.7、DeepSeek-R1一众模型全都难倒。 到底是什么让一众领先模型一败涂地？ LiveCodeBench Pro ：一个包含来自IOI、Codeforces和ICPC的竞赛级编程问题的 实时 基准测试。 题库还 每日更新 ，来预防LLMs"背题"，不得不说这太狠了（doge）。 谢赛宁虽然也参与了这项工作，但他谦虚地说自己只是个啦啦队成员。 此前有报道称，LLM编程现在已超越人类专家，但本次测试结果表明并非如此。 表现最佳的模型，在中等难度题上的一次通过率 仅53% ，难题通过率更是为0。 即使是最好的模型o4-mini-high，一旦工具调用被屏蔽，Elo也只有 2100 ，远低于真正大师级的2700传奇线。 | Model | Hard | Medium | Easy | Rating | Pct.% | AvgTok | AvgCost | | --- | --- | --- | --- | --- | --- | --- | ...

图片来源： Cursor 硅谷投资者迫切希望支持这家被他们称为有史以来增长最快的初创企业。人工智能代码编辑器 Cursor 的开发商 Anysphere 公司已与投资者就新一轮融资进行洽谈。 在那笔交易之后，硅谷投资者渴望将更多资金投入这家被他们称为有史以来收入增长最快的初创企 业。随着 Cursor 增加更多企业用户，该公司近几个月的年化销售额呈现爆发式增长。 OpenAI 、 Spotify Technology SA 、美国职业棒球大联盟和 Instacart 等企业都是 Cursor 的用户， 该产品能分析程序员的操作并推荐代码行。 这些工具降低了非技术人员创建计算机程序的门槛 ——这种趋势有时被称为氛围编程 (vibe coding) ，同时也提高了专业软件开发者的效率。 本月早些时候， Truell 向彭博社透露，超过半数的财富 500 强企业都在使用 Cursor ，每天有超过 100 万人使用这项服务。 不过这家初创公司仍面临激烈竞争，包括来自 GitHub Copilot 和 Amazon CodeWhisperer 的挑战。据 彭博社报道，其最大竞争对手之一 Windsurf 已同意以 3 ...

6月17日，腾讯元宝宣布，元宝电脑版AI编程模式上线。据介绍，用户将元宝电脑版升级到v2.25以上版 本，切换至DeepSeek模型，关闭深度思考，在输入框中@AI编程即可唤起AI编程模式。在AI编程模式 下，元宝自动开启双栏展示，左侧一句话提需求，右侧实时展示元宝写的代码。 ...

投资人判断"很难有胜算"，入局者相信"弯道超车"。 "面试时让我打开IDE写代码，我打开Cursor，刚把函数名写完，实现全出来了，"在关于AI编程的讨论帖下，一位海外的网友表示，"太糗了，只能假装认为 AI不全对，尽量挑毛病，最后发现AI写的就是全对。" AI编程工具正在重塑工作流，而以Cursor为代表的编程产品，将编程体验拉到了新的高度。凭借此产品，Anysphere从默默无闻到估值近百亿美元，仅用了 三年，其代表的"氛围编程"(Vibe Coding)正席卷全球开发者。 第一财经整理发现，海外AI编程战场硝烟弥漫，估值超过10亿美元的AI编程独角兽至少有7家，总融资已超240亿人民币，战火从产品烧到模型层， OpenAI、Anthropic纷纷卷入，"百编大战"已经打响。 反观国内，虽然大厂和初创纷纷入局，产品发布密集，但跟进较慢，还在迭代初期，国内开发者的首选仍是Cursor。此外，与海外初创企业领跑不同，国内 AI编程领域却是字节、阿里等大厂声量更大。这种海内外生态差异的原因是什么？国内有机会跑出自己的"Cursor"吗？ 投资人的判断很现实，称"很难看到胜算"。但入局者则认为，技术发展未到终局， ...

"最火AI编程软件"——Cursor的爆火出圈，让Anysphere公司成为资本疯狂追逐的对象，月初刚融完估值 99亿美元，如今又有180-200亿美元估值等着投。 6月18日，据彭博援引知情人士称，最近几周，投资者已与Anysphere接洽，商讨一项融资协议，该协议 将使这家初创公司的估值达到180至200亿美元。知情人士透露，该公司并未主动寻求新一轮融资，而是 投资者主动接洽。 Anysphere首席执行官Michael Truell此前透露，超过半数财富500强企业使用Cursor，日活用户超过100万 人。OpenAI、Spotify、美国职业棒球大联盟和Instacart等知名公司均为其用户。 这家成立于2023年的公司年化收入已突破5亿美元，被硅谷投资者誉为"史上收入增长最快的初创公 司"。 尽管增长迅猛，Anysphere面临着激烈竞争。其主要竞争对手包括GitHub Copilot和Amazon CodeWhisperer。值得注意的是，其最大竞争对手之一Windsurf已同意以30亿美元的价格出售给 OpenAI，不过该交易尚未最终敲定。 虽然公司目前并不缺乏现金，但考虑到有利的融资条件，A ...