Skip to contentSkip to stories

Updated

#Industry news

Showing low-relevance items too. Hide low-relevance items

Mar 1

Mar 1Sun

Feb 28

Feb 28Sat

Feb 27

Feb 27Fri
  1. Mckay WrigleyAI score80

    Pentagon Secretary moves to label Anthropic a supply-chain risk

    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.

Feb 26

Feb 26Thu

Feb 25

Feb 25Wed
  1. Quoc LeAI score53

    Google's Aletheia math agent solves 6 of 10 FirstProof problems

    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.

Feb 24

Feb 24Tue
  1. Replit BlogAI score43

    Replit Pro launches at $100/month as Core drops to $20/month

    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.

Feb 23

Feb 23Mon

Feb 19

Feb 19Thu

Feb 14

Feb 14Sat

Feb 12

Feb 12Thu

Feb 11

Feb 11Wed
  1. Yi TayAI score67

    Aletheia math research agent produces two papers and solves open Erdős problems

    AIYi Tay introduces Aletheia, a math research agent powered by an advanced version of Gemini Deep Think. The post says it produced two publishable papers, one fully automatic and one human-AI collaboration, and solved multiple open Erdős problems. The attached image shows a Google DeepMind paper titled "Towards Autonomous Mathematics Research" with a generator, verifier, and reviser loop.

    Image from @YiTayML's post

Feb 9

Feb 9Mon

Feb 7

Feb 7Sat

Feb 4

Feb 4Wed

Feb 3

Feb 3Tue

Jan 27

Jan 27Tue
  1. Cognition Blog (Devin, Windsurf)AI score32

    Cognition opens London office to expand Devin autonomous coding for European businesses

    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.

  2. Cognition Blog (Devin, Windsurf)AI score38

    Cognizant Partners with Cognition to Scale Devin and Windsurf Across Its Engineering Teams

    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.

Jan 15

Jan 15Thu

Jan 14

Jan 14Wed

Jan 6

Jan 6Tue
  1. Cognition Blog (Devin, Windsurf)AI score42

    Infosys partners with Cognition to deploy Devin AI software engineer across its enterprise

    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.

Dec 19, 2025

Dec 19, 2025Fri

Dec 11, 2025

Dec 11, 2025Thu

Dec 8, 2025

Dec 8, 2025Mon

Dec 4, 2025

Dec 4, 2025Thu
  1. ARC PrizeAI score62

    ARC Prize 2025 results point to refinement loops as the central AI reasoning trend

    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.

  2. Yi TayAI score38

    Google DeepMind's Gemini team launches new reasoning research group in Singapore

    AIYi Tay announced that Google DeepMind's Gemini team is starting a new research team in Singapore focused on advanced reasoning, LLM/RL, and improving frontier models such as Gemini and Gemini Deep Think. The team is led by Tay and reports to Quoc Le's broader team in Mountain View, which recently contributed to IMO and ICPC gold medal results with Gemini Deep Think. The team is starting small and is recruiting exceptionally capable engineers and researchers from the region and beyond.

    Image from @YiTayML's post

Dec 2, 2025

Dec 2, 2025Tue

Dec 1, 2025

Dec 1, 2025Mon