I still think Carmack's solo adventure in AGI is the most neglected potentially interesting venture in the space, at least by Manifold.

I sit here at my computer all the time, thinking up concepts, documenting them, making theories, testing them. That’s the work right now, as nobody really knows the full path all the way to where we want to go. But I think I’ve got as good a shot at it as anyone

Resolves to YES if, at any point before end of 2024, the LMSYS leaderboards have a model demonstrably from Keen / Carmack in the top 10. Otherwise, resolves NO.