#Industry news

AIIlya Sutskever says it is extremely good that Anthropic has not backed down and significant that OpenAI has taken a similar stance. He argues that future situations of this nature will be more challenging, and that relevant leaders and fierce competitors must put their differences aside to rise to the occasion.

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.

AIReplit launched a $100/month Pro plan with Turbo Mode, pooled credits for up to 15 builders, and priority support, while cutting Core from $25 to $20 per month and letting it invite up to 5 collaborators. The Teams plan is being sunset, with Teams users automatically upgraded to Pro at no additional cost for the rest of their term. Economy and Power Modes for Agent are available on all paid plans.

AIBenedict Evans argues that OpenAI lacks a clear competitive lead, since frontier models are close in capability and its user base shows shallow engagement. He contends that its capex-heavy platform strategy does not yet create the network effects that powered Windows or iOS, leaving execution as the main advantage.

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.

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.

AIGoogle's latest blog post describes how Gemini Deep Think is being applied to advance mathematical and scientific research. The post itself gives no specific benchmarks, figures, or release details beyond this announcement.

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.

AIOpenAI now lets ChatGPT Pro users give friends three months of ChatGPT Plus access, though gift cards are not available. Pro users who held that status as of December 1 will find their share link in email or as a notification in ChatGPT on the web.

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.

AIGoogle's Gemini 3 Deep Think (Preview) reaches 45.14% on ARC-AGI-2's semi-private eval at $77.16 per task. ARC Prize says this doubles the prior state of the art, with Gemini 3 Pro scoring 31.11% at $0.81 per task.

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.

AIThinking Machines is expanding free access to Tinker for researchers and instructors through a grants program. The program offers credits for scholars and students to fine-tune and experiment with open-weight LLMs.

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.

AICognition tested whether its Devin AI agent could recover Windows machines stuck in the Blue Screen of Death after the CrowdStrike outage. Following a playbook of eight steps, Devin mounted the drive, deleted the faulty CrowdStrike files, and debugged a failed volume detach. The blog says the machine was confirmed bootable, and that playbooks are most useful when the same fix must be repeated across many machines.