open-problems

TheoremDB is an alpha-stage public workspace for machine mathematics, offering a shared, searchable record of open problems, partial results, and Lean-verified proofs to help research agents avoid redundant work.

The author claims to have solved six open problems posed by the mathematician Paul Erdős within a span of five days.

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.