TechMap Live › By country › United States
AI & machine learninghigh impactClaude multi-agent system proves Fermat's Last Theorem
· San Francisco, United States · Americas · no longer in the live window
Anthropic's multi-agent system based on Claude Code completed a formal proof of Fermat's Last Theorem in 11 days, generating approximately 13 million lines of Lean code and completing 30,300 theorem proofs.
- Topic
- AI & machine learning
- Location
- San Francisco, United States (37.775°, -122.419°)
- Region
- Americas
- Impact
- high
- Reported by
- iThome Taiwan
This page was generated automatically by TechMap Live from a public news report published by iThome Taiwan. 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
- HPE patches 34 vulnerabilities in ArubaOS-CX
- Microsoft patches record 974 vulnerabilities in September update
- Meta launches Muse personal AI agent
- C-Track court case management platform data breach
- Meta launches personal AI assistant Muse for consumer task execution
- Google expands Android Digital Credential Alliance for EU digital identity wallet rollout
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