Skip to main content

Discrete Seminar

Date:
-
Location:
POT 745
Speaker(s) / Presenter(s):
Ben Braun

Title: Recent AI-assisted advances in combinatorics

Abstract: Over the past six months, the use of AI tools in mathematics research has expanded rapidly. Analysis of arXiv postings between March and August by Jin, Ke and Sui show that the percentage of math preprints with disclosed AI use increased from 1.39% to 14.09% during this timeframe, and combinatorics has the largest number of such papers. In this talk, I will begin by giving an overview of the major AI tools being used for research in combinatorics. Then, I will survey recent AI-assisted proofs and counterexamples that have been announced, including the types of AI disclosure statements that are being made.

Event Series: