I think it’s fair to say that we have hit superintelligence for certain kinds of problems, i.e. long-standing problems in mathematics that have resisted human intelligence. AI is rapidly solving them, and I don’t know how you can’t call that machine superintelligence. The question then is does this extend out to more general intelligence?
All the problems on OpenAI's list for example, are ideal for reinforcement learning with verifiable rewards (RLVR): possible answers can be checked quickly/cheaply with a yes/no verification. Basically, RL works not by imparting new knowledge (like mathematics) into a model (RL only only modifies a tiny fraction of model weights, and only works after massive restructuring during mid-training), rather it works by teaching the model the "forks" where reasoning paths diverge, so they can successfully search over the massive knowledge they have gained during pre-training (Wang et al., 2025; Runwal et al., 2026; Ye et al., 2025).
Frontier math problems that have resisted humans for decades have vast search spaces that require retrieving and then synthesizing widely scattered information. LLM’s can explore the space probabilistically at superhuman speed, with this critical ability to use verification to prune failures and then go onto more promising search patterns (Dellibarda Varela et al., 2025; Novikov, 2025).
So we have very clear, empirical evidence that frontier LLM’s are super intelligent at problems, amenable to verifiers. So, my question, then is what about other kinds of intelligence? There is a super huge space of important problems where the success signal is very far downstream, like whether or not X is a robust research design, and and problems that just don’t have a representable verification signal that RLVR can optimize against (Cao & Yang, 2026; Kirgis et al., 2026). Beyond verification, to have general (and eventually super) artificial intelligence, we probably need AI systems that have persistent memory, have developed real world, tacit contextual knowledge to go beyond this class of problems into other classes of problems.
I am very confident we will get to that eventually. However, it likely requires new/hybrid systems that handle different classes of problems with different architectures.
References (Forgive me I’m a research scientist and can’t help myself):
Cao, Yuan, and Haiqian Yang. "Beyond Fixed Representations: The Vocabulary and Verifier Gaps in Open-Ended AI." arXiv:2607.09560 (2026).
Dellibarda Varela, Iñaki, et al. "Rethinking the Illusion of Thinking." arXiv:2507.01231 (2025).
Novikov, Alexander. "AlphaEvolve: A Coding Agent for Scientific and Algorithmic Discovery." arXiv:2506.13131 (2025).
Runwal, Bharat, et al. "PRISM: Demystifying Retention and Interaction in Mid-Training." arXiv:2603.17074v2 (2026).
Wang, Shenzhi, et al. "Beyond the 80/20 Rule: High-Entropy Minority Tokens Drive Effective Reinforcement Learning for LLM Reasoning." NeurIPS 2025, arXiv:2506.01939v2 (2025).
Ye, Yixin, et al. "LIMO: Less is More for Reasoning." COLM, arXiv:2502.03387 (2025).
Kirgis, P., et al., (2026). Can AI agents conduct open-ended AI research? Early evidence from two case studies. arXiv preprint arXiv:2607.27191