888 X 動態摘要|04/17

888 X 動態摘要|04/17

生成時間: 2026-04-17 06:23:52

總結

OpenAI與Google DeepMind展現AI在基礎研究、企業應用及機器人領域的關鍵突破,尤其以AI在數學證明上的創新及生命科學專用模型最具市場含金量。

今日重點

1. AI代理系統升級

  • 人物: Sam Altman (OpenAI CEO)
  • 時間: 2h
  • 熱度: 👀 231,956
  • 觀察: OpenAI Codex現能平行運行Mac應用且不干擾用戶,展現更強的電腦使用能力。
  • 意義: 預示AI代理對操作系統及應用程式的深度整合與自主化能力提升,具備廣闊的企業級生產力工具商業化潛力。

2. AI數學證明突破

  • 人物: Greg Brockman (OpenAI 聯創)
  • 時間: Apr 15
  • 熱度: 👀 905,350
  • 觀察: GPT5.4 Pro發現新方法證明Erdős Primitive Set Conjecture變體,推翻人類傳統思考。。
  • 意義: 證明AI在高度抽象科學領域的深層推理與創新能力,預示其在基礎科學研究、複雜問題解決上的潛在顛覆性作用。

3. 企業級AI協作強化

  • 人物: Greg Brockman (OpenAI 聯創)
  • 時間: 17h
  • 熱度: 👀 75,695
  • 觀察: Codex能有效整合分散於Slack、Google Docs與內部工具的資訊以完成任務。
  • 意義: 顯示AI在企業內部資訊整合與自動化工作流程的應用成熟度提升,有利於提高辦公效率並推動企業軟體市場創新。

4. 生命科學專用AI模型

  • 人物: Greg Brockman (OpenAI 聯創)
  • 時間: 42m
  • 熱度: 👀 15,884
  • 觀察: OpenAI發布前沿模型GPT-Rosalind,專注於加速生命科學研究。
  • 意義: 標誌著AI在特定垂直領域的深度商業化佈局,預期將加速新藥研發、生物醫學發現,並開拓新的高價值AI應用市場。

5. 機器人AI強化感知

  • 人物: Demis Hassabis (Google DeepMind CEO)
  • 時間: Apr 14
  • 熱度: 👀 512,246
  • 觀察: Google DeepMind推出Gemini Robotics-ER 1.6,顯著提升機器人對物理世界的視覺與空間理解。
  • 意義: 顯示機器人AI在環境感知與任務規劃上的關鍵進展,加速自主機器人、工業自動化等領域的技術成熟與市場落地。

原始動態

重點 | Sam Altman

  • 時間: 2h
  • 熱度: 👀 231,956
  • 原文: Lots of major improvements to Codex! Computer use is a real update for me; it feels even more useful than I expected. It can use all of the apps on your Mac, in parallel and without interfering with your direct work.

其他 | Elon Musk

  • 時間: 3h
  • 熱度: 👀 10,820,365
  • 原文: The “Justice System” needs major reform

其他 | Elon Musk

  • 時間: 3h
  • 熱度: 👀 4,145,902
  • 原文: There are now more anti-White and anti-Asian laws in South Africa than anti-Black laws under Apartheid. Racism is wrong no matter who it is against.

重點 | Greg Brockman

  • 時間: Apr 15
  • 熱度: 👀 905,350
  • 原文: "In my doctorate, I proved the Erdős Primitive Set Conjecture, showing that the primes themselves are maximal among all primitive sets. This problem will always be in my heart: I worked on it for 4 years (even when my mentors recommended against it!) and loved every minute of it. [Primitive sets are a vast generalization of the prime numbers: A set S is called primitive if no number in S divides another.] Now Erdős#1196 is an asymptotic version of Erdős' conjecture, for primitive sets of \"large\" numbers. It was posed in 1966 by the Hungarian legends Paul Erdős, András Sárközy, and Endre Szemerédi. I'd been working on it for many years, and consulted/badgered many experts about it, including my mentors Carl Pomerance and James Maynard. The the proof produced by GPT5.4 Pro was quite surprising, since it rejected the \"gambit\" that was implicit in all works on the subject since Erdős' original 1935 paper. The idea to pass from analysis to probability was so natural & tempting from a human-conceptual point of view, that it obscured a technical possibility to retain (efficient, yet counter-intuitve) analytic terminology throughout, by use of the von Mangoldt function \Lambda(n). The closest analogy I would give would be that the main openings in chess were well-studied, but AI discovers a new opening line that had been overlooked based on human aesthetics and convention. In fact, the von Mangoldt function itself is celebrated for it's connection to primes and the Riemann zeta function--but its piecewise definition appears to be odd and unmotivated to students seeing it for the first time. By the same token, in Erdős#1196, the von Mangoldt weights seem odd and unmotivated but turn out to cleverly encode a fundamental identity \sum_{q|n}\Lambda(q) = \log n, which is equivalent to unique factorization of n into primes. This is the exact trick that breaks the analytic issues arising in the \"usual opening\". Moreover, Terry Tao has long suspected that the applications of probability to number theory are unnecessarily complicated and this \"trick\" might actually clarify the general theory, which would have a broader impact than solving a single conjecture.

