@VictorTaelin - ironically enough, DeepSeek's r1 motivated me try OpenAI's

ironically enough, DeepSeek's r1 motivated me try OpenAI's o1 Pro on something I didn't before, and I can now confidently state the (obvious?) fact that o1 is on a league of its own, and whoever thinks AGI isn't coming in 2-3 years is drinking from the most pure juice of denial