The ARC Prize’s Mike Knoop says DeepMind’s AlphaProof and OpenAI’s o1 are leading the race to AGI with reasoning approaches that don’t just rely on scaling models bigger than GPT-4 pic.twitter.com/uJZamsVZ5d
— Tsarathustra (@tsarnick) December 2, 2024
The ARC Prize’s Mike Knoop says DeepMind’s AlphaProof and OpenAI’s o1 are leading the race to AGI with reasoning approaches that don’t just rely on scaling models bigger than GPT-4 pic.twitter.com/uJZamsVZ5d
— Tsarathustra (@tsarnick) December 2, 2024