Google DeepMind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems…

…two of which were unsolved for 56 years, according to a study in Science. The publication comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review.

AI-generated: summaries written by AI from the linked sources. How we use AI