In a very agile, clever, and surprising move, Google's parent company Alphabet ((GOOGL) swept into the debris of OpenAI's bid for the AI coding startup Windsurf and came out with the latest and greatest of prize possessions: top talent.On Friday, I had just profiled "Zuck the Poacher" in my weekly dive into all-things AI about the Meta Platforms ((META) CEO's  aggressive strategy of buying, bribing, and stealing AI talent anywhere he could.Just when we thought the primary battle was between Tesla's ((TSLA) ...

The race for the broad adoption of the technology is just as important as the one for artificial general intelligence, argues Britain’s former prime minister in a guest essay https://t.co/xnG1rTelkD ...

The race for broad adoption is just as important as the one for artificial general intelligence https://t.co/A5XQF0AvS1 ...

French-Owen曾是客户数据初创公司Segment的联合创始人，该公司在2020年被Twilio以32亿美元收购。 三周前，这位参与开发OpenAI最具前景新产品之一的工程师选择从公司离职，随后在个人博客上分享 了他在OpenAI工作一年的深度观察。 他强调自己离开OpenAI并非因为任何"戏剧性事件"，而是希望重新回到创业者的角色。他在博客中坦 言，选择离开是为了追求自己的创业梦想，而非对公司文化的不满。 这篇博客文章揭露了许多OpenAI内部运作的细节，从疯狂的产品开发节奏到公司文化的独特之处。 French-Owen特别详细描述了团队如何在七周内从零开始构建并发布代码助手Codex的经历，这款产品 直接与Cursor和Anthropic的Claude Code等工具竞争。 他的观察既证实了外界对OpenAI的一些认知，也纠正了不少误解。从公司的快速扩张到内部管理挑 战，从产品发布的魔力时刻到外界监督的压力，French-Owen的分享为外界提供了难得的内部视角。 疯狂扩张：从千人到三千人的蜕变 OpenAI的增长速度可以用"疯狂"来形容。French-Owen透露，在他工作的一年时间里，"Open ...

我们独家获悉，大模型公司 MiniMax 近 3 亿美元的新一轮融资已接近完成，投后估值超过 40 亿美元（约 300 亿元人民币）。结合公开信息，目前国内达到这一估值的大模型公司有 MiniMax 和智谱。 据了解，MiniMax 曾于去年年底完成一轮估值 30 亿美元的融资。今年 6 月，彭博社报道称， MiniMax 正在筹备赴港上市。 以下文章来源于晚点科技 ，作者晚点团队 晚点科技 . 晚一点，好一点 此前已传出赴港股上市。 文 丨 王与桐 编辑 丨 程曼褀 与多数大模型公司先做语言模型、再拓展到语音和视觉，或特别聚焦大语言模型，几乎不做多模态不 同，MiniMax 从创立之初就将多模态能力作为核心方向同步推进。 自 2023 年以来，陆续发布了大语 言模型、语音生成模型、视频生成模型和图文理解模型等。 多模态不是 MiniMax 的补充项，而是底 层架构的一部分。 不管是模型还是应用，硅谷同类公司的估值和融资额都远超国内创业公司。在模型层，OpenAI 联合 创始人 Ilya Sutskever 的新创公司 Safe Superintelligence，从去年 9 月到现在已融资超过 30 亿美元 ...

RT Avocado Toast (@avocado_toast2)2021: hodl and wagmi til we all buy lambos2025: btc is a hedge against the worthless denominator + way to buy guns/canned goods/land and compute tokens in anticipation AGI 2027 & weimar germany runaway inflation ...

Equity Research July 6, 2025 Asia Maxima - Tariff Mood Swings The Trump agenda remains fundamentally contradictory. Deregulation and the extension of tax cuts are bullish for equities. Tariffs and restrictions on immigration are bearish. Investors ended last quarter assuming that the American president has pivoted from his longstanding obsession with tariffs, reflected in "Liberation Day", to focusing on tax cuts. There remains a growing likelihood that America peaked as a percentage of world stock market c ...

RT Tim Sweeney (@TimSweeneyEpic)Grok 4 feels like Artificial General Intelligence to me. It is clearly not just constructing statistically likely connections, but is drawing fairly deep insights on problems it hasn’t seen before, in ways I haven’t seen elsewhere. Here’s an example: https://t.co/n00hEEZfMJ ...

Core Viewpoint - Harmonic AI, co-founded by Vlad Tenev and Tudor Achim, aims to develop an AI system capable of solving complex mathematical problems, striving for Mathematical Superintelligence (MSI) [3][20]. Group 1: Company Overview - Harmonic AI has successfully raised $100 million in Series B funding, bringing its valuation to approximately $875 million [4][17]. - The company was co-founded by Vlad Tenev, who previously established Robinhood Markets, and Tudor Achim, an expert in AI and large model training [5][15]. - Robinhood, under Tenev's leadership, achieved a market cap of around $22.7 billion and reported a revenue of $927 million with a net profit of $336 million in Q1 2025 [8][12]. Group 2: Funding and Valuation - Harmonic AI's Series A funding raised $75 million, led by Sequoia Capital, with a post-money valuation of $325 million [15]. - The recent Series B funding was led by Kleiner Perkins, with participation from Paradigm and Ribbit Capital, among others [16]. - The company intentionally set its valuation below the "unicorn" threshold of $1 billion, focusing on long-term growth rather than short-term valuation targets [18][19]. Group 3: Product Development - Harmonic AI announced its first model, Aristotle, which can formalize natural language problems into formal representations, enhancing collaboration with mathematicians [20]. - The model's performance improved from 83% to 90% on the MiniF2F benchmark, which includes various levels of mathematical problems [23]. - The ultimate goal is to create an AI system with mathematical capabilities surpassing human abilities, addressing challenges like the "hallucination" problem in AI [26][28].

AI能力评估 - Grok 4 在材料科学领域展现出深度洞察力，即使面对未知的、不在书籍或互联网上的问题[1] - Grok 4 被认为不仅仅是构建统计上的可能性连接，而是能够对之前未见过的问题进行深入分析[1] 行业影响 - Tim Sweeney 认为 Grok 4 接近于通用人工智能 (Artificial General Intelligence)[1]