UPDATE: The method from the proof generated by GPT-5.4 Pro for Erdos Problem #1196 was successfully applied to other problems including another 60 year old Erdos conjecture.
r/singularity
•
Generative AI
Link to tweet: Links for the talks: Link to original post about problem: submitted by /u/socoolandawesome [link] [comments]