Does OpenAI’s Astra Mean AGI Has Arrived? | AI Reality Check

0:00Over the weekend, OpenAI announced that their new pre-release AI system, Astra, had produced 10 math results that, and I'm quoting here, resolve or make substantial progress on long-standing open problems.

0:14Now, Noam Brown, who's actually one of my favorite AI researchers, tweeted out a list of what these 10 results were.

0:22And they included things like a better bound for high-dimensional sphere packing, a new lower bound example for arithmetic circuits, and two counterexamples from extremal graph theory.

0:33Now, I was personally excited by these results because many of them touch on areas of applied mathematics that I actually use in my research as a theoretical computer scientist.

0:46And it was sort of neat, right, to see that you had this giant AI company happening to turn its attention like a sort of GPU-powered eye of sword on this little narrow field of discrete mathematics where small communities like the ones I'm in actually work on.