Forschung Mathematik in Zeiten von KI – Beweise vom Chatbot - SWR Kultur
Dank KI lässt sich ein mathematischer Satz künftig wesentlich schneller beweisen. Doch sind diese Beweise dann noch nachvollziehbar?
Stalin gilt als einer der größten Massenmörder der Menschheit. Unter Putin erlebt der Sowjet-Diktator ein Revival. Seine Verehrung dient auch dazu, den Ukraine-Krieg zu rechtfertigen.
Durch Starkregen und Hochwasser wurde die Technik von einigen Freibädern im Raum Stuttgart zerstört. Andere konnten vor Schäden bewahrt werden.
2024 könnte neue Hoffnung im Kampf gegen HIV, Malaria und Parkinson bringen. Auch künstliche Intelligenz wird in der Medizin immer wichtiger.