Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.
Hehe, namedropping “AGI” in the very first paragraph and then going ahead with an AI that is super tailored to a narrow task like formal math proofs and geometry…
It could be used in a mixture of experts type situation
Sure. But none of this is about that. And I somehow doubt that’ll be the path towards AGI anyways. Does any combination of narrow abilities become general at some point? Is the sum more than it’s parts? I think so. Especially with intelligence.
And MoE comes with the issue that it can’t really apply knowledge from one domain to another. At least if you separate the subjects. Whereas I as an general intelligent being can apply my math skills to engineering, coding, doing a plethora of every day tasks. So I’m not sure if MoE help with that.