Features Discover Use Cases Pricing Blog

Discover TopicsProof Assistants

Proof Assistants

1 video summary

Videos About Proof Assistants

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Lex Fridman

Related Topics

Fluid Dynamics Hilbert's Problems Navier-Stokes Equations Kakeya Problem Philosophy Of Mathematics Prime Numbers Euler's Identity Twin Prime Conjecture

Software & Apps

GitHub Copilot Wolfram Alpha LaTeX Lean

People

Andrew Wiles James Clerk Maxwell Peter Scholze John Horton Conway

Concepts

Fermat's Last Theorem Riemann hypothesis Conway's Game of Life P vs NP problem

Summify

Capture knowledge from anything you watch, read, or say.

Product

Pricing
Discover
Blog
Affiliate Program

Features

Summarize YouTube
Transcribe YouTube
Translate YouTube
PDF Summarizer
Voice Notes
AI Chat

Legal

Terms of Service
Privacy Policy

Contact

Contact Us
contact@summify.io

© 2026 Betastate Ltd. All rights reserved.