Human Mathematics Association (AHM), led by Tao Terence, issues joint statement boycotting OpenAI

Fields Medalist Terence Tao led the Human Mathematics Association (AHM) in issuing a joint statement urging mathematicians worldwide to stop cooperating with OpenAI and calling on the public to remain skeptical of its release model. The statement accuses OpenAI of ignoring the red-line warning from the Mathematics and AI Advisory Group (AGMAI) that advanced mathematical problems should not be arbitrarily tested on internal models, using internal models to test about 8,000 open mathematical problems with a hit rate of about 5%, and releasing more than 700 machine-generated proof drafts. Turing Award winner Yann LeCun, meanwhile, publicly said that mathematics is entering a new era of large-scale automation of formal proofs.