KI und Mathematik im Oktober – Mathlog

KI und Mathematik im Oktober – Mathlog

Als Reaktion auf den am 11. September von 25 Fields-Medaillisten veröffentlichten offenen Brief “A severe misalignment of AI in mathematics” hatte Open AI am 21. September die Einrichtung einer mit neun hochkarätigen Mathematikern besetzten “Advisory Group on Mathematics ans Artificial Intelligence” verkündet. Laut Ankündigung sollte diese unabhängig von OpenAI arbeitende Gruppe, die von OpenAI nicht…

Weiterlesen
AI and the Future of Mathematics – Mathlog

AI and the Future of Mathematics – Mathlog

An der Universität Münster findet im 14-tägigen Rhythmus dienstagabends um 20 Uhr ein Online-Seminar AI and the Future of Mathematics statt, das nächste Mal am kommenden Dienstag. (Die Veranstaltung findet auf Zoom statt, anmelden kann man sich hier.) An den Veranstaltungen nehmen etwa 250 Leute teil und es gibt zwischendurch immer Pausen, in denen Gruppen…

Weiterlesen

quasi-Riemannsche Vermutung und Penrose-Ungleichung bewiesen, Baum-Connes-Vermutung widerlegt – Mathlog

OpenAI hat 372 recht bedeutende Vermutungen aus allen Teilgebieten der Mathematik bewiesen und vorgestern veröffentlicht. Das wird natürlich an vielen Stellen im Netz diskutiert, angeblich sollen auch schon Fehler in den veröffentlichten Teilresultaten zur Hodge-Vermutung gefunden worden sein. Ich habe dazu nichts Neues zu sagen, deshalb verlinke ich einfach das informative Video vom DorFuchs: Wenn…

Weiterlesen

KI und Mathematik bei mathoverflow – Mathlog

Mathoverflow ist eigentlich eine Frage- und Antwortseite für in der Forschung aktive Mathematiker, Diskussionen zu Meta-Themen sind dort eher nicht so erwünscht. In den letzten Monaten ist es aber zu einem Diskussionsforum für die Rolle künstlicher Intelligenz in der mathematischen Forschung und die dadurch (für die Mathematiker) entstehenden Probleme geworden. In den letzten Wochen klingen…

Weiterlesen

Datensicherheit und Prioritätsstreite (und ca. 40 Millionen Euro) – Mathlog

Vorgestern hat Open AI bekannt gegeben in nur 88 Stunden die Navier-Stokes-Vermutung – eines der mit 1 Million Dollar dotierten Milleniumproblem – durch ein Gegenbeispiel gelöst zu haben. Sie nutzten dafür eine interne Version, die deutlich leistungsfähiger als das kommerziell verfügbare ChatGPT-6 Astra ist und ließen etwa 10000 Intelligenzen an dem Problem arbeiten. Grob geschätzt…

Weiterlesen

KI löst Millenium-Problem – Mathlog

Die Millenium-Probleme wurden 2000 vom Clay-Institut ausgelobt mit jeweils einer Million Dollar Preisgeld. Das bisher einzige gelöste war die von Gregori Perelman bewiesene Poincaré-Vermutung. Gerüchteweise soll sich Perelman nach dem Abschluss der Arbeit an der Poincaré-Vermutung dem nächsten Milleniumproblem, der Regularität der Lösungen der Navier-Stokes-Gleichungen zugewandt haben, erfolglos. Die Navier-Stokes-Gleichungen beschreiben die Bewegung von Flüssigkeiten…

Weiterlesen

Theorema Magnum (Liste) – Mathlog

Wechseln zu … Blog auswählen…ScienceBlogs-HauptseiteAlles was lebtAlpha CepheiAnd the water seems invitingAstrodicticum SimplexBioastronomie²BioInfoWeltenblooDNAcidChevojaCipherbrainDas Universum nebenanDie kleinen DingeEin Jahrzehnt mit ScienceBlogs.deErklärFixevolvimusFrischer WindGedenken an Tobias CronertGENauGeograffiticoGesundheits-CheckGORI – German Office of Research IntegrityHier wohnen DrachenIhre Frage Konradin Wissens-EckeKritisch gedachtLichte IdeenMathlogMeertextnaklarPanoramaPhantasie und KritikPlazeboalarmPrimaklimaQuo Vadisrupture de caténaireScienceBlogs Podcast – Wissenschaft zum MitnehmenScience meets SocietyScience SlamSocioKommunikativTechnik-KummerkastenThe World is smallVon Bits und…

Weiterlesen
Leiden Deklaration – Mathlog

Leiden Deklaration – Mathlog

Eine Gruppe von Mathematikern hat mit Unterstützung der International Mathematical Union eine Deklaration zum Umgang mit potentiell durch den Einsatz von KI entstehenden Problemen in der mathematischen Forschung verfasst: Leiden Declaration on Artificial Intelligence and Mathematics. Es geht vor allem um Fragen der Attribuierung, Transparenz und Bewertung mathematischer Forschung. Gefordert wird, dass Forscher die Verwendung…

Weiterlesen
ChatGPT – drei Jahre später – Mathlog

ChatGPT – drei Jahre später – Mathlog

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…

Weiterlesen

#Mathe-Abitur abschaffen? – Mathlog

In Mecklenburg-Vorpommern wird aktuell über eine Abschaffung der Mathematik als Pflichtfach für die Abitur-Prüfung diskutiert. Die Diskussion läuft wohl schon eine Weile, jetzt gibt es auch eine Petition, initiiert von einer Schülerin, die durch die Mathematik ihre Zulassung zum Medizinstudium gefährdet sieht. In der Ostsee-Zeitung werden Pro und Contra diskutiert: “Schluss mit Benachteiligung” kontra “Abitur…

Weiterlesen