ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

406 results

Vinh Nguyen
The AI That Proves Math

https://github.com/meituan-longcat/LongCat-Flash-Prover LongCat-Flash-Prover: Native Formal Reasoning via Agentic ...

6:32
The AI That Proves Math

69 views

7 days ago

Warren Powell
The Next Generation of AI: A Universal Framework for Sequential Decision Problems

Large language models have emerged as powerful tools that facilitate the process of humans interacting with computers, but they ...

47:26
The Next Generation of AI: A Universal Framework for Sequential Decision Problems

76 views

5 days ago

MIT Institute Events
2026 Killian Award Lecture: Dimitris Bertsimas

Algorithms for Life: AI and Operations Research Transforming Healthcare, Education, and Agriculture Thursday, March 19, 2026 ...

1:11:03
2026 Killian Award Lecture: Dimitris Bertsimas

1,021 views

4 days ago

Professor Py: AI Engineering
DSPy in Python: Optimize RAG Prompts Against Eval Metrics

DSPy turns RAG tuning from guesswork into metric-driven optimization—learn a reproducible workflow to tune retrieval and ...

7:50
DSPy in Python: Optimize RAG Prompts Against Eval Metrics

5 views

3 days ago

Summation (formerly World of DaaS)
Vlad Tenev and Tudor Achim on mathematical superintelligence and the end of buggy software

Vlad Tenev (Robinhood co-founder/CEO) and Tudor Achim (former helm.ai CTO) are the founders of Harmonic, an AI lab ...

48:55
Vlad Tenev and Tudor Achim on mathematical superintelligence and the end of buggy software

286 views

3 days ago

Eric Tech
I Built 43 AI Marketing Skills — Here's What Happened

I built 43 Claude Code marketing skills and used them to take my SaaS product from zero users to our first 1000 — and in this ...

42:21
I Built 43 AI Marketing Skills — Here's What Happened

4,532 views

6 days ago

Discover AI
Self Evolving Dual AI Agent System = AutoResearch 2.0 (LSE)

The most elegant thing about LSE (Learning to Self-Evolve) is how it tackles the "credit assignment" nightmare of self-correction ...

27:33
Self Evolving Dual AI Agent System = AutoResearch 2.0 (LSE)

5,128 views

4 days ago

Vinh Nguyen
[Podcast] The AI That Proves Math

https://github.com/meituan-longcat/LongCat-Flash-Prover LongCat-Flash-Prover: Native Formal Reasoning via Agentic ...

38:00
[Podcast] The AI That Proves Math

6 views

7 days ago

AutoSysEng TV: System Architecture & Safety
[SysML V2 #5] Structural Modeling 2 - Usage and Connection

Are you still manually synchronizing your Block Definition Diagrams (BDDs) and Internal Block Diagrams (IBDs)? The structural ...

6:19
[SysML V2 #5] Structural Modeling 2 - Usage and Connection

2 views

4 days ago

Discover AI
HyEvo for Topological Reasoning Graph Optimization

Infinite Graph Topology, Caged AI Self-Evolution: HyEvo. This video (based on the pre-print) represents a vital paradigm shift from ...

24:27
HyEvo for Topological Reasoning Graph Optimization

2,443 views

2 days ago

Discover AI
GEPA to VISTA: A Human Prompt Is The Most Complex Thing For AI

From GEPA (UC Berkeley) to VISTA. New AI research done on a single NVIDIA RTX 4090. Impressive. After Prompt engineering ...

39:29
GEPA to VISTA: A Human Prompt Is The Most Complex Thing For AI

2,324 views

5 days ago

BosonQ Psi
BQPhy API Demo Guide: Automating Quantum-Inspired Optimization with Python

Learn how to fully automate your optimization scripts using the BQPhy API. This demo covers the configuration of the main.py file, ...

1:13
BQPhy API Demo Guide: Automating Quantum-Inspired Optimization with Python

2 views

4 days ago

Information Theory in the Geosciences
Session 67 - AI agent framework for hydrologic modeling

In this session, Songkun Yan, School of Civil Engineering and Environmental Science, University of Oklahoma, Norman, OK, USA, ...

1:27:25
Session 67 - AI agent framework for hydrologic modeling

53 views

3 days ago

AutoSysEng TV: System Architecture & Safety
[SysML V2 #1]  SysML V2 Overview and Basic Philosophy (Intro)

Modern systems engineering has reached its limit with traditional tools. In this introductory video, we explore why SysML V2 is the ...

6:40
[SysML V2 #1] SysML V2 Overview and Basic Philosophy (Intro)

5 views

4 days ago

Discover AI
When an AI can Rewrite Itself (Darwin-Gödel HyperAgent)

Meta's HyperAgents: The Science of Self-Rewriting AI. The Illusion of Self-Learning AI: How Meta's HyperAgents Actually Work.

26:54
When an AI can Rewrite Itself (Darwin-Gödel HyperAgent)

3,860 views

3 days ago

Fred de Ruiter
Compiling Certainty
9:14
Compiling Certainty

0 views

4 days ago

Bastiaan Quast
autoresearch for mesa ABM on Claude web

Using Karpathy's autoresearch paradigm for agent-based modelling (ABM) using the mesa library, on Claude web.

14:18
autoresearch for mesa ABM on Claude web

12 views

6 days ago

Dr. Sam 48
Machine Learning for Engineers & STEM Full Course | From Linear Regression to Deep Learning & LLMs

Learn machine learning from an engineering perspective in this full course designed for engineers, STEM students, researchers, ...

4:50:58
Machine Learning for Engineers & STEM Full Course | From Linear Regression to Deep Learning & LLMs

85 views

6 days ago

DATA+ Rwanda
Regrression analysis

Welcome to this video on Regression Analysis in R. This session is designed for beginners and pre-intermediate learners who ...

26:27
Regrression analysis

0 views

4 days ago

Fakhir Shaheen
[comp111 - sp26] Backtracking part 1: Build Solutions, Undo Mistakes

Learn backtracking — the algorithmic strategy where you build solutions one choice at a time and undo when you hit a dead end.

54:32
[comp111 - sp26] Backtracking part 1: Build Solutions, Undo Mistakes

48 views

3 days ago