Astra AI Discovers Simpler General Proof for First Passage Percolation VarianceAIScott ArmstrongAhmed Bourabee11 hours ago