25 Fields Medalists criticize AI companies’ push to use math problems as benchmarks · Digg