Breakthroughs in Number Theory and AI-Driven Proofs Earn Inaugural Justin Sun Prizes
GENEVA, SWITZERLAND — The Office of Justin Sun announced the inaugural recipients of the Justin Sun Prize, marking a significant milestone at the intersection of classical mathematics, formal verification software,…
