Our research focuses on machine reasoning and artificial general intelligence, with mathematics as our primary test case for abstract thinking capabilities, and global markets as the real-world application.
Machine Reasoning Applications
Applied research building agents capable to boost investing and research processes. We focus on building internal agentic frameworks to grow the AI hive.
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)
DeepAlgebra Project
This project treats 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