Past Events
Abstract: We study Lagrangian isotopy of tori in S^2 \times S^2 and CP^2 from Dimitroglou Rizell, Goodman, and Ivrii's paper.
Abstract : There is a constant stream of claims about the ability of AI tools to "do math," often interpreted as the ability to provide natural language proofs to well-specified questions. The methods by which such proofs are produced are often opaque, because the systems used to produce them…
In 1974, Paul Erdős posed the following simple conjecture about the relationship between addition and multiplication: for a finite set A (in ℤ, or ℝ, or ℂ, say), either the set of pairwise sums or the set of pairwise products of elements of A is nearly as large as possible -- at least |A|^(…
This talk is a live performance in mathematical illustration using Inkscape, a free and open-source vector graphics editor. I will draw topological concepts in real time, working through path editing, node manipulation, and frequent undo/redo operations. Rather than treating these as…
It was shown recently by Chodosh-Choi-Mantoulidis-Schulze that for a generic initial surface in R^3, the mean curvature flow only has spherical and cylindrical singularities, confirming a well known conjecture of Ilmanen. I will discuss recent work showing that in fact for generic initial…
[BO, section 8] + examples.
In this talk I will present the Monte Carlo Tree Search algorithm and how it was used by Deepmind's AlphaZero. After reviewing the basic algorithms, I will discuss how they are modified in order to prove theorems in Lean.
The Steinhaus function is a random, completely multiplicative function on the integers, whose values on primes are i.i.d random variables uniformly distributed on the complex unit circle. Its study is motivated by the study of deterministic multiplicative functions such as the Möbius function…
I will present a new proof of the stability of flat spacetime in general relativity. The proof is based on a center-normalized Newman-Unti gauge, constructed by fixing a central timelike geodesic and considering the outgoing null cones emanating from it. I will compare the choice of gauge with…