Künstliche Intelligenz aus Hagenberg, der man vertrauen kann
In Hagenberg entsteht eine neue Generation der KI, die nicht nur rechnet, sondern ihre Ergebnisse auch beweisen kann. Das Research Institute for Symbolic Computation (RISC) der JKU Linz und die daraus hervorgegangene RISC Software GmbH bauen ihre Rolle an der Schnittstelle von Mathematik und KI konsequent aus.