Crazy how all these problems were simultaneously on the precipice of being solved before ScoopenAI (I came up with that) stole their work. The rate that mathematicians have suddenly made progress is only bested by the rate that OAI has ramped up their theft haha it's nuts. Good thing it'll never get better at explaining ideas though (since they're all stolen) so there'll still be that.