Hacker News new | ask | show | jobs
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun)
3 points by d2049 323 days ago