ViewTube

A sneak peek at the first chapter of Luca Belli's book Hidden Influences | https://hubs.la/Q04bFC0g0 To save 40% off this ...

Think your 9-to-5 is exhausting? Meet Tim. He's dead, but his schedule is still booked solid In this video, we dive into the ...

Who builds your AI tools? Uncover the dark truth of AI data labeling, content moderation, and the $2/hour invisible workforce ...

Be kind to yourself this year. Using Zocdoc is free - visit our sponsor https://zocdoc.com/SciShow to find and instantly book an ...

Formalised maths is often viewed primarily as a tool to verify proof correctness, yet focusing solely on this motivation overlooks ...

Recent weeks have seen dramatic developments in AI and theorem proving. Josef Urban has auto-formalised an entire topology ...

Is it possible to sweet-talk an algorithm? “Try As I Might” Track 4 of 16 from The Reclamation. Ask your phone to play “Try As I ...

In this talk, we survey preliminary work conducted by my research group at RIMS, Kyoto University, since the fall of 2025 on the ...

When you present your work in interviews, it's not really about the work. It's about you. The way you tell your story gives you a lot of ...

Cheating rarely starts with a sudden mistake. It follows a quiet pattern—subtle shifts in behavior, attention, and emotion that most ...

We argue how AI can assist mathematics in three ways: theorem-proving, conjecture formulation, and language processing.

In the past few years Lean, and other interactive theorem provers, have entered the university classrooms. Their use is meant both ...

Tonight's guest is commentator and analyst Jake Julius. Through his videos and discussions on geopolitics, culture, and religion, ...

Lean is an open-source theorem prover and programming language based on dependent type theory, implemented in Lean itself, ...

The Epstein files are finally in the public domain. But two investigators argue the real story goes far deeper than one man, one ...

01:40 - US Bank Stadium & Downtown East Development Economic Impact Study. 51:06 - Department of Administration ...

A discussion with Sergio and Jonas about the future meetings with the ambassadors of Wikimedia Commons Italy. Preparations ...

The dramatic evolution of generative AI, fuelled by the convergence of data and compute, opens up new opportunities for synergy ...

Panellists: Kevin Buzzard, Paola Iannone, Lawrence Paulson.

When it comes to Etsy, Pinterest marketing is the number one source of social traffic to the platform! This video explains how to ...