Thomas Kahle

Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg.

Math professor at OvGU Magdeburg posting in English and German.

When I was young, we used to compile our own operating systems. :gentoo:

Dauerkarte :scm:

Admin von mathe.social

Homepage: https://thomas-kahle.de
Eigenraum Podcast: Eigenraum (npub1d06…ujwe)
Pi ist genau 3 Podcast: https://pi-ist-genau-3.de
Erdentage App (iOS): https://apps.apple.com/de/app/erdentage/id6770075035

Public Key

npub13rg2tuswd0fmx9cpd62vdlcsq4ell0h6qcm04r7znjxg2vae99qq39jt75

NIP-05 Address

[email protected]

Profile Code

nprofile1qqsg35997g8xh5anzuqka9xxlugq2ullhmaqvdh63lpfery9xwujjsqpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsc8evhe

Publishing to

nostr.land

relay.damus.io

nos.lol

Author Public Key

npub13rg2tuswd0fmx9cpd62vdlcsq4ell0h6qcm04r7znjxg2vae99qq39jt75

Show more details

Last Notes

2026-10-21 06:42:30 GMT

2021 war Corona. Die Älteren werden sich erinnern.
Damals habe ich meine Algebra Vorlesung komplett per Video gehalten und die Videos veröffentlicht:
https://tube.mathe.social/c/vl_algebra/videos
(und auch auf dem pösen YT…)
Jedenfalls werde ich ab und zu noch nach dem Skript gefragt, gestern wieder. Und das gibt es nur als eine handschriftliche 355MB Datei aus GoodNotes.
Ich habe ja schon vorher Skripte mit AI aus Handschrift in TeX/typst übersetzt, aber die Geschwindigkeit und Fehlerfreiheit ist jetzt schon erstaunlich.
Also mit je einem Subagent pro Kapitel hat die Übersetzung gestern ungefähr 30 Min gedauert. Davon musste ich 5 Min die Problembeschreibung verfassen und dann hat der Opus 5.5 das erledigt.
https://thomas-kahle.de/algebra.html
An Token wurde etwas weniger als die 5h allowance des 20 EUR Abos verbraucht. Das Ergebnis ist auch hier verlinkt. Unten ein Screenshot, wie eine Seite vorher aussah. Klar, es gab das ganze Framework und meinen Style von anderen Skripten, das lag dem Agent vor.
https://mathe.social/system/media_attachments/files/117/477/536/279/195/312/original/52501a5835458ac0.png
https://mathe.social/system/media_attachments/files/117/477/536/269/182/617/original/e27b55aa579a390a.png

2026-10-19 10:52:28 GMT

RE: https://bots.robots.rodeo/@scream/117458150442210203
Ich darf keinen Kaffee bei einer Konferenz aus Forschungsgeldern bezahlen. OK, sollen die Teilnehmer doch ihren Kaffee selbst bezahlen. Nee das geht nicht, weil das ja Geld einnehmen und ausgeben also wirtschaftliche Tätigkeit in den Räumen der Uni ist. Also machen wir eine Konferenzgebühr von der wir den Kaffee bezahlen. Ja, OK. Jeder (internationale) Teilnehmer bekommt eine Rechnung, die er per Überweisung bezahlen muss. Kreditkarte geht nicht. Ah, es gibt eine Firma, die einem all das abnimmt und die Konferenz “organisiert” (man muss alles selbst organisieren, sie machen nur das Geld einnehmen / ausgeben). Die nehmen 20% vom “Umsatz” der Konferenz als ihre Gebühr. Und schon können die Teilnehmer AUS IHREN FORSCHUNGSGELDERN eine Tagungsgebühr bezahlen, die nur dazu da ist, damit der Kaffee bezahlt werden kann + jede Menge Bürokratiezulage.
(Dieser Post ist Satire und basiert nur teilweise auf wahren Begebenheiten).
#note1hfh…5kwt

2026-10-11 21:14:14 GMT

- reply

It’s slightly more complicated than this. There was also a lot of reinforcement learning on logical arguments. Because they can check the validity of an argument produced by an LLM with the proof checker lean, they could systematically train to make the LLM produce more valid arguments (with higher likelihood).
And coding agents also play a big role in this. They also trained on the tool use and sequences of commands a mathematician would type into the computer when doing research.
The progress in 2026 is mindblowing.

