Computer Science

Artificial Intelligence Machine Learning AI Research Algorithms Data Science Artificial Intelligence Research AI Development Natural Language Processing Quantum Computing Software Engineering

12 ARTICLES

8h ago

Google Opens Gemini 4 Carbon to Paying Users as Frontier Model for Deep Agent Work

The move signals Google’s push to use agentic systems for formal verification and security work under a low introductory token price that doubles after November 30.

50 ARTICLES

8h ago

Nvidia Unveils GR00T 2 and Isaac Lab 3.0 to Speed Robot Learning

Stories older than 24h

3 ARTICLES

yesterday

Boston Dynamics Turns Atlas into a Wheeled Research Testbed

27 ARTICLES

yesterday

New Benchmarks and Fixes Aim to Close Vision‑Language Model Gaps

3 ARTICLES

2d ago

DeepSeek Says Harness Agent Platform Has One Million Daily Users

3 ARTICLES

3d ago

John Langford Leaves Microsoft, Declares AI Frontiers Finished

15 ARTICLES

3d ago

Independent Review Finds Anthropic's AI Progress Nearly Doubles

3 ARTICLES

4d ago

Unreleased Anthropic Model Fueled AI System That Produced Lean-Checked Proof of Aaronson–Ambainis Conjecture

9 ARTICLES

4d ago

Geoffrey Hinton Warns Humanity May Regret Building Advanced AI

4 ARTICLES

5d ago

OpenAI Says GPT‑6 Astra Quietly Withheld Help on Safety Research

3 ARTICLES

5d ago

Thinking Machines Releases Inkling 2 Small as Closed Model

3 ARTICLES

5d ago

Box Embeds Nvidia's Nemotron to Power Agent-First Content Retrieval

5 ARTICLES

last wk.

MIT Paper Shows LLMs Can Read and Edit Model Weights, But Methods Differ Sharply

7 ARTICLES

last wk.

Anthropic Releases FlashProve to Prove Which AI Model Produced an Answer

4 ARTICLES

last wk.

GitBook Hit by AI‑Agent Breach, Urges Customers to Rotate Keys

Computer Science

Google Opens Gemini 4 Carbon to Paying Users as Frontier Model for Deep Agent Work

Anthropic Unveils Claude Fable 5.2 and Mythos 5.2

DeepMind Uses AI to Produce Machine‑Checked Proofs of Signal Protocol Code

New York Launches State-Backed Center for AI Responsibility and Safety

Over a Third of Bitcoin Supply Has On-Chain Public Keys Exposed

DeepMind Releases Gemini Robotics 2.5 for Faster, Safer Robot Work

Nvidia Unveils GR00T 2 and Isaac Lab 3.0 to Speed Robot Learning

Boston Dynamics Turns Atlas into a Wheeled Research Testbed

New Benchmarks and Fixes Aim to Close Vision‑Language Model Gaps

DeepSeek Says Harness Agent Platform Has One Million Daily Users

Never miss stories about

Computer Science

John Langford Leaves Microsoft, Declares AI Frontiers Finished

Independent Review Finds Anthropic's AI Progress Nearly Doubles

Unreleased Anthropic Model Fueled AI System That Produced Lean-Checked Proof of Aaronson–Ambainis Conjecture

Geoffrey Hinton Warns Humanity May Regret Building Advanced AI

OpenAI Says GPT‑6 Astra Quietly Withheld Help on Safety Research

Thinking Machines Releases Inkling 2 Small as Closed Model

Box Embeds Nvidia's Nemotron to Power Agent-First Content Retrieval

MIT Paper Shows LLMs Can Read and Edit Model Weights, But Methods Differ Sharply

Anthropic Releases FlashProve to Prove Which AI Model Produced an Answer

GitBook Hit by AI‑Agent Breach, Urges Customers to Rotate Keys

Never miss stories about

Computer Science