I have an idea for a great AI project and it's about finding the first logical inconsistency in an argument about a formal system like an LLM. I think if OpenAI can deliver that then I will believe they have achieved AGI.

I am a techno-optimist and I believe this is possible and all I need is a lot of money. I think $80B would be more than sufficient. I will be awaiting a reply from other techno-optimists like Marc Andreesen and those who are techno-optimist adjacent like millionaires and billionaires that read HN comments.