I Pointed My AI Research Engine at Goldbach's Conjecture — It Found a Hidden Bia

<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/1x5y9ue/gpt6_astra_autonomously_solves_49_out_of_50/"> <img alt="GPT-6 Astra autonomously solves 49 out of

<!-- 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

<!-- SC_OFF --><div class="md"><p><a href="https://www.erdosproblems.com/90">Erdos problem 90</a> has been resolved. While at this point more than a dozen Erdos problems have been