2026-10-09 14:04:57 GMT

- reply

Anyway I have not heard of any reports of people who say they worked on one of these problems and that approach they followed was pushed through now…?

2026-10-09 13:46:07 GMT

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

2026-10-09 05:25:01 GMT

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 komme nicht, OK?
- Ich habe 2 Pflichtveranstaltungen gleichzeitig und kann daher nicht. Können Sie Videos bereitstellen?
Alles individuell verständlich, aber auch irgendwie klar, dass das System und der eigene Lebensentwurf ja erstmal Raum und Zeit zum Lernen geben müssen.
Das sind alles massive Probleme die meiner Erfahrung nach den Studienerfolg jetzt schon verhindern.
#academicchatter

2026-10-08 12:21:47 GMT

RE: https://social.heise.de/@heiseonline/117405218459252829
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 richtig und sie erfüllen nicht irgendeinen Standard von wissenschaftlichen Publikationen. Leider sehen sie wegen des LaTeX PDF Formats so aus, aber vielleicht können wir das auch ausblenden. Wir sind doch klug genug, das zu verstehen und einzuordnen.
Was soll “menschliches Verständnis in den Mittelpunkt stellen” denn bedeuten? Die Menschen können das doch jetzt verstehen, wahrscheinlich sogar besser als zuvor, weil sie neue “Daten” für ihr Verständnis haben.
Wir sollten diese KI Ergebnisse wie “Messungen” oder “Beobachtungen” betrachten und dann unser menschliches Verständnis darauf aufbauen.
#note1m69…5jpj

2026-10-07 14:52:14 GMT

- reply

Ich habe übrigens mal einen Podcast mit @npub1ys7…ha7z darüber gemacht:
https://pi-ist-genau-3.de/eigentum-verpflichtet/

2026-10-07 14:50:20 GMT

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 es fundamental wichtig, dass wir #openScience betreiben. In welcher Welt leben Leute, die so etwas schreiben?
Das Theorem was man (meist mit Steuergeldern finanziert) bewiesen hat gehört einem nicht. Und auch nicht der Beweis. Und auch nicht die kommerziellen Verwertungsrechte.
Man kann über KI denken was man will, aber jetzt die Wissenschaftsfreiheit in Frage zu stellen ist komplett daneben und auch juristisch nicht haltbar.
https://www.mathematik.de/dmv-presse/5354-kapern-einzelne-technologie-konzerne-mittels-k%C3%BCnstlicher-intelligenz-die-mathematik

2026-09-24 11:10:29 GMT

- reply

Very interesting question!
So assume there is a press release by openAI, here are our 100 papers.
Mathematicians respond by saying: “🤔” (in a more elaborate way).
Economist title: OpenAI released 100 solutions - mathematicians seemingly stopped caring.
I don’t see that as positive for OpenAI. In fact, they seem to exactly want to avoid such a situation because what happened after Navier-Stokes was not good PR for them.

2026-09-24 06:13:45 GMT

Bei dem ganzen KI Zeug fragt sich vielleicht manch einer, wo denn die ganze schöne Mathematik bleibt. Kleiner Service-Hinweis: Wenn ich tolle Posts sehe die Mathe betreffen, dann booste ich sie irgendwie meistens mit @npub1d06…ujwe und so bleibt für mich hier nur der Ernst des Lebens.
Z.B. die News des Tages:
ζ(5) ist irrational.
Und jetzt warten wir alle auf den den @npub1lml…x9hx - Song mit dem Beweis. 😁

2026-09-23 19:33:12 GMT

- reply

I agree with what you write, that it would be better if those 100 proofs would come out digested, but I just see no chance for that, in particular not by somehow working with openai.
I'm also not saying we should ignore those proofs! We should just ignore openai and focus on the proofs!
My view is a bit like this: As soon as a model exists that can produce these proofs, these proofs exist. All of them. Just exposing them, sending a prompt, spending a million dollars only somehow prints them. But in my mind they are already here among us.
It's a bit more complicated than that because the model is not released but in a short time a model with these capabilities will be released. That time will be shorter than digestion time anyway.
And once that model exists openly, we will be back in the situation we have after the release of astra: random strangers on the web sending us solutions by e-mail, asking us to vet them, everybody being able to produce theoremoids, etc.
It is super sad, but I think it is better to accept reality and embrace open science. Put all the available information out there and then let's work with that, start digesting etc. Let's do that in the open and let's not overstate openai's role in this.
The academic credit system has already broken down. We should accept the reality and build something new, as a community, between humans. BigTech should have no role in how we structure our community.

