Using AI for Math (Fall 2025)

Abstract

We will test problem-solving skills of AI.

Bookkeeping

Instructor: Václav Rozhoň, Robert Šámal

Time: Thursday 14:00 in S221

Topics