News: Tech Hiring Jobs Crypto Investments Important
What mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com
198 points by matt_d 1 days ago | 58 comments