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.
DeepAlgebra Project
Our flagship research project on the formalization of mathematics. Initiated by Dr. Przemyslaw Chojecki, 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.
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: ROI and real-world measurable impact.