The technology behind Diafunc

The Mathematical Colosseum.

Finding nature's code, hidden in your data.

Candidate programs evolve and compete on accuracy and simplicity. Only the fittest survive. What emerges is not opaque weights, but code — readable mathematics you can deploy, inspect, and explain.

Ufinq is Symbolic AI, built on Symbolic Regression.

An example of what emerges

f(x) = 0.42 · sin(2π · x₁) + 1.8 · x₂² − 0.31

Discovered, not trained.

Concentric arcs of competing candidate programs converging on a central nucleus — the Ufinq Mathematical Colosseum.

All the details — research, papers, benchmarks — live there.

Visit ufinq.com