Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens

Anthropic's Claude recently formalized Fermat's Last Theorem in just 11 days, a task Kevin Buzzard's £1 million project aims ...
Crypto Briefing

NEAR AI’s Lean agent solves every Putnam problem for $111, 250x cheaper than rivals

NEAR AI's open-source Lean agent solved all 672 PutnamBench problems for $111, making it 250x cheaper than the next-best ...
Nature

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days

Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.

OpenAI Astra: All about the quantum math-solving model with 'critical' hacking skills

Credit: Photographed by Joseph Maldonado / Mashable Composite by René Ramos Do you understand quantum parallel repetition?
Scientific American

Was this record-setting encryption crack a fluke—or the new normal?

A researcher’s social media post revealing how to break part of a popular encryption protocol has gone viral. But did he ...
Crypto Briefing

Claude helps complete first formalized proof of Fermat’s Last Theorem

Anthropic's Claude AI completed the first machine-checked formalization of Fermat's Last Theorem in Lean 4, verifying over 29 ...
yellow

Claude Fable 5.1 Cracked In 44 Minutes A Cipher That Beat Scholars For Centuries

A 17th-century cryptogram by Thomas Urquhart gave way in 44 minutes when Vals AI pointed Anthropic's Claude Fable 5.1 at it.
Technobezz

Google Says Antigravity Agents Cracked Seven Open Math and CS Problems

Google says pairing Antigravity's Teamwork framework with Gemini 3.7 Flash cracked seven open math and computer science ...