Claude formalizes Fermat's Last Theorem in 11 days
Anthropic says Claude worked largely autonomously to produce the first end-to-end computer-checked proof of Fermat's Last Theorem, writing 13 million lines of Lean and proving 29,500 intermediate theorems. Kevin Buzzard, who leads a human Lean formalization effort at Imperial College London started in 2024, reviewed the proof and confirmed it holds.
People · Kevin Buzzard, Tianyi Peng
How this story unfolded
1 day · 2 reports · 4 community posts · 6 of 8 shown
More stories today
ChatGPT-Image-2.5 added to Nous Portal for Hermes Agent
Teknium·2 hours ago
South Korea's Sovereign AI project names Artificial Analysis evaluator
Artificial Analysis·2 hours ago
Sam Altman and Dario Amodei to speak at Dreamforce
Kimmonismus·2 hours ago
Muse AI app gains iOS dock integration
Alexandr Wang·2 hours ago
Lina Khan: no AI exemption from existing product liability laws
Lina Khan·2 hours agoCreator automates ComfyUI ad pipeline via Claude Code and MCP
A Reddit user in Lima, Peru is driving an entire ComfyUI pipeline through Claude Code using MCP to generate local ad concepts, with Z-Image Turbo as the base reference model. The goal is a less "plasticky," more organic look.
r/ComfyUI·2 hours ago
ComfyUI MiniMax H3 prompt builder adds RefMods editing
A community ComfyUI node for building MiniMax H3 prompts gets a RefMods update for easier creation and editing. The builder is manual with no LLM connected, and the author describes it as vibe-coded.
r/StableDiffusion·2 hours ago
AI bioweapons report divides experts
A report on AI bioweapon risks is drawing both "chilling" warnings and charges of overreaction from experts, per Science. The split centers on how credible the report's threat assessment is.
Hacker News·2 hours ago