Ask HN: What happened to John Carmack's AGI company?

It was launched with reasonable fanfare, took a cool $20m first round , and I have just realized it’s been three years already and I believe nothing was launched.