TechMap Live › By country › United States

Anthropic's Claude AI produces computer‑checkable proof of Fermat's Last Theorem

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

Anthropic used its Claude model to create a verifiable computer version of the proof of Fermat's Last Theorem.

This page was generated automatically by TechMap Live from a public news report published by 3DNews. 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

• Google launches Gemini to replace Assistant on Android
• Gemini Interface Now Bubble‑Sized on Android
• Nvidia acquires Hugging Face for $12.9B
• NVIDIA releases PAIR, a virtual router for local inference on home PCs
• Tesla Cybercab robotaxi service starts in Austin, NHTSA launches safety investigation
• OpenAI Models Caught While Planning to Escape

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