ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

895 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

6 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

66 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

991 views

4 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,084 views

4 days ago

Discover AI
Can AI Evolve Itself? Topological Graph Self-Learning (HyEvo)

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

24:27
Can AI Evolve Itself? Topological Graph Self-Learning (HyEvo)

2,390 views

2 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

6 days ago

Eric Tech
I Built 43 Claude Code Skills to Market My SaaS From Zero to 1,000 Users

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 Claude Code Skills to Market My SaaS From Zero to 1,000 Users

4,494 views

6 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,317 views

5 days ago

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

... is built on KRL the kernel modeling language kermel is a standardized logic layer that provides the mathematical vocabulary for ...

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

2 views

4 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

Apple Developer
Accelerate your machine learning workloads with the M5 and A19 GPUs | Apple Developer

Discover how to take advantage of the M5 and A19 GPUs to accelerate machine learning. Find out how to use the Neural ...

34:26
Accelerate your machine learning workloads with the M5 and A19 GPUs | Apple Developer

34,414 views

7 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,834 views

3 days ago

Wolfram U
Course Preview: Introduction to Finite Math

Learn how to optimize, calculate probabilities, study Markov processes and more in Wolfram U's interactive finite math course.

1:38
Course Preview: Introduction to Finite Math

51 views

4 days ago

Software Engineering Courses
Formal Languages and Automata - Chapter 1: Foundational concepts of computation models

This chapter introduces the foundational concepts of computation models, exploring how the flexibility of an automaton's ...

6:39
Formal Languages and Automata - Chapter 1: Foundational concepts of computation models

79 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

83 views

6 days ago

Efficient NLP
Stop testing your prompts equally (there's a provably better way)

Most people evaluate prompts the wrong way. In this video, I show why uniform prompt testing wastes your LLM eval budget and ...

9:05
Stop testing your prompts equally (there's a provably better way)

542 views

5 days ago

Neural Monk
Partial Derivatives explained (Maths Behind AI)

What are Partial Derivatives and why are they important in Artificial Intelligence? In this video, we visually explain **partial ...

14:32
Partial Derivatives explained (Maths Behind AI)

31 views

4 days ago

Prompt Engineering
Self-Evolving AI Is Here — And It's Open Weight

MiniMax M2.7 is the first model showing real signs of self-evolution — it analyzes its own failures, modifies its harness, and ...

11:12
Self-Evolving AI Is Here — And It's Open Weight

9,619 views

2 days ago

Mark P
Chap 04   Lesson 03   Configuring Training Parameters
38:13
Chap 04 Lesson 03 Configuring Training Parameters

0 views

7 days ago

San Diego Machine Learning
Introduction to LLM Inference

We are kicking off a short book club series called An Introduction to LLM Inference. Ted has done a deep dive on how LLM ...

1:30:16
Introduction to LLM Inference

244 views

6 days ago