Comment by franticgecko3

That's just so extremely difficult to believe.

Before December 2025 they were still intelligent code autocomplete or Stack Overflow bots, then they started one-shotting serious long horizon tasks. Now they've just solved a millennium prize problem.

In less than a year.