Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematicsrenaissancephilanthropy.org·2 pts·ocfnash·0
AI solves International Math Olympiad problems at silver medal leveldeepmind.google·1370 pts·ocfnash·525
Gravitational Wave Detections Will Settle Hubble Constant Conundrumsimonsfoundation.org·1 pts·ocfnash·0
Penetrating the abstract CPU model: Intel store-buffer capacity is measurablenicknash.me·1 pts·ocfnash·0
New Universe Simulation Makes Predictions About Cosmological Structuressimonsfoundation.org·1 pts·ocfnash·0
The genetic code and the unreasonable ineffectiveness of mathematics.americanscientist.org·1 pts·ocfnash·0