Yet another recent example of AI assistance in mathematics: my colleague Ernest Ryu here at UCLA was able to solve an open problem in optimization theory (roughly speaking, an asymptotic convergence result for a certain class of ODEs) in large part through an extended conversation with a large language model, serving both as a "rubber duck" and a stochastic generator of proof ideas. https://x.com/ErnestRyu/status/1980759528984686715 Many of the ideas generated were not usable, but a non-trivial fraction of them did contain some viable strategies that had not been immediately evident to Ernest. There was a significant pruning process to isolate the small number of useful ideas and discard the larger set of non-useful ones, but even so, the tool provided a net time saving in reaching a working argument, which Ernest then polished by hand into a two-page proof. (1/2)