Tag
#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.