Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verificationharmonic.fun·3 pts·d2049·0