2026-09-23 17:46:37 GMT

- reply

Why do you think mathematicians should engage with OpenAI at all after what happened / is still happening?
Why do “we” mathematicians need to give them input?
Feels like talking with the schoolyard bully about “our problems and how to resolve them”.
I think we also have the option to ignore them. Let them dump their 100 theoremoids on the Arxiv or their homepage and then we’ll see.
This is how science works. Anybody can post anything and then peer review and so on…

2026-09-22 19:37:08 GMT

- reply

So many thoughts in my head.
One is "don't feed the trolls". We should probably not reply at all. But of course "we" is an international community of so many people that there will not be one voice.
Also, a colleague pointed out that the statement can be read as the bully showing us the tools with which we they will kill us and let us pick our mode of death.
Also, maybe they are exaggerating a lot because they are on the edge of bankruptcy. Excuse my french, but they have us by the balls at the moment because the dependency that we as the community have on these models grows every day.
They know exactly that they have killed the entire reputation system and most importantly the trust among mathematicians. The divisions are already starting. I hear so many people saying "that other area of math is so over, only MY area is impacted less". Like "pure" vs. "applied" both say that about each other.
Divide et impera is working, people.
I think we should just slow down ourselves, if they don't want to. Ignore them for a month. They put out a solution to a millenium problem. Sure, upload to the arXiv, we'll take a year or five to review. Please stay tuned...
2/2

2026-09-22 19:27:10 GMT

So #OpenAI wants to be friends again?
https://openai.com/index/advisory-group-on-mathematics-and-ai/
It's hard to understand what this means. Everything is so slick and a bit meaningless. Maybe they used AI to write their statement?
"Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics." 🤔
Sounds to me like: "OK, we will solve your problems in any case, if you don't want to hear the solutions we will just keep quiet."
So they produced 100 new theoremoids spending a couple millions of dollars and now they are asking us if we want to hear them?
And then what "we" do is to set up a Google Form in which mathematicians can say how they think the 100 new results should be disseminated ?
https://agmai.org/
#ai #ai4math
1/2

2026-09-21 07:40:08 GMT

Erfreuliche Immatrikulationszahlen in der #Mathematik der #OvGU Magdeburg! Trotz KI und #noafd Risiken entscheiden sich wieder deutlich mehr junge Menschen für dieses Studium.
Ein Mathematikstudium ist weiterhin eine gute Wahl wegen der Kompetenzen die man durch intensive Beschäftigung mit schwierigen, abstrakten Problemen aufbaut.
Und Spaß macht es natürlich auch und in Magdeburg haben wir eine tolle Fakultät und Fachschaft @npub1uwe…02g9.
Willkommen an der FMA!

2026-09-13 16:28:10 GMT

RE: https://hachyderm.io/@sabrinkmann/117258130915797854
Danke an das Team vom @npub14xc…mzp3
für die perfekt organisierte Veranstaltung!
Es gab nicht nur genug #fediverse Themen, sondern auch Gelegenheiten für Gespräche und Treffen in bester Atmosphäre.
Z.B.: mein erster Wikidata-Edit ist jetzt auch drin. Ich habe das Enddatum meines alten Accounts hinzugefügt. Wow.
OK, Rome wasn't built in a day...

2026-09-10 15:18:08 GMT

Erst war #plushtodon vom Fahrrad gefallen 😳 aber nun ist er doch noch sicher beim @npub1sm9…9n65 angekommen. Puh.
https://mathe.social/system/media_attachments/files/117/247/409/162/951/435/original/a21aa8ecdf6e1b04.jpeg

2026-09-08 05:14:46 GMT

- reply

Das Statement hier: neben den menschlichen Abgründen die sich auftun, siehst du auch da:
„The model worked autonomously without human input“
„was given only the problem statement“
entspricht nicht der Wahrheit.
https://mathe.social/@tomkalei/117233602151718471

2026-09-08 04:46:46 GMT

Wild West in #mathematics
Read everything here:
https://cims.nyu.edu/~tristanb/statement.pdf

2026-09-07 17:07:16 GMT

