Three new Erdos problems were solved „by an internal model at OpenAI“.

→ View original post on X — @kimmonismus