Media Summary: Zaremba's conjecture: Benfrod's law in Collatz ... Abstract: We will discuss recent progress in formalization technology, such as the theorem prover Lean and its surrounding ... Subtitle The lead maintainer of CSLib on programming languages,
Make It Formal By Latinum Episode 2 Alex Kontorovich - Detailed Analysis & Overview
Zaremba's conjecture: Benfrod's law in Collatz ... Abstract: We will discuss recent progress in formalization technology, such as the theorem prover Lean and its surrounding ... Subtitle The lead maintainer of CSLib on programming languages, We will discuss what doing research math may look like, if/when AI and formalized libraries catch up to the frontier. Follow along with the notes: Countable/Uncountable Infinities, Limits of ... Follow along with the notes: Compact, Open, Closed Sets, Least ...
ABSTRACT We will discuss some lessons learned from the PNT+ Project (complex analysis, large collaborative formalization, ... Title: Rough Structure and Classification, Revisited Speaker: Professor October 20, 2025 Lean Learning Seminar Lecture by Professor The Power of Art: Defending a Transnational Understanding of European Culture – Conference and Network Meeting of the ... Follow along with the lecture notes: Continuation of Pythagorean Triplet ... Week 1 (June 16-20th) is devoted to training PhD students and postdocs on formalization via three courses teaching mathematics ...
