maximilianbehr/OpenTorus: An AI agent for open mathematical problems — honest by design.

Source-linked topic cluster with 1 signals across related articles, projects, models, papers, and source updates.