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.

Link to tweet: Links for the talks: Link to original post about problem #1196:

More from Singularity

Figure's First Full HQ Tour: From the Lab to the Factory Floor

Singularity·4

Figure AI’s CEO shows the Figure 03 humanoid robot’s feet, designed to allow the robot to charge wirelessly

Singularity·4

Scaling the physical Singularity: Autonomous 18-wheelers are no longer a 'pilot project'

Singularity·5

ARC-AGI-3 Update (GPT-5.5 High and Opus4.7)

Singularity·1

Anthropic Won't Let You Use Their Best Model. Prediction Markets Are Trying Anyway.

Singularity·1

Observe the Architecture - This is the trance

Singularity·3