ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

223 results

AI Proved What?
A PCP Theorem for PPAD? An AI Claims a Quasilinear, Gate-Robust Reduction From End-of-Line

Result 136 in OpenAI's math release claims a proof of the quasilinear PCP-for-PPAD conjecture. In End-of-Line, two circuits name ...

6:28
A PCP Theorem for PPAD? An AI Claims a Quasilinear, Gate-Robust Reduction From End-of-Line

0 views

35 min ago

AI Proved What?
Can Block Sensitivity Beat Sensitivity Squared? An AI Claims Yes, Without Bound

Result 132 in OpenAI's math release claims a superquadratic separation between sensitivity and block sensitivity, two basic ...

6:27
Can Block Sensitivity Beat Sensitivity Squared? An AI Claims Yes, Without Bound

0 views

37 min ago

AI Proved What?
One More Bin? An AI Claims to Disprove a Bin Packing Conjecture and Prove Additive Hardness

Result 118 in OpenAI's math release claims to disprove the modified integer round-up conjecture for bin packing, and that ...

5:54
One More Bin? An AI Claims to Disprove a Bin Packing Conjecture and Prove Additive Hardness

0 views

44 min ago

AI Proved What?
How Hard Is Weisfeiler–Leman Refinement? An AI Claims Unconditional Lower Bounds

Result 133 in OpenAI's math release claims to settle how hard Weisfeiler–Leman refinement is. Colour refinement and its ...

8:06
How Hard Is Weisfeiler–Leman Refinement? An AI Claims Unconditional Lower Bounds

0 views

37 min ago

AI Proved What?
Three Colors, No Help? An AI Claims Hardness of Finding Independent Sets in Three-Colorable Graphs

Result 106 in OpenAI's math release claims that a three-coloring promise does not help find large independent sets. A graph that ...

5:59
Three Colors, No Help? An AI Claims Hardness of Finding Independent Sets in Three-Colorable Graphs

0 views

49 min ago

AI Proved What?
Subset Sum in 2^(0.49n) Time? An AI Claims to Beat Meet-in-the-Middle

Result 138 in OpenAI's math release claims a randomized algorithm for worst-case Subset Sum that runs in O(2^(0.49n)) time, ...

6:34
Subset Sum in 2^(0.49n) Time? An AI Claims to Beat Meet-in-the-Middle

0 views

35 min ago

Math Unlocked
How to Read Python Error Messages (Tracebacks for Beginners)

Learn to read Python error messages in seconds, with every error run live in Jupyter. This is Lesson 2 of Python for AI and Data, ...

3:24
How to Read Python Error Messages (Tracebacks for Beginners)

1 view

33 min ago

AI Proved What?
Three Blades Win? An AI Claims the Gaussian Propeller Conjecture in Every Dimension

Result 096 in OpenAI's math release claims the Gaussian propeller conjecture in every dimension. Split space into a few pieces ...

6:24
Three Blades Win? An AI Claims the Gaussian Propeller Conjecture in Every Dimension

0 views

55 min ago

Roshan Ali Academy
Automate Award Lists & Transcripts in Minutes! Generate Grade, Award List & Transcript Automatically

Say goodbye to tedious manual mark entry! In this video, I introduce an advanced Python-built, AI-assisted Award List and Student ...

12:49
Automate Award Lists & Transcripts in Minutes! Generate Grade, Award List & Transcript Automatically

0 views

3 min ago

AI Proved What?
Sampling With Almost No Queries? An AI Claims d^ε Oracle Calls for Log-Concave Targets

Result 139 in OpenAI's math release claims that sampling from a well-conditioned log-concave distribution needs fewer oracle ...

6:25
Sampling With Almost No Queries? An AI Claims d^ε Oracle Calls for Log-Concave Targets

0 views

34 min ago

AI Proved What?
Tables With Any Margins? An AI Claims Exact Sampling and Counting of Contingency Tables

Result 115 in OpenAI's math release claims an exact uniform sampler for contingency tables with any margins, and a fully ...

6:47
Tables With Any Margins? An AI Claims Exact Sampling and Counting of Contingency Tables

0 views

45 min ago

FmPro Migrator
FmPro Migrator Python VisualFoxPro 16x9 1920x1080

Full Featured FmPro Migrator Trial Edition (Including AI Code Conversion) https://www.fmpromigrator.com/order/index.html#trial.

0:25
FmPro Migrator Python VisualFoxPro 16x9 1920x1080

0 views

2 min ago

AI Proved What?
Do Three Stars Suffice for Every Regular Language? An AI Claims Generalized Star Height 3

Result 134 in OpenAI's math release claims that three nested stars always suffice. Regular expressions build languages from ...

6:15
Do Three Stars Suffice for Every Regular Language? An AI Claims Generalized Star Height 3

0 views

37 min ago

AI Proved What?
Who Wins in the Long Run? An AI Claims Quasipolynomial Algorithms for Mean-Payoff Games

Result 104 in OpenAI's math release claims quasipolynomial algorithms for mean-payoff games. Two players move a token ...

7:11
Who Wins in the Long Run? An AI Claims Quasipolynomial Algorithms for Mean-Payoff Games

0 views

51 min ago