Comment by raincole
6 days 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.)
6 days 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.)
No comments yet
Contribute on Hacker News ↗