Speaker
Sean Simms
Founder & CEO, Manazo Labs (HarmonicQ Inc.) — Halifax, Nova Scotia
Most AI research is tested by running experiments and comparing results on standard tests. But what happens if you check a published AI method using strict, formal math instead of just experiments? This talk walks through a real example: we used the Lean 4 proof system to mathematically verify Google Research’s TurboQuant method. The full proof includes 8 files and 58 machine‑checked results, with no gaps or assumptions. While doing this, we also fixed three issues in the original paper: we improved one of the constants by 43%, we put a clear limit on an assumption that was previously left open‑ended, and we proved that one of the design choices in the method is actually the best possible. The talk ends with a live demo showing how these verified results can be used in real AI systems.
Dec
3
Thu
Entrepreneurial Edge:A Complete Guide to Starting a Business in Nova Scotia
Becoming an entrepreneur can be daunting. Do you have what it takes? Where do you start? Join us to find out! Are you an aspiring entrepreneur looking to kick-start your business idea? If you’re not…
Learn more
Nov
21
Sat
CyberSci Regional Challenges
CyberSci Regional Challenges will be happening across Canada on Saturday, November 21, 2026—with over 400 of our top university & college cybersecurity students competing. See Canada's emerging cyber talent in action! Sponsors interact directly with teams as they investigate vulnerabilities, solve problems, collaborate, and demonstrate their skills in real time.
Learn more
Oct
20
Tue
Oct
22
Thu
GEO Forum 2026 Digital Inclusion: The Super Social Determinant of Health
Join us Tuesday, October 20 through Thursday, October 22 for GEO Forum 2026 — a free, virtual event hosted by GEO Nova Scotia that will bring government, community, and business together to explore t…
Learn more
Oct
19
Mon
Oct
22
Thu
Small Business Big Growth Week 2026
Learn more