Spent 3 months on an Erdős 993 problem with Claude Code + Codex. Found out today

<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/OpenAI/comments/1waylo4/openai_llms_has_resolved_a_roughly_90_years_old/"> <img alt="OpenAI LLMs has resolved a roughly 90 years

<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

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1tq57dw/using_the_results_of_erdos_unit_distance/"> <img alt="Using the results of erdos unit distance

<p>As a developer building AI for scientific discovery, I wanted to test if autonomous research actually works. So I built <a href="https://github.com/subhansh-dev" rel="noopener

<table> <tr><td> <a href="https://www.reddit.com/r/LocalLLaMA/comments/1s59rct/rys_part_3_llms_think_in_geometry_not_language/"> <img alt="RYS Part 3: LLMs think in geometry, not

<!-- SC_OFF --><div class="md"><p>Anthropic just pushed out <strong>Claude Opus 4.7</strong> and it’s live right now on <a href="http://claude.ai">claude.ai</a>, the Platform, and

<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1tlw3l1/golfing_and_stylistically_aligning_a_proof_using/"> <img alt="Golfing and stylistically aligning a