How do we bridge two worlds of math?
We release https://arxiv.org/abs/2606.25363, a paper exploring the bridge between formal and informal mathematics. This video goes over the basics of our method, using my voiceover as the basis. Created with Manim Community Edition. Our dataset are available at: https://huggingface.co/datasets/uw-ma... https://huggingface.co/datasets/uw-ma... And our tool is live at https://www.theoremsearch.com/ Thank you for watching! ------ Music: “Origami” by Scott Buckley Released under CC-BY 4.0 www.scottbuckley.com.au
▶︎
This Math Problem is Probably Going to Court
▶︎
Something strange happens when you "bump the base"
▶︎
Why AI Tokens are so Expensive - Computerphile
▶︎
Cross-Attention Explained: How Transformers Translate Any Language
![Yann LeCun's $1B Bet Against LLMs [Part 1]](https://i.ytimg.com/vi/kYkIdXwW2AE/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDbV4izF3i-wxevCVIn7FJjoy1vlA)
▶︎
Yann LeCun's $1B Bet Against LLMs [Part 1]
▶︎
Let’s BUILD a COMPUTER in CONWAY's GAME of LIFE ⠠⠵
▶︎
Are these words really "untranslatable" into English?
▶︎
The Simplest Ancient Math Problem No One Could Solve
▶︎
First Progress in 50 Years on Most Famous Computing Problem
▶︎
Designing Math ft. Grant Sanderson (3Blue1Brown) I Config 2026
▶︎
Violence Expert: Real Self-Defense Is TERRIFYING! Martial Arts WON'T Save You
▶︎
This Chess Puzzle Is Impossible (And You Can Prove It)
▶︎
How my question got in a math competition in Germany
▶︎
The 7 Levels of Logical Thinking
▶︎
Is the AfD a threat to Germany? Mehdi Hasan & Maximilian Krah | Head to Head
▶︎
OpenAI's SHOCKING Move: It's Over
▶︎
Math Has Exactly 7 Levels of Numbers
▶︎
The Million Dollar Equation No One Has Solved
▶︎
Recursive Self-Improvement
▶︎