Accelerating Mathematical and Scientific Discovery with Gemini Deep Thinkdeepmind.google 10zuzatm7modiscuss
Alphaproof paper (IMO 2024 Silver) is finally published in Nature [pdf]nature.com 2zuzatm9mo1 comment
Multiplicative weights or how to approximate maxflow with O(log n) Dijkstraszuza.github.io 2zuzatm6ydiscuss