Google Just Achieved Mathematical AGI

By