3 ms·
In 2024 AlphaProof got Silver level, so people righteously expect a lot now. (It's specifically trained on formalized math problems, unlike most LLM, so it's n
by raincole 1y ago
In 2024 AlphaProof got Silver level, so people righteously expect a lot now.
(It's specifically trained on formalized math problems, unlike most LLM, so it's not an apple to apple comparison.)