All AI news

AILilian Weng says she is building technologies for better human-AI collaboration on next-generation hardware at scale. The post links to a Thinking Machines announcement of a partnership with Nvidia to power frontier model training and customizable AI platforms.

AIChris Olah, a researcher at Anthropic, shares a Just Security article analyzing the designation of Anthropic as a supply chain risk. The post is brief and links to the article, which is written by a former National Security Council counsel.

AIGeorgetown law professor Mark Zhia predicts a court would likely find the government's treatment of Anthropic arbitrary and capricious under the APA. He argues OpenAI and Anthropic pose similar security risks, yet the government immediately contracted with OpenAI while treating Anthropic worse than Chinese AI firms.

AIMckay Wrigley reposted a statement from @SecWar accusing Anthropic of refusing the Department of War unrestricted access to its models for lawful purposes. The quoted statement directs the Department of War to designate Anthropic a Supply-Chain Risk to National Security, bars contractors from commercial activity with Anthropic, and allows Anthropic services for no more than six months. The author's own added text says only that he finds the situation horrifying and supports Anthropic.

Why it matters: The quoted statement is a direct government action against a named AI lab, giving readers a primary-source view of a dispute over military access to AI models.

AIChatGPT has crossed 900 million weekly users and 50 million paying subscribers, according to OpenAI's Nick Turley. He says people use it for writing, building, research, trip planning, shopping, and everyday tasks, and that growing usage is helping improve response speed, reliability, and naturalness.

AIAletheia, a math research agent, autonomously solved 6 of 10 FirstProof problems without modification, the best result in the inaugural challenge. The author says this is bigger than the IMO-gold achievement from last year, and the results were evaluated by experts with best-of-2 scoring.

AIQuoc Le announced that Aletheia, a math research agent, autonomously solved 6 of 10 FirstProof problems, the best result in the inaugural challenge. The post says this exceeds last year's IMO-gold achievement and points to a paper and thread for full details. The accompanying figure shows 10 unmodified problems, 6 candidate solutions per agent, and expert evaluation yielding 6 solved problems on a best-of-2 basis.

AIJakub Pachocki, OpenAI's account holder, says that after official #1stProof commentary, community analysis, and external expert review, the team now believes its solution to problem 2 is likely incorrect. He thanked reviewers for their engagement and said the team looks forward to continued review.

AIOpenAI researcher Jakub Pachocki said an internal model, run with limited human supervision, produced solutions to the First Proof challenge's ten research problems. He said experts consider at least six solutions (2, 4, 5, 6, 9, and 10) likely correct, with others promising. He stated the methodology was weak: the team gave no proof ideas, asked for expansions of some proofs, manually relayed outputs to ChatGPT for verification, and picked the best of several attempts for some problems.

AIMax Woolf reacts to Claude Code's run-rate revenue growing past $2.5 billion, more than doubling since the start of 2026. He asks whether the doubling of weekly active users since January 1 in roughly six weeks is inflated by holiday effects.

AICognition is opening a London office to expand rollout of Devin, its autonomous software engineering agent, to leading European businesses. The company says finance has emerged as a clear use case, with Goldman Sachs, Santander, Citi, and BNY among partners using Devin for modernization, migration, security remediation, and codebase documentation.

AICognizant is deploying Cognition's Devin autonomous software engineer and Windsurf agentic IDE across its engineering organization and global client base. Engineers already use Windsurf for agent-assisted coding and are exploring Devin for end-to-end tasks such as code migration, refactoring, testing, and maintenance. Cognition will embed forward-deployed AI engineers to support project selection, engineer enablement, and ROI measurement.

AIThinking Machines has parted ways with Barret Zoph, and Soumith Chintala will become the company's new CTO. Murati described Chintala as a seasoned leader who has contributed to AI for over a decade and has been a major contributor to the team.

AIFormer Meta AI leader Ahmad Al-Dahle announced he is joining Airbnb as CTO, citing Meta's open-sourcing of Llama, which has reached over 1.2 billion downloads and 60,000+ derivatives. He said the next challenge is applying advancing model capabilities to products that connect people with real places, working with Airbnb CEO Brian Chesky.

