2 ms·
AlphaProof. Although I don't know if it's large enough to be called an LLM. https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
by raincole 2y ago
AlphaProof. Although I don't know if it's large enough to be called an LLM.
https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems...