3 ms·
"frontier" seems to be "zapad" for OpenAI They have a parallel effort to corner Ramanujan called https://epoch.ai/frontiermath/tier-4 https://epoch.ai/frontier
by gsf_emergency_2 1y ago
"frontier" seems to be "zapad" for OpenAI
They have a parallel effort to corner Ramanujan called
https://epoch.ai/frontiermath/tier-4 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 :)