[raincole]

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.)