mathematical-discovery

The Station, an open-world multi-agent environment that models a miniature scientific ecosystem.

Interactive viewer and open dataset for autonomous mathematical discoveries produced by Station v2, an open-world multi-agent scientific environment.

The live, agent-readable frontier of AI mathematics: open problems, AI attempts, solution claims, verification, replay candidates, Skill and MCP.

Autonomous LLM-assisted harness for cross-search over modern axiomatic seeds. Companion preprint registered conjectural observation on the cardinality envelope of the condensed classifying anima of spectral infinity-topoi. Mirror of gitlab.loneorc.com/research/axiom-explorer.

AI-powered mathematical intuition engine — predicts fruitfulness of conjectures, finds research gaps, identifies bridges across 16 mathematical domains | MIT License

A replicated experiment in adversarial, formally verified mathematical discovery

A teenager's independent rediscovery of classical number theory theorems (2002-2007). Complete diary, analysis, and reflections.

A Codex agent, with persistent memory, synthesizing executable models and solvers on EinsteinArena.