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)55m ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters59m 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)55m ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters59m 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

AI Research Machine Learning6 min reading time

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

The Next WebPublished 4 days ago

Anthropic's AI agents formalized Fermat's Last Theorem in 11 days by generating 13 million lines of Lean code and proving over 30,000 theorems, surpassing a five-year human project funded with £1m. Kevin Buzzard verified the proof but noted it adds no new mathematics, though it signals a shift toward rapid AI-driven formalization of complex proofs.

#anthropic #claude #fermat-s-last-theorem #formal-verification #kevin-buzzard #lean

More in AI Research

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)

Covered by 9 sources1d ago

AI Research4 min read

Suno trained its v6 AI music models with help from Warner and BMG

Covered by 5 sources1d ago

Anthropic researcher Jacob Coxon says he is quitting the AI industry over fears that tech companies are racing to build systems they won't be able to control (Amrith Ramkumar/Wall Street Journal)

Covered by 11 sources2d ago