Comment by gsf_emergency_2

"frontier" seems to be "zapad" for OpenAI

They have a parallel effort to corner Ramanujan called https://epoch.ai/frontiermath/tier-4

(& Problem 6, combinatorics, the one class of problems not yet fallen to AI?)

The hope for humanity is that of the big names associated to FrontierMath (starkly opposite to oAI proper) Daniel is the one youngish nonexsoviet guy :)