Wirkung

Wirkung is an exact discovery engine. It searches for formulas, identities and proofs, and keeps a result only after an independent checker confirms it exactly.

Scarcity as method. The work so far includes new tensor rank bounds, blow-up rates in a model of vortex stretching, and language models that run without a GPU, all on ordinary CPUs.