MATH

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
258 points | 87 comments

A new bridge links the math of infinity to computer science
254 points | 158 comments

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

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]
229 points | 50 comments

The Math of Why You Can't Focus at Work
196 points | 43 comments

Reverse math shows why hard problems are hard
63 points | 8 comments

Great Math Software: List of fun visual math programs
27 points | 0 comments