Computer Science · Artificial Intelligence
Aristotle, an AI system for automated theorem proving, achieved gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems. It paired informal reasoning with formal proof checking, including a dedicated tool for geometry problems.
A survey examines the roles smaller AI models can play alongside large language models. It focuses on both collaboration and competition, including how smaller systems may help researchers and businesses use computing resources more efficiently.
AI gateways and the Model Context Protocol can manage connections, identities and traffic, but they do not necessarily create evidence that a specific agent action was authorized before it happened. The paper proposes criteria for producing and independently checking that evidence in regulated settings.
