Tag
Google DeepMind releases AlphaProof Nexus paper. The AI agent autonomously solved 9 Erdős problems among 353 open math problems (including two unsolved for 56 years) and proved 44 OEIS conjectures. The reasoning cost per problem is only a few hundred dollars.
A comprehensive overview of twenty years of Arabic NLP research, discussing lessons, failures, and open problems in the field.
Fields Medalist Timothy Gowers reports using GPT5.5 Pro to solve open mathematical problems and predicts an imminent crisis in mathematical research due to rapid AI progress.
Tim Gowers reports using ChatGPT 5.5 Pro to attempt to solve open mathematical problems posed by Melvyn Nathanson.