Join us Wednesday, December 3, 2025 from 2-3pm Pacific for a special seminar, "The future of formal mathematics is here", by Tudor Achim, Co-Founder and CEO of Harmonic, whose formal reasoning model Aristotle achieved gold medal equivalent performance on the 2025 IMO: www.slmath.org/seminars/28957.