At Diafunc, we are pioneering Symbolic AI from the ground up — our own technology, our own platform, our own research. We are building AI that humans can read, question, and trust.

Independent.

Not a research lab inside a tech giant. Not a portfolio company chasing the next funding round. Decisions are made here — by people who use the product, on the horizon that matters. Diafunc is based in Austria.

In the open.

Our research is published as papers. Our continuous benchmark runs in public at ufinq.com/benchmarks — numbers anyone can verify.

For the long term.

A horizon measured in decades — perhaps centuries. Symbolic models are knowledge that compounds; every discovery becomes raw material for the next.