00:00:00 / 00:00:00

Some News from the Semantic AI Paradise

By Josef Urban

Appears in collection : Mikefest : A conference in honor of Michael Douglas’ 60th birthday

The talk will make a (doomed?) attempt to convince the physicists in the audience that machine-based logic and proof combined with machine-based learning is a creeping revolution in science threatening their job security. In principle, I would like to ground it in at least some examples and demos of today's feedback loops between reasoning, conjecturing, and learning systems for math. But since this is a birthday party, it may also devolve into unhinged philosophizing attempts to understand what is math, physics, science, computing, AI, and their joint future.

Information about the video

  • Date of recording 5/12/22
  • Date of publication 5/13/22
  • Institution IHES
  • Language English
  • Audience Researchers
  • Format MP4


Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback