The Future Page How far the machines have got https://futurepage.net/ 2026-10-24T00:00:00Z The Future Page Theorems a computer has checked: 291,178 theorems tag:futurepage.net,2026-10-24:0032 2026-10-24T00:00:00Z 291,178 theorems, held by Mathlib, the Lean 4 mathematical library, set 2026-10-23. Written down 2026-10-24. Open problems in mathematics solved: 4.4 per cent tag:futurepage.net,2026-10-23:0002 2026-10-23T00:00:00Z 4.4 per cent, held by GPT-6.1 Sol, set 2026-09-29. Written down 2026-10-23. The fewest mistakes a machine makes transcribing a meeting: 6.08 per cent of words wrong tag:futurepage.net,2026-10-20:0034 2026-10-20T00:00:00Z 6.08 per cent of words wrong, held by zoom/scribe_v2_pro, set 2026-09-04. Written down 2026-10-20. Theorems a computer has checked: 290,718 theorems tag:futurepage.net,2026-10-18:0032 2026-10-18T00:00:00Z 290,718 theorems, held by Mathlib, the Lean 4 mathematical library, set 2026-10-18. Written down 2026-10-18. The largest training run ever disclosed: 9 x 10^26 operations tag:futurepage.net,2026-10-17:0008 2026-10-17T00:00:00Z 9 x 10^26 operations, held by GPT-6 Astra, set 2026-09-03. Written down 2026-10-17. Chess puzzles solved: 76.0 per cent tag:futurepage.net,2026-10-17:0007 2026-10-17T00:00:00Z 76.0 per cent, held by GPT-6 Astra, set 2026-10-15. Written down 2026-10-17. The smallest a gigabyte of Wikipedia has ever been made: 91,778,237 bytes tag:futurepage.net,2026-10-15:0019 2026-10-15T00:00:00Z 91,778,237 bytes, held by ex-girlfriend 1.0, set 2026-10-14. Written down 2026-10-15. Questions answered without inventing an answer: 76.0 per cent tag:futurepage.net,2026-10-15:0006 2026-10-15T00:00:00Z 76.0 per cent, held by Gemini 4 Argon, set 2026-09-30. Written down 2026-10-15. Theorems a computer has checked: 289,891 theorems tag:futurepage.net,2026-10-11:0032 2026-10-11T00:00:00Z 289,891 theorems, held by Mathlib, the Lean 4 mathematical library, set 2026-10-11. Written down 2026-10-11. The smallest a gigabyte of Wikipedia has ever been made: 91,913,343 bytes tag:futurepage.net,2026-10-10:0019 2026-10-10T00:00:00Z 91,913,343 bytes, held by cmix-neif 1.0, set 2026-10-05. Written down 2026-10-10. The most arithmetic ever sustained on scattered data: 22.0 petaflops tag:futurepage.net,2026-10-09:0033 2026-10-09T00:00:00Z 22.0 petaflops, held by LineShine, set 2026-06-22. Written down 2026-10-09. Theorems a computer has checked: 290,195 theorems tag:futurepage.net,2026-10-07:0032 2026-10-07T00:00:00Z 290,195 theorems, held by Mathlib, the Lean 4 mathematical library, set 2026-10-07. Written down 2026-10-07. The most tokens a seventy-billion-parameter model can produce in a second: 1,136,100 tokens a second tag:futurepage.net,2026-10-06:0031 2026-10-06T00:00:00Z 1,136,100 tokens a second, held by CoreWeave GB300 NVL72 (72x NVIDIA GB300), set 2026-09-16. Written down 2026-10-06. The least time ever taken to train a four-hundred-billion-parameter model: 7.07 minutes tag:futurepage.net,2026-10-05:0030 2026-10-05T00:00:00Z 7.07 minutes, held by Azure GB200 (128x NVIDIA GB200 NVL72), set 2026-06-16. Written down 2026-10-05. The most questions ever answered against a hundred terabytes of data: 653,611,141 queries an hour tag:futurepage.net,2026-10-04:0029 2026-10-04T00:00:00Z 653,611,141 queries an hour, held by Tencent Cloud Data Lake Compute, set 2026-04-18. Written down 2026-10-04. The most ordinary work one computer can do: 1,660 times the reference machine tag:futurepage.net,2026-10-03:0028 2026-10-03T00:00:00Z 1,660 times the reference machine, held by Lenovo ThinkSystem SR950 V3, set 2026-06-29. Written down 2026-10-03. Programs rebuilt without seeing the code: 77.4 per cent tag:futurepage.net,2026-10-02:0027 2026-10-02T00:00:00Z 77.4 per cent, held by Claude Opus 5.5, set 2026-09-22. Written down 2026-10-02. The smallest a gigabyte of Wikipedia has ever been made: 95,836,613 bytes tag:futurepage.net,2026-10-01:0019 2026-10-01T00:00:00Z 95,836,613 bytes, held by cmix-lex-transformer lexth11c, set 2026-09-27. Written down 2026-10-01. Assembly mistakes spotted in a photograph: 83.3 per cent tag:futurepage.net,2026-09-27:0026 2026-09-27T00:00:00Z 83.3 per cent, held by Claude Opus 5.5, set 2026-09-22. Written down 2026-09-27. The largest training run ever disclosed: 1 x 10^27 operations tag:futurepage.net,2026-09-26:0008 2026-09-26T00:00:00Z 1 x 10^27 operations, held by GPT-6 Astra, set 2026-09-03. Written down 2026-09-26.