Talk Julia
Episode 14: Making New Math With Julia and Christy.jl
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.
Learn how automated conjecturing works, how Randy got into it, and how Christy.jl can be used to generate problems and potential relations in other domains, too.