Artificial intelligence from Hagenberg you can trust
A new generation of AI is emerging in Hagenberg—one that not only performs calculations but can also prove its results. The Research Institute for Symbolic Computation (RISC) at JKU Linz and the spin-off company RISC Software GmbH are steadily expanding their role at the intersection of mathematics and AI.
mehr erfahren