US mathematicians whine about AI math as Chinese researchers push ahead

OpenAI’s release of hundreds of AI-generated math results, including Lean-checked proofs, has drawn very different reactions: the Association for Human Mathematics urged a boycott, while Chinese mathematicians are organizing to build AI tools for conjectures and proofs. U.S. mathematicians are acting out of career self-interest, while Chinese mathematicians are focused on progress. Source

Läs hela artikeln hos källan.