ThreadEast
Technology trends / Juejin

Anthropic Says Claude Completed the First End-to-End Formal Proof of Fermat’s Last Theorem in 11 Days

View original Chinese title

Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明

Read original on JuejinChinese source · opens in a new tab

The story

An English article summary is not available yet. Read the original on Juejin

Go to the source

Original articles & discussion

For the source’s own discussion, open the original above. No verified comment translations are available here yet.

Ranking history & source details

First recorded Sep 7, 2026, 8:53 AM CST · latest Sep 7, 2026, 8:53 AM CST. Ranks reflect attention on each platform.

Retained daily observations
DayPlatformBest rankLast rank
2026-09-07Juejin#48#48
How rankings are collected

More technology trends

Apple Intelligence’s mainland China version officially announced: It will integrate Alibaba Qwen, with testing opening November 4 alongside the iOS Developer Beta.Apple Intelligence officially launches in China: Alibaba Qwen joins Apple’s ecosystem to help users write copy, read documents, and recognize images.iPhone 18 Pro / Max gets subsidies of up to CNY 1,600 from 20:00; AirPods Pro 3 hits a new low at JD.com7,000mAh battery: Xiaomi 17 with 16GB+512GB reaches a new low of 3,836 yuan after the national subsidy, down from 4,999 yuan.