Amazon partners with OpenAI to let users of Amazon's DSP run ads in ChatGPT in a pilot program limited to the US; ChatGPT Ads hit $1B in ARR last month43m ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion1h ago Source: Meta AI researcher Andrew Tulloch, who came over from Thinking Machine Lab as one of the highest paid employees last year, is leaving the company (Reed Albergotti/Semafor)54m ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters58m ago Mach Industries, which makes unmanned military vehicles and weapons, raised $600M in an extension to its $300M Series C, doubling its valuation to $3.7B1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises1h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google1h ago OpenAI Gives US Agencies 50% Off Models, Ending $1 Per Year Deal1h ago 47,000 job listings reveal the engineering roles that AI is creating1h ago Anthropic's Alignment Science lead says there is a ">10%" chance AI could kill all humans within the next decade and is worried about recursive self-improvement (Evan Hubinger/@evanhub)1h ago Ukraine says AI is moving beyond drones and into strike missiles for the first time1h ago Meta Announces Muse AI Agent for Personal Tasks and Organization1h ago Celero raises $275m to bring coherent optics inside AI data centres1h ago Exclusive: Cfo.ai launches an agentic CFO for business founders1h ago

Amazon partners with OpenAI to let users of Amazon's DSP run ads in ChatGPT in a pilot program limited to the US; ChatGPT Ads hit $1B in ARR last month43m ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion1h ago Source: Meta AI researcher Andrew Tulloch, who came over from Thinking Machine Lab as one of the highest paid employees last year, is leaving the company (Reed Albergotti/Semafor)54m ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters58m ago Mach Industries, which makes unmanned military vehicles and weapons, raised $600M in an extension to its $300M Series C, doubling its valuation to $3.7B1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises1h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google1h ago OpenAI Gives US Agencies 50% Off Models, Ending $1 Per Year Deal1h ago 47,000 job listings reveal the engineering roles that AI is creating1h ago Anthropic's Alignment Science lead says there is a ">10%" chance AI could kill all humans within the next decade and is worried about recursive self-improvement (Evan Hubinger/@evanhub)1h ago Ukraine says AI is moving beyond drones and into strike missiles for the first time1h ago Meta Announces Muse AI Agent for Personal Tasks and Organization1h ago Celero raises $275m to bring coherent optics inside AI data centres1h ago Exclusive: Cfo.ai launches an agentic CFO for business founders1h ago

Checked for new stories 27m ago

Updates on Lean

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

Pulled from 124 sources

This week

AI Research6 min read

The man paid to prove Fermat by hand says Claude did it in 11 days

The Next Web4d ago

This month

AI Research3 min read

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

TechCrunch30d ago

AI Research19 min read

TheoremDB – A public workspace for machine mathematics

Hacker NewsAug 9

AI Research4 min read

Postmortem for Kernel Soundness Bug #14576

Hacker NewsAug 1

That's everything we have on Lean right now