Our research focuses on machine reasoning and artificial general intelligence, with mathematics as our primary test case for abstract thinking capabilities.
Machine Reasoning Theory
Research on reasoning agents to find the next frontier of large language models.
Key Focus: Mathematical frameworks for human-like reasoning and intelligence.
▶ The Geometry of Benchmarks: A New Path Toward AGI, 2025▶ An Operational Kardashev-Style Scale for Autonomous AI - Towards AGI and Superintelligence, 2025
▶ Psychometric Tests for AI Agents and Their Moduli Space, 2025
▶ Self-Improving AI Agents through Self-Play, 2025
▶ Mathematics and Coding are Universal AI Benchmarks, 2025
▶ AI Langlands Program for Moduli of Neural Networks, in preparation (on demand)
AI Mathematics
We treat mathematics as the next game at which machines would excel, serving as a test case for machine reasoning capabilities.
Key Focus: Building models for human-like reasoning in abstract mathematical domains.
▶ DeepAlgebra - an outline of a program, 2016▶ Mathematics in the Age of Large Language Models, 2025