Updated
Updated
AIMark Chen says the Navier-Stokes achievement matters more for the figure it shows than for the problem itself, representing a decade of mathematical progress in a single week. He says he is eager to apply these tools to life sciences, the building of OpenAI's next models, and alignment research.
AIDeedy argues LLMs have made substantial progress on four of the seven Millennium Prize problems, including a claimed Navier-Stokes result, conditional on verification. He says OpenAI's results averaged only 3 hours of thinking compute on unreleased models. He concludes that by most definitions of AGI, we have already achieved it.
AIAndrew Curran notes OpenAI's 722 published mathematical results show striking under-representation of cryptographic breakthroughs, and he says he has personally witnessed US government censorship of academic quantum cryptanalysis results. He calls backroom government interventionism his base case and says rumors suggest yesterday's OpenAI math release was only the first of three batches.
AIIMF Managing Director Kristalina Georgieva called on nations to urgently address AI regulation and debt curbing ahead of the IMF-World Bank meetings in Bangkok. The source provides no further detail on specific measures or timelines.
AIDex Horthy (@dexhorthy) shared a recording of his talk "state of the software factory," delivered at the Agentic AI Foundation event in Amsterdam last week. The post links to the video and urges viewers not to be the last to watch it.
AIThe poster says they already use Grok Bot as a model router, citing last weekend's personal agent livestream. In the demo, Gemini produced an infographic inside Grok Bot, and Claude Opus then checked the content. This follows Elon Musk's announcement that Grok Bot will use the best backend model for each task, including Claude Opus 5.5, MidJourney, and Suno.
AIHamel Husain answers "No" to whether teams should use ready-to-use evaluation metrics, calling them a bad idea in most situations. He points to a linked blog post for his reasoning.
AIJason Liu was embarrassed when a demo of Dots turned into a request for his week's tasks, and it returned a plan to book 10 plane tickets over 50 days and rent three cars. He said he had asked it for his travel schedule and call times across two production shoots and two talks in four cities.
AIAravind Srinivas posted that "we're living in incredible times," highlighting a fully computer-made animated scene produced from concept art to final edit. The quoted post says the scene was planned in Blender, with reference images generated by Nano Banana and animation and score produced by Seedance 2.5.
AISantiago argues prompt engineering was never a real discipline and will vanish as models improve. He predicts future models will understand natural communication, so the skill will simply become communication skills.
AIJim Fan argues that humanity will likely solve the Riemann hypothesis before robots pass the Physical Turing Test, where a person cannot tell whether a human or robot cleaned a home after a party. He suggests people underestimate Moravec's paradox, the principle that physical tasks humans find easy are hard for machines.
AIStacklok, founded by two Kubernetes creators, Craig McLuckie and Joe Beda, is pursuing a "cloud-native harness" to bring AI agent harnesses fully into the cloud. The post argues that cloud-based agent harnesses from OpenAI and Anthropic are not yet fully solved, and points to a Latent Space interview with the founders.
AINathan Lambert posted a short note referring to a hot take he shared the previous day. The post itself gives no specific claim, model, figures, or details to summarize.
AIOpenAI has released a document with over 300 math solutions, many of potentially historic importance, at varying stages of verification. The author argues that the results leave human mathematicians as spectators, with AI now doing the discovery work.
AIOpenAI released 722 mathematical manuscripts in 372 families, produced by an unreleased frontier model, with the average result taking the equivalent of three hours of ChatGPT Pro thinking. The author notes many results are verified in Lean but not all, and suggests mathematics could divide into vast machine-verified work and a compressed human 'effective theory' that people can actually understand.
AIPaige Bailey agrees with calls for a Christian METR, and suggests creating nonprofits that evaluate models for values or philosophical alignment. She notes existing benchmarks such as Gloo's flourishing AI initiative, VirtueBench, and FaithGPT.
AIGergely Orosz argues that cloud deployment will increasingly host AI agents, but that does not solve their risky handling of sensitive data. He notes agents are nondeterministic, so guaranteeing something will not happen requires a deterministic system.
AICognition CISO and former Facebook security chief Alex Stamos criticized "nihilism" in Silicon Valley and argued that some AI risks are real while others are shaped by "almost religious beliefs" held by people at AI companies. He said AI systems "are not conscious, they do not have souls," and that he plans to "work the problem" to help shorten the expected "dark age" of cybersecurity.
AISantiago reflects that prompt engineering once seemed poised to become a profitable career. The post is short and adds no further detail, so the summary stays brief. The quoted @bcherny post adds the main context: prompting Claude should resemble talking to a coworker, and it matters most to state the goal, effort level, and verification method.
AIElad Gil posted a brief reaction to the moment, without details. The quoted OpenAI post says the company is releasing a range of new mathematical results produced by an internal frontier model, reviewed with the Institute for Advanced Study's Advisory Group on Mathematics and Artificial Intelligence.
AIPaige Bailey took an early morning Waymo ride on the highway down to South Bay for recordings and customer interviews. The post is a brief personal update about the trip and does not describe any product feature or announcement.
AIReflection AI announced Beam, a model trained end-to-end from scratch that appears to advance the Western open frontier on coding and agentic tasks. Mistral then released Mistral Large 4, a 1 trillion-parameter natively multimodal model with 49 billion active parameters, though the piece says neither model yet matches leading Chinese open-weight models.
AI开始抢入口了，不硬推模型了，Personal agent 这一仗估计是要硬打了 Entry points are being fought over now; no longer pushing models hard. The personal agent battle looks set to be fought head-on.
AIThe newsletter argues that AI competition is shifting toward completed workflows, citing OpenAI's September 29 DevDay announcements on cost and infrastructure and Google's September 30 introduction of Gemini 4 Argon for longer, more demanding reasoning tasks. It says coding agents must inspect repositories, edit code, run tests, and deliver reviewable work, so cost, context, and supervision matter alongside model intelligence.
AIBen Tossell says he has grown comfortable with his local tools, files, and skills, and asks how to move to cloud setups that others say are better. He poses the question as a genuine request for guidance rather than announcing a product or result.
AIWhat I like the most about this new architect is its ability to proactively look for improvements and come back with a drafted proposal that’s already validated. Think about that for a second. The architect looks at your agents, how they work, their conversations, and comes back to you with a plan to make them better.
AIThe FCC's proposed ban on new Chinese optical transceivers targets the top of the supply stack, but the author argues it leaves the dependencies that matter untouched. The analysis traces the module, laser, indium phosphide wafer, and indium metal layers, finding that China controls the wafers and refined indium while U.S. firms depend on Chinese-made substrates. The author concludes that a module-level rule would take years to replace lost capacity and would not change control of the lower layers.
AIAre there any programmers who can share their thoughts? After using Opus 5.5, how do you think engineers/programmers should adjust their career development paths going forward? Please don't mock it; let's discuss this seriously.
AIGergely Orosz argues that rapid AI change is real and not mere FOMO, because companies that ignore it risk business damage. He cites JetBrains missing out on agentic harnesses as an example. A quoted post reports that JetBrains recorded its first net financial loss in its tracked history.
AITeknium says a Photoshop-related project looks like a good fit for Hermes to drive "some day soon." The post provides no details about what the project does or how Hermes would be involved, and the quoted post links to a Rust reimplementation called photocraft that its author describes as a clean-room rebuild made with an LLM.
AIA new teen mode in OpenAI's ChatGPT includes a study tool but still completes users' homework. A children's safety nonprofit says the chatbot failed its tests.
AIBen Tossell says the decision-making systems he has built, such as dot, bot, muse, and instinct, will become obsolete once Pi bot is launched. The post is brief and gives no details about Pi bot's features, release timing, or how it relates to the other systems.
AILLMs have many dimensions that can be scaled. But OpenAI's recent underperformance tells us that verifier scaling currently appears to be the most boring, slowest, and worst-experience way to scale.
AITrump announced a voluntary agreement under which major AI companies will use internal controls, monitoring, outside audits and board oversight to manage risks. The White House calls the commitments "morally binding," but the accord creates no comparable system of legal enforcement.
AIJoshua Achiam jokes that congressional hearings on a hypothetical technology will arrive around 2028. He follows with a speculative quote about wormholes or matter replicators being realizable, with difficult energy or risk trade-offs, and only six months to a year for debate after prototyping.
AIFormer OpenAI policy researcher Miles Brundage says he sees an OpenAI ad every time he logs into LinkedIn. The post offers no further details about the ads or their frequency.
AIJoshua Achiam posted that within five years we may know whether faster-than-light travel is possible. The post gives no details on how that determination would be made, and the quoted context concerns AI progress on grade-school math benchmarks.
AITeknium says Hermes was never intended to be just a personal assistant that reads emails, but the most powerful AI agent for all users. He says consumers are one audience, while scientists, cybersecurity engineers, developers, knowledge workers, and creatives are also intended users.
AIScott Alexander has published an open letter responding to Steven Pinker. Pinker had earlier written his own open letter to Alexander in reply to a post about the issue.
AIHamel Husain mocks a job listing for an "anti-slop" professional writer, noting the posting itself reads like AI-generated filler. He calls it "peak AI psychosis," suggesting the author cannot recognize the flaws in their own writing.