MATH

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
263 points | 88 comments

Every mathematician has only a few tricks (2020)
250 points | 82 comments

Reverse math shows why hard problems are hard
172 points | 53 comments

Interop and MathML Core
39 points | 3 comments

The Math Legend Who Just Left Academia–For an AI Startup Run by a 24-Year-Old
30 points | 41 comments

Show HN: RunMat – runtime with auto CPU/GPU routing for dense math
20 points | 4 comments

The College Students Who Can't Do Elementary Math
7 points | 1 comments