Luma
Free
In 2 days
Mathematical Superintelligence with Harmonic
Thursday, April 23, 2026 · 7:30 AM – 9:00 AM
TBA
About this event
'Gradient Descending' is a series of roundtables on AI. Past roundtables include RL, Open Source Models, Evals, Fine-Tuning, Agent Frameworks and Knowledge Graphs with companies like OpenAI, Anthropic, Cloudflare, Scale AI and more.
AI can now write and verify rigorous mathematical proofs in formal languages like Lean 4. In the past year alone, AI systems have won gold at the International Mathematical Olympiad and proved open problems that resisted human efforts for decades. Formal verification turns AI reasoning from probabilistic guesswork into something provably correct and is emerging as the safety and security layer for AI-generated software.
We will be joined by Eric Rodrigues from Harmonic together with Brendan and Dennj from Latinum.
Agenda:
Arrivals: 08:30-09:00
Roundtable Discussion: 09:00-10:00
Sign up for future events and insights: https://www.akashbajwa.co/t/ai-roundtables
Sign in to view full event details
Create a free account to see descriptions, save events, and more
Topics & Tags
AI
AI
Date & time
Thursday, April 23, 2026 · 7:30 AM – 9:00 AM
Europe/London
Location
TBA
Europe/London
Attendance
Organised by
Gradient DescendingType
independent
SourceLuma
UpdatedApr 15, 2026
About Mathematical Superintelligence with Harmonic
Mathematical Superintelligence with Harmonic is a free independent taking place on Thursday, April 23, 2026 at a venue to be announced. This independent is organised by Gradient Descending. Attendance is free — register to secure your spot. The event runs for approximately 1 hour and 30 minutes.