---
title: "1,000 agents completed the formalization of Fermat's Last Theorem in 30 hours. — Anthropic — DecisionGateway"
description: "statement by Anthropic, recorded recently — verbatim quote and source citation."
canonical_url: "https://dgw.tmarket.io/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c"
meta:
  "og:description": "statement by Anthropic, recorded recently — verbatim quote and source citation."
  "og:image": "https://dgw.tmarket.io/og.jpg"
  "og:image:alt": "White network of connected nodes crossed by a timeline on black"
  "og:image:height": "1024"
  "og:image:width": "1024"
  "og:title": "1,000 agents completed the formalization of Fermat's Last Theorem in 30 hours. — Anthropic — DecisionGateway"
  "twitter:image": "https://dgw.tmarket.io/og.jpg"
---

> Index of every page on this site: [llms.txt](https://dgw.tmarket.io/llms.txt)

statement

# **1,000 agents completed the formalization of Fermat's Last Theorem in 30 hours.**

A statement by [**Anthropic**](https://dgw.tmarket.io/actors/01a1bbbb-6dd3-7c64-bf2f-79366edd98b3). Statements are as reported by the cited publishers — not verified by DecisionGateway.

> *1,000 個代理 30 小時完成費馬最後定理形式化*

abmedia\_newsPublished 2026-11-10 [ Read source](https://t.me/abmedia_news/28297)

[**Anthropic dossier **](https://dgw.tmarket.io/actors/01a1bbbb-6dd3-7c64-bf2f-79366edd98b3)

## **Discussion**

## **Related claims**

[**The current correction has so far lasted 30 days.**post author · statement](https://dgw.tmarket.io/claims/01a1d885-4ac3-7920-bdd6-196ec085267a) [**The labor reform is complete and is presented article by article.**lanacionar · statement](https://dgw.tmarket.io/claims/01a1c769-4b74-7440-a7a2-f51decbdabb3) [**Between September and October 2026, 161,000 formal jobs were generated.**Claudia Sheinbaum · statement](https://dgw.tmarket.io/claims/01a1c7a8-4d1c-7102-b4fa-9ed67f9211a2) [**The conversation lasted approximately 15-20 minutes.**Кирилл · statement](https://dgw.tmarket.io/claims/01a1d22b-984d-72a4-b588-4f79540b8986) [**Out of these 17 FTAs, 7 have come into effect in the last 5 years.**The Hindu · statement](https://dgw.tmarket.io/claims/01a1c6d8-ccc1-7fa9-a537-71c89a473c5d) [**For loans from 100,001 som, the waiting period will be 12 hours.**ekoasia · statement](https://dgw.tmarket.io/claims/01a1bd65-2d17-763e-b670-efab2dc9745a)

## **More claims by Anthropic**

[**The $1 trillion valuation is well below estimates, even the most conservative ones.**statement](https://dgw.tmarket.io/claims/01a1d5f8-51ea-7bac-903a-cbfd5b853d05) [**Anthropic will seek to raise $64.4B in its IPO, which would value the company at $1 trillion.**prediction](https://dgw.tmarket.io/claims/01a1d5f8-51dd-7e6f-9a02-1d8886d93db9) [**Revenue growth may be difficult to sustain, and the company may not achieve or maintain profitability in the future.**prediction](https://dgw.tmarket.io/claims/01a1d595-5299-7df2-8345-cd2c38d868e7) [**Anthropic publicly filed an IPO application with Nasdaq under the ticker symbol “ANT”.**statement](https://dgw.tmarket.io/claims/01a1d595-527a-72f1-8678-13b1c17db9b4) [**Anthropic stated that its internal estimates show the pace of AI capability progress may accelerate further.**prediction](https://dgw.tmarket.io/claims/01a1d58b-7829-7d2c-b010-1e09c921ea54)

[All claims by Anthropic](https://dgw.tmarket.io/claims?claimant_id=01a1bbbb-6dd3-7c64-bf2f-79366edd98b3)

[All claims](https://dgw.tmarket.io/claims)

```json
{"@context":"https://schema.org","@graph":[{"@id":"https://dgw.tmarket.io/#website","@type":"WebSite","description":"Decisions, events and falsifiable forecasts from 4,000+ Telegram channels — every claim cited. Read free.","name":"DecisionGateway","url":"https://dgw.tmarket.io/","publisher":{"@id":"https://dgw.tmarket.io/#identity"}},{"@id":"https://dgw.tmarket.io/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c#webpage","@type":"WebPage","description":"statement by Anthropic, recorded recently — verbatim quote and source citation.","name":"1,000 agents completed the formalization of Fermat's Last Theorem in 30 hours. — Anthropic — DecisionGateway","url":"https://dgw.tmarket.io/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c","breadcrumb":{"@id":"https://dgw.tmarket.io/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c#breadcrumb"},"isPartOf":{"@id":"https://dgw.tmarket.io/#website"},"potentialAction":[{"@type":"ReadAction","target":["https://dgw.tmarket.io/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c"]}]},{"@id":"https://dgw.tmarket.io/#identity","@type":"Organization","name":"DecisionGateway","url":"https://dgw.tmarket.io"},{"@id":"https://dgw.tmarket.io/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c#breadcrumb","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","name":"Home","item":"https://dgw.tmarket.io","position":1},{"@type":"ListItem","name":"Claims","item":"https://dgw.tmarket.io/claims","position":2},{"@type":"ListItem","name":"1,000 agents completed the formalization of Fermat's Last…","position":3}]},{"@id":"https://dgw.tmarket.io/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c#/schema/quotation/1","@type":"Quotation","dateCreated":"2026-11-10","isBasedOn":"https://t.me/abmedia_news/28297","text":"1,000 個代理 30 小時完成費馬最後定理形式化","url":"/claims/01a1cbb5-4442-7e1b-a21f-6438eb48fb9c","spokenByCharacter":{"@type":"Person","name":"Anthropic","@id":"/actors/01a1bbbb-6dd3-7c64-bf2f-79366edd98b3"}}]}
```

## Sitemap

See the full [sitemap](https://dgw.tmarket.io/sitemap.md) for all pages.