News for hackers. Stuff that matters.
Re:Understanding Reasoning LLMs by raincole on Friday February 07, 2025 @12:41AM (#42969790)
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...

There are no comments on this comment yet.