April 1st, 2022 • 43 mins 6 secs • Download (31 MB) • Link with Timestamp
Talk Julia co-host Randy Davila talks about his automated conjecturing program Christy.jl and how he uses it to generate new research problems in graph theory and mathematics using artificial intelligence.