Sign in

Thomas Kahle

@tomkalei.mathe.social.ap.brid.gy
52 followers 16 following 1.4K posts

Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg. Math professor at OvGU Magdeburg posting in English and German. When I was young, we […] 🌉 bridged from ⁂ mathe.social/@tomkalei, follow @ap.brid.gy to interact

PostsRepliesMedia
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 9h
Unsere #Erdentage App auf dem iPhone Duo (Simulator). Funktioniert im Prinzip erstmal, aber es gibt UI quirks. Beim seitlichen Scrollen hat die neue Seitenleiste immer die Hintergrundfarbe vom Großteil des aktuellen Hintergrunds. Springt also auf eine andere Farbe während des Wischens. 1/2
000
Reposted by Thomas Kahle
wiase @wiase.ibe.social.ap.brid.gy · 17h
Spoiler: Die taz hat bei allen CDU-Abgeordneten nachgefragt und 8 sagen, sie hätten sich enthalten. Gab aber nur 5 Enthaltungen insgesamt.
mastodon.social
31424
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 14h
And this page is interesting: citedbyagi.com Is this exhibiting who is important in math? Or is it somehow demonstrating some sort of bias? In the training data? In the problems they chose? In the problems they could (potentially) solve? Statistics is hard… #openAI
citedbyagi.com
Cited by AGI
The mathematicians behind OpenAI's results. Every human author cited across the openai/math manuscripts, with each count traced back to its source.
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 14h
One of the less observed things in the openAI drop: They have determined the ominous ε > 0 ! In fact, it is 1/2^182. In entry number 109 they claim to show that multiplying two n bit integers is possible in at most O(n (log n)^(1-ε)) and they determine what ε is. The result has no […]
mathe.social
Original post on mathe.social
001
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 16h
Do we still want to discuss whether the 722 minus 3 papers are based on non-public sources, such as chats that mathematicians had with Astra, for example? Somehow, it doesn’t seem relevant anymore, or does it? #openAI
200
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 16h
Äh, was? 🤔 bird.makeup/users/karl_lauterbach/s…
bird.makeup
bird.makeup - Post
Was den Mathematikern derzeit passiert, ist eine Katastrophe. Ihre geistige Arbeit wird schlagartig entwertet, sie werden zu Zuarbeitern der KI. Das könnte das Schicksal der meisten Akademiker in Zukunft sein. Der Respekt vor Denkleistung von Menschen verfällt wie ihr Einkommen
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 22h
Weiss auch nicht warum, aber dass ein Essensanbieter für Kinder “Food safety qualITy GmbH”* heißt, macht mir irgendwie auf mehreren Ebenen Angst. *ja, wirklich!
000
Reposted by Thomas Kahle
Tatjana Scheffler @tschfflr.fediscience.org.ap.brid.gy · 09/10/2026
“Academia is a meritocracy” 🤣
flipboard.com
013
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 09/10/2026
Das Semester fängt nächste Woche an und meine Inbox ist schon wieder gefüllt mit “Verhandlungen” mit Studierenden, die ich noch nie gesehen habe. Z.B. - Ich muss nebenbei arbeiten, kann die Übung nicht besuchen, auch OK, oder? - Ich habe die Vorlesung schon mal besucht und nicht bestanden und […]
mathe.social
Original post on mathe.social
215
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 09/10/2026
Regarding my old database markov.bases.de, created around 2010 with Johannes Rauh, I got an interesting business proposal by e-mail.
Spam about more clients for Markov Bases.
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 08/10/2026
The formalization of the Navier-Stokes blow up by #openai apparently does not match the statement. arxiv.org/abs/2610.08144
arxiv.org
Navier–Stokes Lost in Translation
Comments
011
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 08/10/2026
Die Anzahl Paper im #openAI repo hat sich um 3 reduziert auf 719. github.com/openai/math/commit/30148…
010
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 08/10/2026
Booste das hier mal als Diskussionsbeitrag. Aber ich verstehe ehrlich gesagt nicht, wie der Release der 722 Theoremoids der Mathematik oder dem menschlichen Wissen schaden soll. Das kommt mir konstruiert vor. Klar, diese Artefakte sind keine Paper im herkömmlichen Sinn, sie zitieren nicht […]
mathe.social
Original post on mathe.social
000
Reposted by Thomas Kahle
Marcel Roth @marcel.machteburch.social.ap.brid.gy · 08/10/2026
Was ist eigentlich noch sicher? Kaum etwas, so wirkt es derzeit. Darauf müssen wir alle gefasst sein und uns wohl entsprechend verhalten: Politik, Wirtschaft, Gesellschaft und - Wissenschaft! "Science Under Threat!" So haben wir unsere aktuelle Folge vom […] [Original post on machteburch.social]
Zwei Frau und drei Männer vor der Fotowand vom Informatik-Festival der Gesellschaft für Informatik.
011
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 08/10/2026
OK, Computer. digitaleanomalien.de/103-nerdige-ea…
digitaleanomalien.de
#103: Nerdige Easter Eggs
Wolfgang Schoch Easter Eggs, die kleinen versteckten Botschaften in Soft- und Hardware, sind faszinierend. Im Podcast werden diesmal drei interessante Easter Eggs vorgestellt. Da ist das Album OK Computer der britischen Band Radiohead, in dem ein Programm für einen ZX Spectrum versteckt ist. Oder die Scanner von HP, die mit ihren präzisen Elektromotoren Melodien abspielen können. Und dann sind da noch die versteckten Botschaften auf Platinen und Chips. Für diese Folge der Digitalen Anomalien gibt es ein vollständiges Transkript. Dieses Transkript wurde automatisiert erzeugt und nicht nachbearbeitet oder korrekturgelesen. Es wird daher sicher Fehler enthalten. Das Transkript ist als Ergänzung zu verstehen, um beispielsweise die Inhalte durchsuchbar zu machen. Im Zweifel gilt immer das gesprochene Wort aus der Folge. ## Shownotes * **OK Computer** * OK Computer OKNOTOK 1997 2017 - Wikipedia * Radiohead Public Library * Artikel zu OK COMPUTER | spin.com * Radiohead hides 8-bit secret message in the remastered version of OK Computer | The Verge * How to run secret ZX Spectrum message from Radiohead’s OKNOTOK C90 tape | by Maciej Korsan | Medium * **HP ScanJet** * Videotipp zum Wochenausklang: Scanjet für Elise - DER SPIEGEL * Anleitung von HP (archivierte Version, PDF) * HP Scanner plays Beethoven. ScanJet 5P Easter Egg. Step motor music. | YouTube * **Chip Art** * Chip art - Wikipedia * Silicon Art Library (archivierte Version) * Arduino Uno Rev3 — Arduino Official Store * Raspberry Pi * CPU Duke auf Instagram - Zeigt immer wieder Chip Art Funde * integrated circuit - How realistic is the famous "Bill sux" picture of a chip internals artwork? - Electrical Engineering Stack Exchange * Social media revives chip art AKA silicon doodles and keeps its history alive : NPR * The Secret Art Of Chip Graffiti - IEEE Spectrum ## Erwähnte Folgen * Easter Eggs ## Digitale Anomalien in den anderen Kanälen **Unterstützung** Exklusive Folgen gibt es ab 5 Euro pro Monat auf Steady. Damit hilfst du, den Podcast am Leben zu halten und weiterzuentwickeln. **Kanäle** Digitale Anomalien findest du bei Spotify, Apple, YouTube und jeder gängigen Podcast-App. **Community** Es gibt eine aktive Discord-Community. Der Podcast ist außerdem auf Mastodon und Instagram vertreten. Mich findet ihr auf Bluesky. Auf Twitch gibt es hin und wieder Live-Streams. **Newsletter** Einmal im Monat erscheint das E-Mail-Magazin „Die Anomalie“ mit interessanten Artikeln und Updates direkt in deinem Postfach. **Links** Alles schon gehört? Im Verzeichnis der Wissenschaftspodcast findest du viele weitere interessante Podcasts. Falls dich außerdem alte Spiele interessieren, schau gerne bei meinem Retro-Gaming-Podcast Grobe Pixel vorbei. ## Credits Sprecher & Produktion: Wolfgang Schoch Musik: BACKPLATE von https://josephmcdade.com Ein besonderer Dank an alle ROOT Supporter: Peter, Holger
000
Reposted by Thomas Kahle
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 07/10/2026
I didn’t even notice this one at first. This is cool! Talk about a weird machine. > 376. Universal computation in forced Navier–Stokes flows. Constructs viscous incompressible flows starting from rest on a fixed flat three-dimensional domain that perform universal computation under smooth […]
mathstodon.xyz
Original post on mathstodon.xyz
103
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 07/10/2026
Also sorry aber diese PM von der #DMV spricht _NICHT_ für mich. Dort steht, “Denn KI-Modelle nutzten meist ungefiltert und unerlaubt vorhandenes Wissen; auch solches, das auf so genannten Preprint-Servern liegt” Mathematische Theoreme und Beweise sind nicht patentierbar. Und selbst wenn, ist […]
mathe.social
Original post on mathe.social
201
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 07/10/2026
The #openAI repo also has matrix multiplication over CC in asymptotically at most n^(9/4). This is interesting! The so called Laser-method only got to ω < 2.371054886006746 and the improvements where in the later digits of this number. This result is apparently formalised.
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 07/10/2026
Oh and also, just when everybody thought auto-formalisation is a solved problem, only about half of the 722 papers even have a formalisation… ?
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 07/10/2026
Selfish like I am, I asked Claude what of the #openAI release is relevant for me. A few false positives, like it finding “Kähler” when searching if I’m cited. So no paper of mine is cited in this whole thing… 😕 That Hilbert’s 10th problem over QQ is […] [Original post on mathe.social]
Claude’s output
001
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 07/10/2026
They put compiled pdfs into the git repo… lame.
000
Reposted by Thomas Kahle
Arne Semsrott @arnesemsrott.bsky.social · 06/10/2026
Zu Sachsen-Anhalt
391520547
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 07/10/2026
#openAI released more than 700 Theoremoids: github.com/openai/math/tree/main It does include Hilbert’s 10th problem over QQ right on the first page which I have also been prompting (only half-jokingly): machteburch.social/@tomkalei/116906… […]
mathe.social
Original post on mathe.social
110
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 06/10/2026
This meeting is approaching the limit of simultaneous users on zoom… www.uni-muenster.de/MathematicsMuen…
Title slide of Andreas Thom: The challenges we face, Human mathematics with AI. In the background a rollercoaster going into fog.
000
Reposted by Thomas Kahle
Henrik Schönemann @lavaeolus.fedihum.org.ap.brid.gy · 06/10/2026
I'm eternalized grateful for all the circumstances that lead to me getting to know and love Terry Pratchett in my youth. At a time, when Harry Potter could have become part of my identity growing up, it became Discworld instead. One day, my dad brought back home "Men at Arms" and gave it to me […]
fedihum.org
Original post on fedihum.org
011
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 06/10/2026
Ich wollte ja mal das Selbsthilfebuch “Ideenfrei in 30 Tagen” schreiben, aber ich hatte zwischendurch zu viele Ideen, die mich abgelenkt haben [ machteburch.social/@tomkalei/114715… ] Und jetzt schreibt mir LinkedIn das hier. “How to keep a […] [Original post on mathe.social]
Spam von LinkedIn in meiner Inbox “How to keep a steady flow of Content Ideas”
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 06/10/2026
www.heise.de/news/Diese-Daten-geben…
heise.de
Sogar Chatverläufe: KI-Anbieter geben Daten ihrer Nutzer weiter
Eine neue Studie zeigt, wie ChatGPT, Claude, Gemini und Co. Nutzerdaten an Dritte weitergeben – teils sogar Zugriff auf ganze Chatverläufe und sensible Infos.
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 06/10/2026
#Griesbrei
Mein Griesbrei
000
Reposted by Thomas Kahle
Kris @isotopp.infosec.exchange.ap.brid.gy · 05/10/2026
www.der-postillon.com/2026/10/merz-… Der Postillion tritt, wie immer, genau dorthin, wo es weh tut.
der-postillon.com
"Das Leid dieser Menschen ist nur schwer zu ertragen" – Merz und Reiche bei Besuch in Kiew von Ukrainern bemitleidet
Kiew (dpo) - Bundeskanzler Friedrich Merz und Wirtschaftsministerin Katherina Reiche haben am Sonntag überraschend Kiew besucht. Vielen Ukrainern fiel es schwer, den Anblick von Leid und Hoffnungslosigkeit zu ertragen, den die beiden CDU-Politiker boten. "Das Leid dieser Menschen ist wirklich bedrückend", erklärte die ukrainische Rentnerin Kseniya Matviyenko, die mehrere Familienmitglieder im Krieg verloren hat. "Ich meine Merz ist komplett am Boden. Niemand mag ihn. Seine Regierung ist komplett am Zusammenbrechen. Ich bemitleide ihn zutiefst." Auch Reiche sorgte vor Ort in Kiew für viel Mitleid. "Diese Frau weiß nicht, was sie tun soll", erzählt der 9-jährige Kriegswaise Valentyn. "Sie ist orientierungslos. Sie hat keine Zukunft und sie weiß es. Sehr traurig." Doch nicht nur Mitleid erweckten der Bundeskanzler und die Wirtschaftsministerin bei den Ukrainern. Die Tatsache, dass die beiden noch am Abend wieder nach Deutschland zurückkehrten, empfanden viele Menschen vor Ort als inspirierend und tapfer. "An ihrer Stelle hätte ich nicht den Mut, wieder in ihre Heimat zurückzukehren. Ich wäre einfach in der Ukraine geblieben", so Valentyn. "Obwohl sie wissen, dass sie keine Chance haben, gehen sie zurück und stellen sich ihrem aussichtslosen Kampf." anh, ssi; Foto: picture alliance/dpa | Kay Nietfeld
008
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 04/10/2026
Alles erledigt!! Also noch nicht ganz alles, was in der Welt problematisch ist gerade, aber mein alter #Podcast π=3 mit @PetraSchwer ist nun … äh … genauso wie vorher unter pi-ist-genau-3.de erreichbar! Allerdings ist das jetzt kein Wordpress+Podlove mehr […] [Original post on mathe.social]
An etwas schmutziger Rauhfasertapete kleben eine Visitenkarte mit der Aufschrift „π=3“ sowie eine Münze aus Super Mario World.
121
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 04/10/2026
Nächsten Donnerstag ist der zweite KI-Stammtisch an der #OvGU #Magdeburg. Also 8.10., 15 Uhr im Tagungsraum der Universitätsbibliothek. Joram Soch und ich geben kurze Inputs, wie wir KI als Lernassistenz für Studierende einsetzen, bei mir ist das mein RAG-Bot Linaki/Funki, der gerade für das […]
mathe.social
Original post on mathe.social
020
Reposted by Thomas Kahle
Ulrike Franke @rikefranke.eu · 04/10/2026
The answer to this problem, of course, is that AI needs to be trained on Iain M Banks Scifi 🤷‍♀️
38216
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 04/10/2026
Gerade wieder die #Dizzle-Matrix genutzt! thomas-kahle.de/blog/2024/Dizzle
thomas-kahle.de
Die Dizzle-Matrix
the mathematician and podcaster from Magdeburg, Germany.
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 03/10/2026
16361 #Erdentage. Primzahl und Palindrom!
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 03/10/2026
Samuel Lundqvist pointed me at the (obvious in retrospect) fact that claude could maybe improve my #Binomials #Macaulay2 package from the 2010s… thomas-kahle.de/bpd.html It sure does! And this is all from putting in some clever heuristics, better […] [Original post on mathe.social]
Claude reports speed improvements from 140s to 2.7s in one benchmark.
100
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 03/10/2026
Huh, claude code no copies from pi.dev.
Claude Code promo mail. You can now write typescript extensions to claude code.
010
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 03/10/2026
This is what you ask me at 3:26 in the night, mathematics?
An E-Mail from “Mathematics” with the subject “Can I have your article”
000
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 02/10/2026
Serious question to which I have no answer: Given these @arXiv submission numbers in different math categories, do you think #math is in a difficult situation or having the best time ever?
Basically any arXiv category in math shows a hockey stick curve in number of submissions.
100
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 02/10/2026
Wurde heute im Podcast 4004 der @ct_Magazin zitiert zu #openai und #mathe: Ab Minute 6 ca: overcast.fm/+ABQLKqoU8mM/6:35 Nur noch ein Kommentar: Der Vorwurf der im Raum steht, ist dass OpenAI auch auf den Chats trainiert, wenn man dem explizit widersprochen hat. Wir wissen von dem […]
mathe.social
Original post on mathe.social
101
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 02/10/2026
Meine sehnlichsten Wünsche für AI in 2027 sind funktionierende Rechtschreibkorrektur und halbwegs OKe Staubsaugerroboter. Bei euch?
200
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 02/10/2026
Interessanter Newsletter von #atmosfair zu den Herausforderungen beim E-Kerosin: www.atmosfair.de/de/ueber_uns/medie…
atmosfair.de
Newsletter Oktober 2026 - atmosfair
Was läuft schief beim E-Kerosin? ++ Umweltverträgliche Flugkraftstoffe im Globalen Süden
000
Reposted by Thomas Kahle
Haken dran @hakendran.social.heise.de.ap.brid.gy · 02/10/2026
Zwei Drittel der Frauen schränken sich im Netz ein. Aus Angst vor digitaler Gewalt, oder kurz: Aus Angst vor Männern. Männer fühlen sich im Internet so sicher, dass es Frauen nicht mehr können. Daran können nur Männer etwas ändern - und zwar nicht nur die Täter. Heute mit @dennishorn […]
social.heise.de
Original post on social.heise.de
016
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 02/10/2026
#ElifEralp schreibt ihre Beweise mit KI.
010
Thomas Kahle @tomkalei.mathe.social.ap.brid.gy · 02/10/2026
Interesting post by @xenaproject. xenaproject.wordpress.com/2026/10/0… I agree wholeheartedly and in particular I think it is important to have some optimism about the future, at least in mathematics.
xenaproject.wordpress.com
To grieve, or not to grieve?
Recent events in the field of AI for mathematics have shown us beyond all reasonable doubt that the field is currently undergoing a rapid transformation, unlike anything that we have ever seen before. Language models are solving hard problems which … Continue reading →
010
Reposted by Thomas Kahle
Marcel Roth @marcel.machteburch.social.ap.brid.gy · 15/09/2026
Der #Fediday und das #fediverse bei Deutschlandfunk Nova. Gestern Nachmittag habe ich ein paar Eindrücke vom Fediday in Berlin im Radio erzählt. Danke für die Interviews: @tomkalei Alexandra Resch von der @informatik und @wintermeyer […]
machteburch.social
Original post on machteburch.social
0111