#math

4 posts

Oct 13, 2026 · Essay · 1 min
A Rope Around the Earth is 1 Meter Longer
A rope around the Earth is 1 meter longer - and a cat can crawl under it. The gap is almost 16 cm, independent of the radius.
Aug 31, 2025 · Essay · 1 min
The Real Reason for Perelman’s Refusal of the Million Dollar Prize
Perelman refused the million dollars, disappointed with the scientific community and its conformity.
Aug 21, 2025 · Essay · 1 min
GPT-5-pro Solved a Problem Where People Got Stuck
GPT-5-pro found a more accurate boundary for step selection in convex optimization.
Dec 14, 2023 · Essay · 1 min
Lean Copilot: A New Step in Theorem Proving Automation
Lean Copilot is a new tool that changes the theorem proving process with the help of AI.

A Rope Around the Earth is 1 Meter Longer