> be OpenAI
> watch Andrej karpathy join Anthropic yesterday
> shows up 24 hours later
> announce your model solved an 80-year-old Erdős problem (problem stood since 1946)
> mathematicians had been stuck on it since 1946
> people spent decades believing one approach was correct
> model finds a completely different answer
first AI to autonomously solve a major open math problem
this might actually be ASI.
We’ve conquered England
We’ve conquered Spain
We’ve conquered Italy
We’ve conquered Portugal
We’ve conquered Europe
And now we are conquering Saudi Arabia, THE FUCKING GOAT!!!!