AIInfosys will deploy Cognition's Devin, an autonomous AI software engineer, across its own teams and global client base to expand delivery capacity. The rollout begins in its Financial Services practice, covering banking, payments, capital markets, insurance, and wealth management, and is planned to extend to retail, energy, and healthcare. Over the past six months, Infosys reports material productivity gains, including COBOL and JCP servlet migrations completed in record time.

AIAman Sanger, owner of Cursor, argues that as agents help write an order of magnitude more code, review becomes the main bottleneck in software engineering. The post's context notes that Graphite is joining Cursor, which is relevant to code review workflows.

AIChatGPT's weekly users in Latin America have nearly tripled year over year. The post credits ChatGPT Go with making it easier for more people in the region to use the service.

AIARC Prize reports that the top Kaggle entry reached 24% on the ARC-AGI-2 private dataset at $0.20 per task, and that all winning solutions and papers are open source. The top verified commercial model, Opus 4.5 (Thinking, 64k), scored 37.6% at $2.20 per task, while a Poetiq refinement on Gemini 3 Pro reached 54% at $30 per task. The author argues that refinement loops are the main driver of 2025 progress, and says ARC-AGI-3 is planned for early 2026.

Why it matters: The post links 2025 competition results to a broader argument about refinement loops, showing how benchmark outcomes are being read as evidence of AI reasoning progress.

AIQuoc Le announced that Google's Gemini team is recruiting for a new Singapore team focused on advanced reasoning and LLM reinforcement learning. The post invites exceptional engineers and researchers to join the team, which is led by Yi Tay and reports into Quoc Le's Mountain View group.

AIWarner Music Group and Stability AI announced a collaboration to build professional-grade, ethically trained AI tools for artists, songwriters, and producers. The companies will work directly with artists to shape tools that enhance the creative process while protecting creators' rights and revenue opportunities. Stability AI's Stable Audio models, trained exclusively on licensed data, are cited as the basis for its commercially safe generative audio offerings.

AIAman Sanger of Cursor says the team is hard at work on Composer 2. The post gives no features, benchmarks, or release timing, though it follows Cursor's $2.3B Series D raise and over $1B in annualized revenue.

AIARC Prize Foundation announced ARC Prize Verified, a program that certifies frontier model scores on the ARC-AGI benchmark using hidden test sets and adds a third-party academic panel to audit and open-source its testing process. Five AI labs, including Google and xAI, are sponsoring ARC-AGI-3 development, and the foundation says donations do not influence verification scoring. Models that pass verification will appear on the official leaderboard with a verification badge.

AIUniversal Music Group and Stability AI announced a strategic alliance to co-develop professional music creation tools built on responsibly trained generative AI. The collaboration will work with UMG artists to research their needs and prioritize their feedback in building fully licensed, commercially safe AI music tools. Stability AI's Stable Audio models, which the company says were trained exclusively on licensed data, are part of its audio offering.

AIFactory has announced a partnership with Amazon Web Services and made its Droids agent platform available on the AWS Marketplace. Enterprise teams can use existing AWS Enterprise Discount Program commitments to buy Factory, with Droids accessible from CLI, Terminal UI, Web, Slack, Linear, and an IDE overlay. The source cites 31× faster feature development, 96.1%+ reduction in migration times, and 95.8% reduction in incident resolution times.

AIStability AI and Electronic Arts have formed a strategic partnership to co-develop generative AI models, tools, and workflows for EA's artists, designers, and developers. Among the first initiatives is accelerating the creation of Physically Based Rendering (PBR) materials, such as 2D textures that preserve color and light accuracy across environments. The partners also plan to build AI systems that pre-visualize entire 3D environments from a series of prompts.

AICognition, maker of the AI software engineer Devin, raised over $400M at a $10.2B post-money valuation led by Founders Fund. The company says its acquisition of Windsurf more than doubled its ARR, with combined enterprise ARR up over 30% in the seven weeks after the deal. It also reports Devin ARR grew from $1M in September 2024 to $73M in June 2025, with total net burn under $20M.

AICognition has signed a definitive agreement to acquire Windsurf, including its IP, product, trademark, brand, and team. The deal includes Windsurf's IDE, now with full access to the latest Claude models, and $82M of ARR with enterprise ARR doubling quarter-over-quarter. Cognition says it will invest heavily in integrating Windsurf's capabilities into its products while Windsurf continues operating as before.

Why it matters: The post shows how an acquisition of an AI coding IDE was structured around staff treatment and product integration, with specific ARR and customer figures.