← Back to PeopleBAResearcherBoris AlexeevResearcher at HarmonicWebsiteA mathematician interested in algebra, combinatorics, and complexity.1Mentions1Articles1OutletsArticlesMost recent firstMentioned InReferenced in coverageVibe Proving Is HereXpositiveDec 1, 2025“Ran Aristotle AI system on a 30-year-old open Erdős problem using beta version with stronger reasoning ability.”