Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems · HackerPapers discussions

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems — mentioned by emp17344

Tue, 03 Mar 2026 17:18:41 GMT

Hold your horses, that’s a long way off. The best math AI tool we currently have, Aletheia, was only able to solve 13 out of 700 attempted open Erdos problems, only 4 of which were solved autonomously: https://arxiv.org/html/2601.22401v3 Clearly, these models still struggle with novel problems.

Paper and discussion history. A mention is not an endorsement.

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems — mentioned by carefree-bob

Fri, 13 Feb 2026 22:35:36 GMT

The erdosproblems website shows 851 was proved in 1934. https://www.erdosproblems.com/851 I guess 1051 qualifies - from the paper: "Semi-autonomous mathematical discovery with gemini" https://arxiv.org/pdf/2601.22401 "We tentatively believe Aletheia’s solution to Erdős-1051 represents an early example of an AI system autonomously resolving a slightly non-trivial open Erdős problem of somewhat broader (mild) mathematical interest, for which there exists past literature on closely-related problems [KN16], but none fully resolves Erdős-1051. Moreover, it does not appear to us that Aletheia’s…

Paper and discussion history. A mention is not an endorsement.

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems — HN submission

Mon, 02 Feb 2026 15:05:46 GMT

Semi-Autonomous Mathematics Discovery with Gemini: Erdős Problems Case Study

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.