3 ms·
If I'm reading this right, these are narrowly-applicable purpose-built systems, not general-purpose LLMs. > AlphaProof, a new reinforcement-learning based syst
by fallingsquirrel 2y ago
If I'm reading this right, these are narrowly-applicable purpose-built systems, not general-purpose LLMs.
> AlphaProof, a new reinforcement-learning based system for formal math reasoning
> AlphaGeometry 2, an improved version of our geometry-solving system