Discussion: Video recordings Math in age of automated proofs

Stream: general

[Somo S.]

Lenny Taelman said:

Video recordings for the public symposium Mathematics in the age of automated proofs in Leiden are now available on YouTube. The lectures are:

1. Thomas Hubert (Google DeepMind): AlphaProof: From the lab into your hands
2. Stephanie Dick (Simon Fraser U): After Math: historical perspectives on automated intelligence
3. Akshay Venkatesh (Institute for Advanced Study): What do we tell our students about AI?

This symposium concluded the workshop Mechanization and Mathematical Research, in which quite a few people active here participated.

These are excellent talks finally got an idea of what Deepmind's AlfaProof is doing.
I just wish all these videos were in a higher resolution (at least 1080p), it's extremely difficult to see the text on the presentation slides. @Lenny Taelman Are the original slide decks published or available somewhere so we can see what we couldn't in the video (say pdf or pptx or something)?

[Lenny Taelman]

Not all speakers have shared their slide decks, but I can put the ones available on the website. And I'll try to upload a higher resolution version (the raw files certainly have a higher resolution, I don't know why it was down sampled).

[Somo S.]

Thank you!

[Marcello Seri]

It was a great event, thanks for organizing it and making it public