World’s top 25 Fields Medalists warn machine proofs are sabotaging hardest math

A group of the world’s most decorated mathematicians is warning that the race to make...