How does modern AI work? – Math for my mom

This is part of a series of posts aimed at helping my mom, who is not a scientist, understand what I’m up to as a mathematician.

 

Lately, Artificial Intelligence (AI) has made some remarkable milestones. There are computers that are better than humans at the strategy board game GO and at Poker. Computers can turn pictures into short moving clips and can “enhance” blurry pictures as in television crime shows. They can also produce new music in the style of Bach or customized to your tastes. It’s all very exciting, and it feels pretty surreal; remember back when Skype video calling felt like the future?

I’m going to give you a broad overview for how these types of AI work, and how they learn. There won’t be any equations or algebra.

Continue reading How does modern AI work? – Math for my mom

Euclidean Ramsey Theory 2 – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes are taken by me and I have edited them. In the process I may have introduced some errors; email me or comment below and I will happily fix them.

Title: Euclidean Ramsey Theory 2 (of 3).

Lecturer: David Conlon.

Date: November 25, 2016.

Main Topics: Ramsey implies spherical, an algebraic condition for spherical, partition regular equations, an analogous result for edge Ramsey.

Definitions: Spherical, partition regular.

Lecture 1 – Lecture 2 – Lecture 3

Ramsey DocCourse Prague 2016 Index of lectures.

Continue reading Euclidean Ramsey Theory 2 – Ramsey DocCourse Prague 2016

Dual Ramsey, an introduction – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes are taken by me and I have edited them. In the process I may have introduced some errors; email me or comment below and I will happily fix them.

Title: Dual Ramsey, the Gurarij space and the Poulsen simplex 1 (of 3).

Lecturer: Dana Bartošová.

Date: December 12, 2016.

Main Topics: Comparison of various Fraïssé settings, metric Fraïssé definitions and properties, KPT of metric structures, Thick sets

Definitions: continuous logic, metric Fraïssé properties, NAP (near amalgamation property), PP (Polish Property), ARP (Approximate Ramsey Property), Thick, Thick partition regular.

Lecture 1 – Lecture 2 – Lecture 3

Ramsey DocCourse Prague 2016 Index of lectures.

Continue reading Dual Ramsey, an introduction – Ramsey DocCourse Prague 2016

Bootcamp 1 – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes were taken and edited by myself and Michael Kompatscher. In the process we may have introduced some errors; email us or comment below and we will happily fix them.

Title: Bootcamp 1 – Informal meeting.

Lecturer: Jaroslav Nešetřil.

Date: September 20, 2016.

Main Topics: Overview over the topics of the DocCourse; classical result in Ramsey theory

Definitions: Arrow notation, Ramsey numbers, arithmetical progression

Bootcamp 1 – Bootcamp 2Bootcamp 3Bootcamp 4Bootcamp 5Bootcamp 6Bootcamp 7Bootcamp 8

Continue reading Bootcamp 1 – Ramsey DocCourse Prague 2016

Bootcamp 2 – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes were taken and edited by myself and Michael Kompatscher. In the process we may have included some errors; email us or comment below and we will happily fix them.

Title: Bootcamp 2 (of 8)

Lecturer: Jaroslav Nešetřil.

Date: September 21, 2016.

Main Topics: The Rado graph, homogeneous structures, universal graphs

Definitions: Language, structures, homomorphisms, embeddings, homogeneity, universality, Rado graph (Random graph),…

Bootcamp 1 – Bootcamp 2 – Bootcamp 3Bootcamp 4Bootcamp 5Bootcamp 6Bootcamp 7Bootcamp 8

Continue reading Bootcamp 2 – Ramsey DocCourse Prague 2016

Introduction to the KPT correspondence 3 – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes are taken by me and I have edited them. In the process I may have introduced some errors; email me or comment below and I will happily fix them.

Title: Introduction to the KPT correspondence 3 (of 3).

Lecturer: Lionel Ngyuen Van Thé.

Date: November 18, 2016.

Main Topics:

Definitions: Expansion property,

Lecture 1Lecture 2 – Lecture 3

Continue reading Introduction to the KPT correspondence 3 – Ramsey DocCourse Prague 2016

Introduction to the KPT Correspondence 2 – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes are taken by me and I have edited them. In the process I may have introduced some errors; email me or comment below and I will happily fix them.

Title: Introduction to the KPT correspondence 2 (of 3).

Lecturer: Lionel Ngyuen Van Thé.

Date: November 16, 2016.

Main Topics: Computing universal minimal flows, M(S_\infty) , why precompactness is important.

Definitions: Minimal flow, universal flow, Logic action, G -equivariant.

Lecture 1 – Lecture 2 – Lecture 3

Continue reading Introduction to the KPT Correspondence 2 – Ramsey DocCourse Prague 2016

Topological dynamics and Ramsey classes – Ramsey DocCourse Prague 2016

The following notes are from the Ramsey DocCourse in Prague 2016. The notes are taken by me and I have edited them. In the process I may have introduced some errors; email me or comment below and I will happily fix them.

Title: Topological dynamics and Ramsey classes.

Lecturer: Lionel Ngyuen Van Thé.

Date: November 14, 2016.

Main Topics: Proof of KPT correspondence between extreme amenability and ramsey class.

Definitions: Topological group, S_\infty , d_R, d_L , Polish group, ultrametric, G -flow, extreme amenability.

Continue reading Topological dynamics and Ramsey classes – Ramsey DocCourse Prague 2016