#math

3 posts

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.

The Real Reason for Perelman’s Refusal of the Million Dollar Prize