Im vorigen Beitrag ging es um Aufgaben mit einer „richtigen Lösung“, nämlich Berechnung von Grenzwerten und gleichmäßiger Konvergenz, die ChatGPT ziemlich gut bearbeitet. Wie sieht es aus, wenn man ChatGPT richtige Beweise machen lassen will? Ich versuche es mal mit der Stetigkeit der Sinusfunktion. Wenn man den Sinus geometrisch am Kreis definiert, folgt die Stetigkeit…
Ein offensichtliches Problem mit der Entwicklung der Künstlichen Intelligenz ist, dass Schüler und Studierende ihre Hausaufgaben nicht mehr selber machen, sondern von ihrem Chatbot erledigen lassen. Manche Kollegen verzichten deshalb inzwischen darauf, Hausaufgaben überhaupt zu bewerten. Immerhin müssen die Studierenden die Lösungen des Chatbots noch selbst verschriftlichen, es gibt wohl noch keine Programme, die die…
Beim Zentralblatt für Mathematik, wo ich als Fachredakteur für den Bereich Differentialgeometrie zuständig bin, wird in den letzten Jahren immer wieder mal diskutiert, wie man KI-generierte Referate erkennen und vermeiden kann. Problematisch sind die schon aus urheberrechtlichen Gründen: bei zbmath handelt es sich um ein kommerzielles Produkt und die KI-Betreiber könnten Ansprüche auf die Werke…
Auf dem ArXiv ist am 4. April ein Preprint mit einem Gegenbeispiel zu der Anderson-Vermutung aus der Theorie lokaler Ringe erschienen: https://arxiv.org/html/2604.03789v1 Bemerkenswert an diesem Gegenbeispiel ist, dass es nicht von einem Menschen gefunden wurde, sondern von einer Maschine. Our framework consists of two components: an informal reasoning agent, Rethlas, and a formal verification agent,…
Vor drei Jahren hatte ich hier mal über ein Video von Edmund Weitz geschrieben, in dem er über einige lustige Antworten von ChatGPT auf mathematische Fragen berichtete. Drei Jahre später möchte ich einmal wissen, um wieviel sich künstliche Intelligenz in diesem Zeitraum verbessert hat. Zunächst: Die Multiplikation 2792478 mal 4107069, die kurioserweise vor drei Jahren…
Von Studierenden höre ich, dass sie sich neuerdings auf Prüfungen vorbereiten, indem sie ihrem Chatbot sagen “Stell mir Fragen zu [Name der Vorlesung]!”. Wie gut funktioniert das? Probieren wir es aus. Stell mir Fragen zur Funktionentheorie! “Wenn du möchtest, kann ich: deine Antworten korrigieren, dir Hinweise geben statt Lösungen, oder dich gezielt auf eine Prüfung…
In Las Vegas sollen im kommenden Mai die Enhanced Games stattfinden, Sportwettbewerbe bei denen alles erlaubt ist, unterstützt unter anderem von Peter Thiel und Donald Trump jr. Die finanzieren freilich nur den Wettbewerb selbst, für die langfristigen Folgen dieser Spiele werden die Krankenkassen aufkommen müssen. Während Sportwettbewerbe mit Hilfsmitteln natürlich trotzdem spannende Kämpfe liefern können,…
Der Physik-Nobelpreis geht in diesem Jahr an John Hopfield und Geoffrey Hinton für die Entdeckung der Boltzmann-Maschine, die Hinton aufbauend auf den Hopfield-Netzen entwickelte. Trotz der Herkunft aus der Physik handelt es sich dabei eigentlich um rein mathematische Konzepte. Eine Erklärung in 6 Minuten gibt das folgende Video.
Aufgaben auf Internationalen Mathematikolympiaden gehören zu den schwierigsten, die sich in kurzer Zeit (90 Minuten pro Aufgabe) lösen lassen und sie erfordern meist ein hohes Maß an Kreativität. Es ist deshalb sehr bemerkenswert, dass die Künstliche Intelligenz “Deepmind” inzwischen solche Aufgaben auf “Silbermedaillenniveau” lösen kann – wenn auch nach einer zuvor mit menschlicher Hilfe erfolgten…
Im Collegium Georgianum in Ingolstadt (Hohe-Schul-Straße 3) kann noch bis zum 14. April die interaktive Ausstellung I AM A.I. – künstliche Intelligenz erklärt besucht werden (jeweils Do-So 14-17 Uhr). Es handelt sich um interaktive Exponate (Spiele), die zum einen die Funktionsweise künstlicher Intelligenz erklären und dann aber auch auf die ethischen Probleme beim Einsatz künstlicher…
Letzte Kommentare