- reply

Ja, da sagst du natürlich was... Was ich hier poste ist eine Karikatur von dem, was wirklich passiert. Nach diesem Thread/Paper
https://mathe.social/@tomkalei/117202962339468419
haben mich Leute nach "den Originalchats" gefragt.
Da ist mir klar geworden, dass viele keine Ahnung haben, wie die "KI Nutzung in der Mathematik" wirklich ist.
Meiner Wahrnehmung nach führt so eine Frage wie oben eigentlich mit großer Sicherheit nicht zum Ziel. Ich nutze LLMs normalerweise in einem coding agent und die haben ausführliches Kontextmaterial, schreiben auch prompts für subagents usw.
Weil man aber genau zu dem Zeitpunkt "gpt Pro" nur im alten ChatGPT nutzen konnte und nicht in codex, gibt es für die Trinome doch einen Chat, aber auch der Prompt da ist natürlich KI generiert. Hier ist er:
https://chatgpt.com/share/6a9e97a7-8df0-83ed-a9cf-cc7d15fefd9e

2026-09-07 16:56:17 GMT

- reply

Also irgendwie scheint das ein neues Feature zu bewerben, bei dem die KI regelmäßig was für einen macht. Sollte also schreiben:
"Sag mir jede Woche bescheid, was es für neue Beweise von H10(QQ) gibt" ☝️

2026-09-07 14:31:57 GMT

Was findet ihr besser, den Beispielprompt oder meinen?
#gpt6
https://mathe.social/system/media_attachments/files/117/230/240/693/573/969/original/05f14065b002d4e9.png

2026-08-27 16:10:23 GMT

Today at Freie Universität BerLean there was a meeting to discuss what the definition of a polytope should be.
Partial consensus was reached!
This is of course about the long missing formalisation of polytopes in #lean4 and #mathlib, which is one of the points of this workshop: https://mathconf.eu/pil-fub-2026/
(which is also part of our [@dfg_public](https://wisskomm.social/@dfg_public ) priority programme Combinatorial Synergies: https://www.combinatorial-synergies.de/)
For me, putting all of mathematics into one git repository still seems like an impossible feat, but getting to a solid layer of graduate textbook material from many areas of mathematics seems doable now with coding agents. Lots of activity in this direction at the workshop!
🧵
https://mathe.social/system/media_attachments/files/117/168/342/294/123/555/original/3ffe2f70e529d81a.jpeg

2026-08-22 14:41:52 GMT

- reply

Oh super. Danke!

2026-08-22 12:43:12 GMT

- reply

Was auch sehr weh tut ist die Fachkommunikation in der #Mathematik. Sie ist zersplittert. Es gibt tolle Accounts hier auf mathstodon.xyz aber meine persönliche "Bubble" hat sich zerlegt. Manche haben aufgehört, einige sind bei Bluesky oder LinkedIn of all things.
Gerade die US-Leute sind auch noch auf X. 😔
mathe.social ist der Versuch, was neues aufzubauen.
Erzählt es gerne weiter und sprecht mich an.

2026-08-22 12:40:21 GMT

- reply

Mutual mit #Punk bands 🎸
Sind leider kaum Bands hierher gekommen, alle zu Insta, genau wie die Maus. Aber @npub1yfp…as68 ist ein guter Account!
https://mathe.social/system/media_attachments/files/117/139/200/821/223/826/original/72f5903e8907c0af.png

2026-08-22 12:38:08 GMT

- reply

I miss you Maus.
https://mathe.social/system/media_attachments/files/117/139/194/123/292/636/original/83ef564ed5d69907.png
https://mathe.social/system/media_attachments/files/117/139/194/174/184/326/original/528fb3dcab52b3a7.png

2026-08-22 12:36:50 GMT

Ich habe gerade nachgeschaut. Ich habe meinen Account auf machteburch.social am 26.04.22 angelegt, 1 Tag nach der Annahme des Twitter-Angebots und meinen ersten Boost habe ich 28.10.22 abgesetzt, 1 Tag nach dem Vollzug des Kaufs.
Denke heute immer noch manchmal an #Twitter und die vielen coolen Sachen die dort gelaufen sind. 😢
https://machteburch.social/@tomkalei/109256820707891606
#neuhier

2026-06-25 20:20:26 GMT

just setting up my mstdn