Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: