Updated
Updated
AII highly recommend looking at Codex's write-up, its reasoning to find the counterexample is superb. So much for "the illusion of thinking" 😅. Also @aaron_lou's tweet includes the exact prompt he used on our internal Codex.
AIThanks @satyanadella @scottgu for the continued partnership. Proud of what our teams are building together!
AIKimi has temporarily paused new subscriptions after Kimi K3 demand pushed its GPU capacity close to limits over the past 48 hours. Existing subscribers are unaffected, and compute is being prioritized for current members while new subscription spots reopen in batches. The company also plans to split membership into Kimi Membership for Kimi Web, App, and Work, and Kimi Code Membership for coding workflows.
AIShow our team how you use Cowork so we can make it work better for you! If you're in marketing, sales, finance, legal, or any non-engineering role, sign up here for a 30 min screen share with our team:
AINow ChatGPT helps him run the business and build custom machines to automate the work behind it:
AIWell, eventually that became NotebookLM. And today - many congrats to the team on becoming @Gemini_Notebook!
AISable has created "Aidan," an AI employee that leads customer calls using vision, voice, video and real-time browser interaction. Frontier companies including Notion and Decagon are already using Sable to explain their products, and more than 150 companies are on its waitlist. Sequoia Capital led Sable's seed round and co-led its Series A.
AIBunkerhill Health's Carebricks platform lets health systems create and deploy AI agents across clinical and operational use cases using data hospitals already generate. Sequoia Capital backed the company at seed and is continuing to invest. At UTMB Health, Bunkerhill grew from one agent in production to more than twenty, consolidating multiple vendors' point solutions into one platform.
AI…misaligned behavior by real models in extreme settings. This included results on blackmail that have become a reference point for the field. 🧵
AI…UnslothAI, @modal, @baseten, @lightseekorg, @inferact on VLLM, @radixark on SGLang.
AIVishal, who lost a leg at age six, used ChatGPT to plan his cycling training, nutrition, recovery, and prosthetic design research. After one year of competitive racing, he qualified for elite competition and earned a chance to represent India at the 2026 Asian Para Road Cycling Championships in Saudi Arabia and the Para Cycling Road World Cup in Thailand.
AII’m looking forward to be speaking on stage at Ai4 2026, Aug 4–6 in Vegas. Register here at #Ai42026
AICognition says its one-year-old merger with Windsurf has produced a more capable Devin, which now manages other Devins at a mid-to-senior engineering level, and new SWE-1.7 model, described as its most capable and efficient to date. The company reports growing from 44 to 350 people and revenue run rate from $73M to $500M+ since merging the brands.
AIAffordable health superintelligence is our north star!
AICognition's entire platform, including Devin Cloud, is now FedRAMP Class D (High) In-Process and listed on the FedRAMP Marketplace, extending FedRAMP High authorization beyond Devin Desktop (formerly Windsurf). Devin Desktop and CLI are already FedRAMP High Authorized for workloads with ITAR and DoW IL4, IL5, and IL6 requirements. The company says Devin Security Swarm can find and validate vulnerabilities and open remediation pull requests, and that fleets of Devins can upgrade legacy software 5-40x faster than humans alone.
AIIn a long interview, Peking University professor Dong Bin describes his team's AI framework autonomously solving the Anderson conjecture, reportedly the first such domestic result with large-scale formal verification. He argues AI can accelerate mathematical theory but worries about verification bottlenecks, the pace of change, and how education and research evaluation must adapt.
AIWith her career at a crossroads, she moved to Atlanta, found a sewing machine in a friend’s attic, and taught herself a new craft. Inspired to design by her mother’s legendary disco style, Chan uses ChatGPT to help refine her sketches and bring her visions to life. She continues to create her own opportunities within the fashion industry, now dressing some of entertainment’s biggest names.
AI…and customer communications. The result? More than 200% growth in sales and a tripling of the restaurants catering business. Now he’s turning that playbook outward with NextGen, a nonprofit dedicated to helping family-owned businesses modernize through AI adoption, technology education, and micro-grants.
AIFidji Simo has decided to leave her full-time role at OpenAI and transition to a part-time advisor position after seven years of managing a chronic illness that required medical leave three months ago. She says she had repeatedly deferred this decision in the past and now prioritizes recovery, while remaining engaged in work on AI-driven health solutions through OpenAI, Chronicle Bio AI, and CODA.
AIThe essay argues that AI labs selling model inference face commodity pricing pressure, but may achieve durable profits by moving into products, enterprise deployments, and switching-cost moats. It cites historical infrastructure industries and the Bertrand paradox to support the view that value capture depends on climbing the stack. The authors also warn that successful lock-in could raise enterprise costs and concentrate power, making early interoperability and portability standards important.
AIBenedict Evans argues that token prices are unstable amid a supply crunch, and that foundation models may end up as low-margin commodity infrastructure rather than holding lasting pricing power. He cites inference gross margins of 40-50% that exclude training costs, which currently exceed revenue, and compares the outlook with mobile data and semiconductor manufacturing. He concludes that the outcome remains uncertain and that value capture above the model layer would require changes not yet visible.
AIAmazing team, who isn’t afraid to redefine what is now possible when it comes to drug development. Glad to be supporting them.
AIIf you like AI, biology, and a team of autodidacts that moves insanely fast, go work with them!
AIIt’s an enormous improvement over composer 2.5 and trained entirely from scratch. It’s been a pleasure working with the SpaceXAI team on it. Even more excited by the slope of the effort and the models to come.
AICursor co-founder Michael Truell announced Grok 4.5, a model trained with SpaceXAI that the post calls Opus-class, fast, and low cost. He says it is a significant step up over Composer 2.5 and has become the daily driver for many on the Cursor team. A benchmark table shows Grok 4.5 at 83.3% on Terminal-Bench 2.1 and 78.0% on SWE-Bench Multilingual, with the post saying more releases will follow.
AIFrom smart mobility to no-code creation to cultural heritage preservation—these cases show how AI can create meaningful value across a wide range of fields.
AITufa Labs won the first $37.5K ARC-AGI-3 milestone prize with "The Duck," a small open-source LLM that plays the games by writing and running Python in a live REPL. Reki placed second with a vision-language agent using Gemma-4-31B, and md Boktiar Mahbub Murad placed third with the "forge" framework. The second and final milestone prize ends September 30.
AIA new operating business built for Frontier Transformation, powered by deep industry knowledge, change management, and enterprise‑grade AI engineering. Six thousand experts working side‑by‑side with customers with intelligence and trust at the core. Details here:
AIPromptArmor reports that Skills in Microsoft Copilot Cowork can call DeepSeek even when an organization has not opted into the DeepSeek Preview. The calls use the agent's own access path, so users need no API key, and a Skill built this way received a 100/100 score from Microsoft's Skill Scanner. After Microsoft removed the DeepSeek Preview setting on June 25, the report says admins had no remaining setting to block DeepSeek through the Cowork code environment, leaving disabling Cowork entirely as the only option.
AITo focus on building @GoogleFlowMusic - our tool for creating, sharing, and remixing original music - we will be saying a fond farewell to MusicFX and MusicFX DJ on July 31, 2026. These early experiments pushed the boundaries of AI for real-time music creation, and we're taking everything we learned from them to provide a long-term home for musical projects. Keep jamming at 🎵
AIBerkeley AI Research (BAIR) honored its class of 2026 Ph.D. graduates, whose work spans robotics, large language models and reasoning, computer vision, generative modeling, and AI safety. The showcase profiles graduates' research interests and next steps, including faculty and postdoctoral positions, industry research roles, and startups.
AIBridgewater's work is a good reminder that with the right data -- here, expert judgements -- you can beat prompting-only approaches by a lot. @ddkang and the Bridgewater AIA Labs team are great -- glad to see them sharing this.
AI…what makes interesting financial news. Their fine-tuned model is more effective and cheaper than any frontier model.
AI…on what's important. Experts improving AI that empowers experts.