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…
Letzte Kommentare