Terence Tao - The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

This talk was given on June 10, 2025.

See Terence Tao - Using Claude, ChatGPT to Formalise A Theorem About Magmas in Lean and on feeding the AI models: Alex Kontorovich - Rough Structure and Classification, Revisited.

Subscribe to INI.

Comments

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Welsh Republic Podcast Talking With Kars Collective on Armenia Azerbaijan Conflict

Hitachi HD44780U LCD Display Fonts