1 paper · 1 filter
Johan Commelin, Mateja Jamnik, Rodrigo Ochigame +2
Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformat…