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.
▶ 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
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