Mathematical Superintelligence with Harmonic

Name: Mathematical Superintelligence with Harmonic
Start: 2026-04-23T08:30:00.000+01:00
End: 2026-04-23T10:00:00.000+01:00
Location: Register to See Address

Gradient Descending

Register to See Address

Approval Required

Your registration is subject to host approval.

Welcome! To join the event, please register below.

You will be asked to verify token ownership with your wallet.

About 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

Location

Please register to see the exact location of this event.

Presented by

Gradient Descending

AI Roundtables: Curated deep dives with technical builders.

Hosted By

AI