5 ms·Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification3 points by d2049 1y ago