重點 | Greg Brockman

  • 時間: 17h
  • 熱度: 👀 75,695
  • 原文: always a real feeling of magic to ask codex to perform a task that requires finding information scattered across slack, google docs, notion, and various internal tools, and it just figures it out

重點 | Greg Brockman

  • 時間: 42m
  • 熱度: 👀 15,884
  • 原文: Announcing GPT-Rosalind, our frontier model for life science research. This model is a step towards one of our most important goals — accelerating science and improving human outcomes. Excited to work with many amazing partners on deploying and improving this model.

其他 | Demis Hassabis

  • 時間: Apr 14
  • 熱度: 👀 19,167
  • 原文: Developers can try it in ":"

其他 | Ray Dalio

  • 時間: 22h
  • 熱度: 👀 50,213
  • 原文: Everyone does not report to everyone. Responsibilities and authorities are assigned to individuals based on assessments of their ability to handle them. People are given the authority that they need to achieve outcomes and are held accountable for their ability to produce them. At the same time, they are going to be stress-tested from both directions--i.e., by those they report to and by those who report to them. The challenging and probing that we encourage is not meant to second-guess their every decision but to improve the quality of their work over time. The ultimate goal of independent thinking and open debate is to provide the decision maker with alternative perspectives. It doesn't mean that decision-making authority is transitioned to those who are probing them.

其他 | Ray Dalio

  • 時間: 5h
  • 熱度: 👀 34,188
  • 原文: Realizing that we innately want to evolve--and that the other stuff we are going after, while nice, won't sustain our happiness--has helped me focus on my goals of evolving and contributing to evolution in my own infinitely small way. While we don't like pain, everything that nature made has a purpose, so nature gave us pain for a purpose. So what is its purpose? It alerts us and helps direct us.

其他 | Demis Hassabis

  • 時間: 19h
  • 熱度: 👀 23,022
  • 原文: "and here's the prompt guide:" dev.to

其他 | Elon Musk

  • 時間: Apr 14
  • 熱度: 👀 6,844,058
  • 原文: 🚨 I am truly honored to have the support of President Donald J. Trump! The stakes this midterm could not be higher. That's why when I started running, I promised I would drop out unless President Trump supported me so that Republicans could avoid wasting resources on a needless primary. Much like President Trump, I didn’t come from the world of politics. I spent my entire career in the business world. I had the honor of working with some incredible people and composing music for some of the greatest video games of all time. I'm not going to DC for fame or money. I'm going because I'm a grandfather who deeply cares about what type of country his grandchildren will grow up in. I appreciate the trust that the President has put in me and look forward to working with him in Congress to continue delivering for working families and keeping our nation safe. Now, it's time to ramp this thing into high gear and RETIRE Susie Lee in November.

重點 | Demis Hassabis

  • 時間: Apr 14
  • 熱度: 👀 512,246
  • 原文: We’re rolling out an upgrade designed to help robots reason about the physical world. 🤖 Gemini Robotics-ER 1.6 has significantly better visual and spatial understanding in order to plan and complete more useful tasks. Here’s why this is important 🧵

其他 | Peter Steinberger

  • 時間: 1h
  • 熱度: 👀 16,258
  • 原文: "they: OpenClaw is so insecure look at all these GHSAs! reality: we are just an indicator of the coming storm"

其他 | Thomas Wolf

  • 時間: 12h
  • 熱度: 👀 37,339
  • 原文: The open-source AI community just got a new home for their data workflows. 🤗 is now available in Adaptive Data. Pull datasets directly into a platform that evolves with the problems you're solving.

其他 | Nassim Taleb

  • 時間: 9h
  • 熱度: 👀 27,805
  • 原文: Well, mon ami, how long has Spitznagel been bullish? I keep losing my verbal bets with him.

其他 | Eric Topol

  • 時間: 3h
  • 熱度: 👀 6,018
  • 原文: The marked expansion of paths and methods for new drug development including and beyond AI

其他 | Ray Dalio

  • 時間: Apr 14
  • 熱度: 👀 83,562
  • 原文: This evolutionary cycle is not just for people but for countries, companies, economies—for everything. And it is naturally self-correcting as a whole, though not necessarily for its parts. For example, if there is too much supply and waste in a market, prices will go down, companies will go out of business, and capacity will be reduced until the supply falls in line with the demand, at which time the cycle will start to move in the opposite direction. Similarly, if an economy turns bad enough, those responsible for running it will make the political and policy changes that are needed—or they will not survive, making room for their replacements to come along. These cycles are continuous and play out in logical ways—and they tend to be self-reinforcing.

