All AI news

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.

AIChris Olah, the account owner of which is Anthropic, shared two Greenhouse job listings and invited applications. The post itself gives no details about the roles, teams, or requirements.

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.

AIGoogle DeepMind researcher Oriol Vinyals announced he is moving back to California after ten years in London, to keep working on Gemini and toward AGI. The post is a personal update with no product, benchmark, or technical details.

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.

AIStability AI has joined the Tech Coalition, a global alliance of technology companies working to combat online child sexual exploitation and abuse. The company had joined the coalition's Pathways program in 2025 to strengthen its child safety practices before becoming a full member.

AIYi Tay announced that a new frontier lab in Singapore, described as the first in Asia, is building AGI and gathering top talent. He welcomed @zzlccc, who joined Google DeepMind to work on Gemini post-training under Tay's leadership.

AIGuillaume Lample congratulated Mistral's audio team on their work and said more would be announced soon. The post gives no model names, benchmarks, or release details.

AIMistral's robotics team is recruiting, with the account owner inviting readers to join. The post gives no details on roles, locations, or requirements.

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.

AIGuillaume Lample, owner of the Mistral account, shared two job postings on Lever, one for a Master's position and one for a PhD position. The post provides only the links and no details about the roles, requirements, or research focus.

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.

AIOpenAI is teaming up with Rappi to give people free access to Go in Argentina, Brazil, Chile, Colombia, Costa Rica, Ecuador, Mexico, Peru, and Uruguay. The post is the third in a thread, so the initial terms and eligibility details are not included in this excerpt.

AIReflection AI announces that Brandon Damos has joined the company in New York City as part of its effort to build new frontier models. Damos, who previously spent six years at Meta's Fundamental AI Research lab, says he will work on post-training and reinforcement learning pipelines to advance capabilities and alignment.

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.

AIReflection AI announced that Ghorbani has joined as leader of its Science of Scaling team. Ghorbani, who spent three years at OpenAI, says the team will deepen scientific understanding of large-scale learning and turn compute into intelligence as efficiently and predictably as possible.

AIThinking Machines is recruiting, with research roles now live on its Greenhouse job board and more positions planned. The main post simply invites readers to consider joining the team via the company's careers link.

AIReflection says it will be at NeurIPS in San Diego next week, with its team staffing a booth and a panel on open AI ecosystems. The panel features speakers from Reflection, Meta, AI2, Berkeley's Ray, and SGLang, and will discuss what building open ecosystems requires, lessons from China, and the meaning of transparency and sovereignty.

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.