Leírás
Abstract:
Computation-intensive approaches to problems in pure mathematics have a long history, c.f. the 4-color theorem and Hales' proof of the Kepler conjecture. The latest advancements in computer search methods and available computational resources provide an additional impetus to these approaches. The talk will showcase some of our work in this vein, including:
- Resolving Erdős' conjecture that the density of a measurable planar set avoiding unit distances cannot reach 1/4 [1].
- Establishing upper and lower bounds on the number of straight lines needed to slice all cells of an n x n square grid [2].
More broadly, the talk will include a brief introduction to the work done by the Rényi Institute AI research group, placing it in the context of recent developments in AI.
[1] https://arxiv.org/abs/2207.14179 The density of planar sets avoiding unit distances. Gergely Ambrus, Adrián Csiszárik, Máté Matolcsi, Dániel Varga, Pál Zsámboki.
[2] https://arxiv.org/abs/2111.09702 Piercing the chessboard. Gergely Ambrus, Imre Bárány, Péter Frankl, Dániel Varga.
Zoom access:
https://us06web.zoom.us/j/88299293409?pwd=YkpPYS95RXJnZ1FhdnlnMDNZZlhNUT09
Meeting ID: 882 9929 3409
Passcode: 938146