Using the results of erdos unit distance problem,mathematicians disprove a long

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1wyxdtu/for_31_years_mathematicians_couldnt_finish_this/"> <img alt="For 31 years, mathematicians couldn’t

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1va7ydp/ai_system_theo_conjecture_solves_35yearold_math/"> <img alt="AI system 'Theo Conjecture' solves

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1tkaydy/erdos_unit_distance_problem_gemini_31_pros/"> <img alt="Erdos Unit Distance Problem - Gemini 3.1

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1x5y9ue/gpt6_astra_autonomously_solves_49_out_of_50/"> <img alt="GPT-6 Astra autonomously solves 49 out of

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1wf8030/claimed_proof_of_the_komlós_conjecture_using_ai/"> <img alt="Claimed proof of the Komlós conjecture

<!-- SC_OFF --><div class="md"><p>Since July I've had Claude Code and Codex grinding on Erdős Problem #993 (1987, unimodality of the independent-set sequence of trees).</p> <p>Ran

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1wduy3u/googles_gemini_has_allegedly_solved_the/"> <img alt="Google's Gemini has allegedly solved the