Amazon Quick is now generally available on desktop28m ago Wall Street already loves ChatGPT. Now OpenAI is doubling down.1h ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you50m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent51m ago AI Coding Startup Cognition Now Valued at $48B53m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas56m ago OpenAI Releases GPT-6 Astra for Coding and Computer Use56m ago India’s Pocket FM doubles revenue run rate to $500M as AI powers 93% of audio content1h ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta1h ago Build more natural voice experiences with GPT‑Live‑1 in the API1h ago Microsoft patches a record 974 flaws, and two are already under attack1h ago T. Rowe Price Expands Claude Across Investment Teams and Developers1h ago Val Bercovici, Chief AI Officer at WEKA – Interview Series1h ago Ben Jennings on the Bayeux tapestry – cartoon1h ago

Amazon Quick is now generally available on desktop28m ago Wall Street already loves ChatGPT. Now OpenAI is doubling down.1h ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you50m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent51m ago AI Coding Startup Cognition Now Valued at $48B53m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas56m ago OpenAI Releases GPT-6 Astra for Coding and Computer Use56m ago India’s Pocket FM doubles revenue run rate to $500M as AI powers 93% of audio content1h ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta1h ago Build more natural voice experiences with GPT‑Live‑1 in the API1h ago Microsoft patches a record 974 flaws, and two are already under attack1h ago T. Rowe Price Expands Claude Across Investment Teams and Developers1h ago Val Bercovici, Chief AI Officer at WEKA – Interview Series1h ago Ben Jennings on the Bayeux tapestry – cartoon1h ago

Checked for new stories 14m ago

Updates on Automated Theorem Proving

Every AI story we track on Automated Theorem Proving — 4 stories so far, each summarized in our own words and linked back to the publisher that reported it.

Pulled from 123 sources

This month

Machine Learning5 min read

AI Used to Verify Toughest Mathematics Proof Yet

Covered by 2 sources24d ago

AI Research3 min read

Asked AI to do a mini math breakthrough. It did a mini breakthrough

Hacker News30d ago

AI Research3 min read

An unreleased Anthropic model made progress on one of math’s biggest unsolved problems

TechCrunch30d ago

AI Research1 min read

AI in Mathematics, 2026: From Assistant to Top Researcher

LessWrongAug 3

That's everything we have on Automated Theorem Proving right now