How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
視聴回数: 1.5万 回2025年2月27日
YouTubeAlex Kontorovich
Formalizing a proof in Lean by hand
56:42
Formalizing a proof in Lean by hand
視聴回数: 3.9万 回11 か月前
YouTubeTerence Tao
How to learn Lean programming language | Terence Tao and Lex Fridman
4:27
How to learn Lean programming language | Terence Tao and Lex Frid…
視聴回数: 2.4万 回10 か月前
YouTubeLex Clips
Reading this morning about the at times angry response of the @leanprover Mathlib community to @mathematics_inc's sphere packing formalization, I'm reminded of something Tao said on @dwarkesh_sp recently."I think in the future, there will be entire professions of mathematicians who might take a giant Lean-generated proof and do some ablation on it, trying to remove parts of it and find more elegant ways. They might get other AIs to do some reinforcement learning to make the proof more elegant, a
2:25
Reading this morning about the at times angry response of the @leanpr…
視聴回数: 5万 回4 週間前
x.comKevin Hartnett
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
視聴回数: 1458 回2025年1月14日
YouTubeleanprover community
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
視聴回数: 194 回10 か月前
YouTubeDipartimento di Matematica UNIBO
Formalizing a proof in Lean using Github copilot and canonical
34:39
Formalizing a proof in Lean using Github copilot and canonical
視聴回数: 7.8万 回11 か月前
YouTubeTerence Tao
0:07
Terry Tao: Lean for cleaner thinking
視聴回数: 2360 回3 か月前
YouTubeMath Inc
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
視聴回数: 203 回2 か月前
YouTubeleanprover community
5:43
03:01 からのビデオで検索Importation de Mathlib
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simple et Rap…
視聴回数: 250 回2024年11月22日
YouTubeVic Help
34:35
Is This the End of Handwritten Math? Introducing Lean
視聴回数: 5.3万 回5 か月前
YouTubeAnk Yog
8:21
How Terence Tao uses AI with Lean programming language | Terence Ta…
視聴回数: 2.3万 回10 か月前
YouTubeLex Clips
0:27
MathCode v0.0.3 — Lean proofs as an Obsidian knowledge graph. The agen…
視聴回数: 5164 回1 週間前
x.comJichen Feng
26:49
Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (…
2 か月前
YouTubeleanprover community
54:43
Mathlib Community Meeting April 10, 2026
視聴回数: 1 回1 週間前
YouTubeLean FRO
7:05
Leanの入門教材に入門しよう！Mathematics in Lean4の環境構築 …
視聴回数: 1101 回2024年5月28日
YouTube数学ボーイZ / SUGAKU BOY Z
59:41
【#1】Leanの入門教材！Mathematics in Leanを1から解いていくぞ！
視聴回数: 463 回2024年6月4日
YouTube数学ボーイZ / SUGAKU BOY Z
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
視聴回数: 3900 回2024年11月6日
YouTubeZUCCMAP
28:36
Lean Together 2025: Damiano Testa, An introduction to linters
視聴回数: 600 回2025年1月14日
YouTubeleanprover community
0:53
About Lean programming Language
視聴回数: 319 回9 か月前
YouTubeVLR Training
1:09:56
Alex Best, Formalization and arithmetic geometry: Past, present, a…
視聴回数: 636 回2024年4月14日
YouTubeVaNTAGe
1:36
【#10】Leanの入門教材！Mathematics in Leanを1から解い …
視聴回数: 80 回2024年8月6日
YouTube数学ボーイZ / SUGAKU BOY Z
31:57
定理を証明するプログラミング言語Leanって？環境構築、入門教材の紹 …
視聴回数: 2719 回2024年5月23日
YouTube数学ボーイZ / SUGAKU BOY Z
テレンス・タオが語る数学の境界と未来
10 か月前
note（ノート）福岡 浩二
8:47
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
視聴回数: 1.4万 回2024年6月26日
YouTubeDavid Renshaw
18:54
AIが数学難問を証明。天才タオが警告する1%の真実 ／ GPT-5.2・エル …
視聴回数: 9503 回3 か月前
YouTube情報の灯台_2nd
40:19
Lean 4 overview for Mathlib users - Patrick Massot
視聴回数: 5378 回2023年7月16日
YouTubeleanprover community
0:51
Terence Tao on LLMs: Why AI Works Without a Real Theory Yet
視聴回数: 350 回3 か月前
YouTubeABV — AI · Books · Validation
5:18
人工知能が数学証明を学ぶ革新的手法『Lean-STaR』とは？自然言語思 …
視聴回数: 556 回2024年7月21日
YouTubeAI時代の羅針盤
1:18:16
Alex Kontorovich: First Analysis Lecture (June 16, 2025)
視聴回数: 414 回8 か月前
YouTubeSimons Foundation
その他のビデオを表示する
静的サムネイルプレースホルダー