#Industry news

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.

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.

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.

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.

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.

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.

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.

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.

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.