TechMap Live › By country › United States

Anthropic Uses Claude to Formalize Fermat’s Last Theorem

September 5, 2026, 00:41 UTC · San Francisco, United States · Americas · no longer in the live window

Anthropic PBC used its Claude model to produce a computer‑verifiable proof of Fermat’s Last Theorem.

This page was generated automatically by TechMap Live from a public news report published by SiliconANGLE. Coordinates and impact level are estimates — an event is usually pinned at a company's headquarters or launch site. This is an aggregation of news coverage, not original reporting — read the original report before relying on it.

Technology events in United States

• OpenAI Launches GPT-6 Astra Model
• xAI loses court bid to block Minnesota AI nudification ban
• Tesla Cybercab Official Debut Held in Palo Alto
• MapQuest Adds Android Auto Support
• XDOF in talks for $1.2B Series B valuation
• Gimlet Labs raises $300M Series B for inference platform

Latest events

• Nightmare Eclipse publishes zero-day vulnerability in Microsoft Defender
• Rheinmetall tests Battlesuite platform for controlling drones from one center
• Tesla resumes Roadster pre-orders with $50,000 deposit
• US Army contracts $10.64M for Ukrainian-made Skyetion Raybird drones
• North Korea-linked hackers infect 30,000 devices via fake coding tests
• Moonshot AI supplies Kimi K3 model to AWS
• NASA awards SpaceX $946 million for three crewed ISS missions
• LG Display unveils first 24.5‑inch OLED panel with 720 Hz refresh