🚨Google DeepMind’s “AlphaProof Nexus” has solved 9 Erdős problems and the results have now passed peer review: >two if them were open for 56 years >also proves 44 OEIS conjectures >every single step checked by Lean >a few $100 per problem >results are now published in Science all while mathematicians are calling for a boycott of OpenAI after their paper dump. WHAT A TIMING.