其他 | Ray Dalio

  • 時間: Apr 15
  • 熱度: 👀 60,408
  • 原文: "You can watch the full episode here:" youtube.com

其他 | Huanusa

  • 時間: 8h
  • 熱度: 👀 7,554
  • 原文: 赚大钱,靠的从来不是频繁买卖, 而是极致的耐心等待。 ——查理·芒格 芒格和巴菲特一辈子就干两件事: 把公司研究透 死死拿住,等它真正值钱 别人眼里的“长期不动”,才是他们眼里的“超级复利”

其他 | Huanusa

  • 時間: 7h
  • 熱度: 👀 1,404
  • 原文: 1996年的中国与2026年的中共国 ......

其他 | Huanusa

  • 時間: 1h
  • 熱度: 👀 261
  • 原文: 🚨 刚刚特朗普表示:美伊谈判重大进展-伊朗愿意放弃核武器! 48小时内或有重大新闻!牛市要启动? 特朗普最新表态称对伊朗谈判超级乐观,称第二轮谈判可能在未来48小时内重启, 川普:“我们对达成协议的前景感觉非常好”! 中东缓和→油价回落→全球风险资产反弹? 爆发行情最后助推剂?🤔

其他 | Nassim Taleb

  • 時間: Apr 14
  • 熱度: 👀 248,892
  • 原文: In 2022, Israel's net favourability among American men under 50 was minus 3. It's now minus 47. Support for Israel is becoming a fringe opinion in the West.

其他 | Nassim Taleb

  • 時間: Apr 15
  • 熱度: 👀 170,488
  • 原文: Turned out to be indeed a bear trap. It didn't just get higher than before the war started, but it's on all time high.

其他 | Greg Brockman

  • 時間: Apr 15
  • 熱度: 👀 135,729
  • 原文: "mathematician Terence Tao on the gpt-5.4 pro solving Erdős problem #1196: \"the AI-generated paper may have made a meaningful contribution by revealing a deeper mathematical connection that earlier work had not clearly made explicit, which value beyond solving this particular erdős problem\""

其他 | Andrew Ng

  • 時間: Apr 14
  • 熱度: 👀 91,776
  • 原文: "I'm excited about voice as a UI layer for existing visual applications — where speech and screen update together. This goes well beyond voice-only use cases like call center automation. The barrier has been a hard technical tradeoff: low-latency voice models lack reliability, while agentic pipelines (speech-to-text → LLM → text-to-speech) are intelligent but too slow for conversation. Ashwyn Sharma and team at Vocal Bridge (an AI Fund portfolio company) address this with a dual-agent architecture: a foreground agent for real-time conversation, a background agent for reasoning, guardrails, and tool calls. I used Vocal Bridge to add voice to a math-quiz app I'd built for my daughter; this took less than an hour with Claude Code. She speaks her answers, the app responds verbally and updates the questions and animations on screen. Only a tiny fraction of developers have ever built a voice app. If you'd like to try building one, check out Vocal Bridge for free:"

其他 | Eric Topol

  • 時間: 5h
  • 熱度: 👀 12,138
  • 原文: What does the endoplasmic reticulum look like in a live cell, thanks to super-resolution microscopy?

其他 | Jeff Dean

  • 時間: Apr 15
  • 熱度: 👀 20,715
  • 原文: It was a delight to serve on the selection committee with an awesome group of committee members. We had lots of great submissions to evaluate and excellent discussions during our selection process. You can see the selected proposals below and learn more at

其他 | Eric Topol

  • 時間: 9h
  • 熱度: 👀 9,773
  • 原文: Analysis of >50,000 public—AI chatbot health interactions

其他 | Eric Topol

  • 時間: 6h
  • 熱度: 👀 8,239
  • 原文: Generative AI to deconvolute the complexity of cancer

其他 | Jeff Dean

  • 時間: Apr 15
  • 熱度: 👀 7,424
  • 原文: "In case it's not clear, you can click on the picture in the first image to learn more about Ricardo and the award: Twitter swallowed my actual link text to" to turn it into the picture, I guess.

其他 | Pierre Levy

  • 時間: Apr 14
  • 熱度: 👀 221,466
  • 原文: This is one of the coolest such examples! See comments from Lichtman below, who proved the related primitive set conjecture

其他 | Pierre Levy

  • 時間: Apr 15
  • 熱度: 👀 160,223
  • 原文: Anthropic's did a roundtable with two dozen conservative intellectuals in Washington. DC was SURPRISED by questions on the Aristotelian / Platoist / Nietzschian / Chestertonian inclinations of his AI?? WHO IS ADVISING HIM?

其他 | Sean Kelly

  • 時間: Apr 15
  • 熱度: 👀 43,305
  • 原文: i have developed a gluten intolerance, congratulations to me🫤

其他 | Sean Kelly

  • 時間: Apr 15
  • 熱度: 👀 10,993
  • 原文: This Quantum Tech was likely used to find missing soldier in Iran youtube.com