Ist Mathematik der Schlüssel zu zuverlässigen KI-Antworten?
Forscher arbeiten an neuen KI-Systemen, die ihre eigenen mathematischen Antworten überprüfen können. Das berichtet Cade Metz in der New York Times. Diese Technologie soll verhindern, dass Chatbots wie ChatGPT falsche Informationen liefern. Stattdessen können die neuen Systeme mathematische Beweise generieren und so ihre Antworten verifizieren. Das Silicon Valley-Startup Harmonic entwickelt beispielsweise einen Chatbot namens Aristotle, …