“Dwarkesh Patel asserts that artificial intelligence is currently making faster progress in the field of mathematics than in any other domain.”