KI-Update kompakt: Erdbeben-KI, Study Mode für ChatGPT, KI-Modell für Antike, Apple
KI-Update – ein heise-Podcast
00:00
Innovationen in der KI-Verifikation und antiken Textanalyse
Dieses Kapitel widmet sich dem KI-System Aristotle von Harmonic, das durch seine Fähigkeit zur formalen Verifikation ohne menschliche Prüfung beeindruckt. Zudem wird das KI-Modell Eneas vorgestellt, das in Zusammenarbeit mit Google DeepMind entwickelt wurde, um antike Inschriften zu analysieren und zu datieren.
Transcript
Play full episode
