2026-10-22T18:38:07Z https://njump.me Thomas Kahle https://njump.me/npub13rg2tuswd0fmx9cpd62vdlcsq4ell0h6qcm04r7znjxg2vae99qq39jt75 https://mathe.social/system/accounts/avatars/116/812/571/000/323/875/original/539d870deb6489c0.jpeg https://mathe.social/system/accounts/avatars/116/812/571/000/323/875/original/539d870deb6489c0.jpeg https://njump.me/nevent1qqsv76ew5f8lkjclah7vyhnc7qyeen2jp3cf04sxwvfteuhmud6mgkczyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qvs0tq6 2021 war Corona. Die Älteren werden sich erinnern.<br/><br/>Damals habe ich meine Algebra Vorlesung komplett per Video gehalten und die Videos veröffentlicht:<br/><a href="https://tube.mathe.social/c/vl_algebra/videos">https://tube.mathe.social/c/vl_algebra/videos</a><br/>(und auch auf dem pösen YT…)<br/><br/>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.<br/><br/>Ich habe ja schon vorher Skripte mit AI aus Handschrift in TeX/typst übersetzt, aber die Geschwindigkeit und Fehlerfreiheit ist jetzt schon erstaunlich. <br/><br/>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.<br/><br/><a href="https://thomas-kahle.de/algebra.html">https://thomas-kahle.de/algebra.html</a><br/><br/>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.<br/> <img src="https://mathe.social/system/media_attachments/files/117/477/536/279/195/312/original/52501a5835458ac0.png"> <br/> <img src="https://mathe.social/system/media_attachments/files/117/477/536/269/182/617/original/e27b55aa579a390a.png"> <br/> 2026-10-21T06:42:30Z https://njump.me/nevent1qqsd3ymzhw78r2dq3kmmgntq0cyuuu9jkud0t4app4gqackcsspyejszyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qpmeuwf RE: <a href="https://bots.robots.rodeo/@scream/117458150442210203">https://bots.robots.rodeo/@scream/117458150442210203</a><br/><br/>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.<br/><br/>(Dieser Post ist Satire und basiert nur teilweise auf wahren Begebenheiten).<br/>nostr:note1hfhss7arpdxk6wrdnnhlyvnequjar2txvx9v8waalt734fx0hccqt45kwt<br/> 2026-10-19T10:52:28Z https://njump.me/nevent1qqszfz4rsk2lmrzc9lhf4dd0sma9w48vq2ffuty8d2mryl8yuxnw24qzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qx5hkm6 In reply to <a href='/nevent1qqsrlr8lz9c5kym4jjx7futf3jlqqr0wlf56eenev6dvp75ujz9a9lgl9dfx7'>nevent1q…dfx7</a><br/>_________________________<br/><br/>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). <br/><br/>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. <br/><br/>The progress in 2026 is mindblowing. 2026-10-11T21:14:14Z https://njump.me/nevent1qqsvmq87wvfdz49zmhdpfcxwyrx5vn8lyzs603e9duku4azy69cpq0gzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qa0fevk In reply to <a href='/nevent1qqsg4g042r3wakl3tchwdpnrtma2zy9hzkwh4a4ejwvg2uprnyafnxq3s4g5y'>nevent1q…4g5y</a><br/>_________________________<br/><br/>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-09T14:04:57Z https://njump.me/nevent1qqsdr5d5pqht5xxlq52v63vvsamgv6uqgl59n0kcx22fnxzq4dxe4wqzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55q8mz4e3 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?<br/><br/>Somehow, it doesn’t seem relevant anymore, or does it?<br/><br/>#openAI 2026-10-09T13:46:07Z https://njump.me/nevent1qqs2encrnhra2n7s2nqcvpsle8yx55xgnp59taxksv3a5m95pc42meqzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qs4udzl 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.<br/><br/>- Ich muss nebenbei arbeiten, kann die Übung nicht besuchen, auch OK, oder?<br/>- Ich habe die Vorlesung schon mal besucht und nicht bestanden und komme nicht, OK?<br/>- Ich habe 2 Pflichtveranstaltungen gleichzeitig und kann daher nicht. Können Sie Videos bereitstellen?<br/><br/>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. <br/><br/>Das sind alles massive Probleme die meiner Erfahrung nach den Studienerfolg jetzt schon verhindern. <br/><br/>#academicchatter 2026-10-09T05:25:01Z https://njump.me/nevent1qqsqxe5qtqxtce8nmj5maz5ccrc6p8musy4ay4cc7mvutksy9l673pgzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qqx4tad RE: <a href="https://social.heise.de/@heiseonline/117405218459252829">https://social.heise.de/@heiseonline/117405218459252829</a><br/><br/>Booste das hier mal als Diskussionsbeitrag.<br/><br/>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. <br/><br/>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. <br/><br/>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.<br/><br/>Wir sollten diese KI Ergebnisse wie “Messungen” oder “Beobachtungen” betrachten und dann unser menschliches Verständnis darauf aufbauen.<blockquote class="border-l-05rem border-l-strongpink border-solid"><div class="-ml-4 bg-gradient-to-r from-gray-100 dark:from-zinc-800 to-transparent mr-0 mt-0 mb-4 pl-4 pr-2 py-2">quoting <br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Article"><a itemprop="url" href="/note1m69rylnpyu68aw26jcrrjwnwf52893yd5wfyxxp8ha9dudwvj4yqgg5jpj" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1">note1m69…5jpj</a></span><br/> </div> KI-generierte Mathematiklösungen: Scharfe Kritik am Vorgehen von OpenAI<br/><br/>Nachdem OpenAI KI-generierte Lösungen zu hunderten Problemen aus der Mathematik veröffentlicht hat, übt eine junge Organisation heftige Kritik an dem Vorgehen.<br/><br/><a href="https://www.heise.de/news/KI-generierte-Mathematikloesungen-Scharfe-Kritik-am-Vorgehen-von-OpenAI-11480767.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon">https://www.heise.de/news/KI-generierte-Mathematikloesungen-Scharfe-Kritik-am-Vorgehen-von-OpenAI-11480767.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon</a><br/><br/>#Forschung #IT #KünstlicheIntelligenz #Mathematik #OpenAI #Wissenschaft #news </blockquote> 2026-10-08T12:21:47Z https://njump.me/nevent1qqsv76kf0szcjwyhlqsvn2mrydnl5flqss2r7680cgtlhenwvkxxqyqzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qkjvsj6 In reply to <a href='/nevent1qqsx4a5mca2g4hjm3xx00yzvhe2wlkxy79x2yy8tfgshfa76g62nauqzygvaj'>nevent1q…gvaj</a><br/>_________________________<br/><br/>Ich habe übrigens mal einen Podcast mit <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1ys72xgzr6089dr3qt8fw3zz02tlqzv7yce5d8j6awr2z2vp3rq4qggha7z" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Petra Schwer</span> (<span class="italic">npub1ys7…ha7z</span>)</a></span> darüber gemacht:<br/><br/><a href="https://pi-ist-genau-3.de/eigentum-verpflichtet/">https://pi-ist-genau-3.de/eigentum-verpflichtet/</a> 2026-10-07T14:52:14Z https://njump.me/nevent1qqsx4a5mca2g4hjm3xx00yzvhe2wlkxy79x2yy8tfgshfa76g62nauqzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qfsf75g Also sorry aber diese PM von der #DMV spricht _NICHT_ für mich.<br/><br/>Dort steht, “Denn KI-Modelle nutzten meist ungefiltert und unerlaubt vorhandenes Wissen; auch solches, das auf so genannten Preprint-Servern liegt”<br/><br/>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?<br/><br/>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.<br/><br/>Man kann über KI denken was man will, aber jetzt die Wissenschaftsfreiheit in Frage zu stellen ist komplett daneben und auch juristisch nicht haltbar.<br/><br/><a href="https://www.mathematik.de/dmv-presse/5354-kapern-einzelne-technologie-konzerne-mittels-k%C3%BCnstlicher-intelligenz-die-mathematik">https://www.mathematik.de/dmv-presse/5354-kapern-einzelne-technologie-konzerne-mittels-k%C3%BCnstlicher-intelligenz-die-mathematik</a> 2026-10-07T14:50:20Z https://njump.me/nevent1qqsfvyfemqqnk4rtclmwagtm7ewqs2nf0w4gh5wnh73939kzsp7slhszyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qtac58v In reply to <a href='/nevent1qqs8lu4syqtd6megd0uqsvpzzr8ka8fhnppcjtev7qep39vl2g08ddqgy8yfa'>nevent1q…8yfa</a><br/>_________________________<br/><br/>Very interesting question!<br/><br/>So assume there is a press release by openAI, here are our 100 papers.<br/><br/>Mathematicians respond by saying: “🤔” (in a more elaborate way).<br/><br/>Economist title: OpenAI released 100 solutions - mathematicians seemingly stopped caring.<br/><br/>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-24T11:10:29Z https://njump.me/nevent1qqsvf2dpzeg5u86suq40dc2t0s268ewkmqvsdqqnfp3ek22ax23gkwczyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qx956zg 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 <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1d069xlejuuu9tee7kr8z4cwxvy33w4pdzyl9ehl4ed2gpwxqr93sqwujwe" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Eigenraum</span> (<span class="italic">npub1d06…ujwe</span>)</a></span> und so bleibt für mich hier nur der Ernst des Lebens.<br/><br/>Z.B. die News des Tages:<br/><br/>ζ(5) ist irrational.<br/><br/>Und jetzt warten wir alle auf den den <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1lmlg9ph2vt3e9d0kmg2xqaygftghcd6d5325whfq6p0y7vsevqrqnpx9hx" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>npub1lmlg9ph2vt3e9d0kmg2xqaygftghcd6d5325whfq6p0y7vsevqrqnpx9hx</span> (<span class="italic">npub1lml…x9hx</span>)</a></span> - Song mit dem Beweis. 😁 2026-09-24T06:13:45Z https://njump.me/nevent1qqs8vxn9f3709akda9tqmjveygcmqw5ckj5qtd8n8329cge0gjg6fsczyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qqdsqy3 In reply to <a href='/nevent1qqs0wdgk03lvuynwenerqmj679t09sxpur073gxnjx36e69ehqsc3zgn7hpn9'>nevent1q…hpn9</a><br/>_________________________<br/><br/>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.<br/><br/>I&#39;m also not saying we should ignore those proofs! We should just ignore openai and focus on the proofs!<br/><br/>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.<br/><br/>It&#39;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.<br/><br/>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.<br/><br/>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&#39;s work with that, start digesting etc. Let&#39;s do that in the open and let&#39;s not overstate openai&#39;s role in this. <br/><br/>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-23T19:33:12Z https://njump.me/nevent1qqs8cmhkxxq5n5suyn7t2q2prn3j52gp8a8kzj0uxh3ltls76u7q5mqzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qcvndem In reply to <a href='/nevent1qqsx7gd54ndygrn0gkaveze2euy664f2klprn65xgzfjzmvwaa47yzslav3fe'>nevent1q…v3fe</a><br/>_________________________<br/><br/>Why do you think mathematicians should engage with OpenAI at all after what happened / is still happening? <br/><br/>Why do “we” mathematicians need to give them input?<br/><br/>Feels like talking with the schoolyard bully about “our problems and how to resolve them”. <br/><br/>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. <br/><br/>This is how science works. Anybody can post anything and then peer review and so on… 2026-09-23T17:46:37Z https://njump.me/nevent1qqsvfy2zh7rstq9st69klfnymm80ksq4c5m5t4psvwj27pdjsfnwpvgzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qahrqsu In reply to <a href='/nevent1qqszdlxwwfn3jry4aahvvmvt0f7rnktv84n7l82s0hndc08y5xd0nrs6ualp6'>nevent1q…alp6</a><br/>_________________________<br/><br/>So many thoughts in my head.<br/><br/>One is &#34;don&#39;t feed the trolls&#34;. We should probably not reply at all. But of course &#34;we&#34; is an international community of so many people that there will not be one voice.<br/><br/>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.<br/><br/>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.<br/><br/>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 &#34;that other area of math is so over, only MY area is impacted less&#34;. Like &#34;pure&#34; vs. &#34;applied&#34; both say that about each other. <br/><br/>Divide et impera is working, people.<br/><br/>I think we should just slow down ourselves, if they don&#39;t want to. Ignore them for a month. They put out a solution to a millenium problem. Sure, upload to the arXiv, we&#39;ll take a year or five to review. Please stay tuned...<br/><br/>2/2 2026-09-22T19:37:08Z https://njump.me/nevent1qqszdlxwwfn3jry4aahvvmvt0f7rnktv84n7l82s0hndc08y5xd0nrszyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qwdpcfy So #OpenAI wants to be friends again?<br/><br/><a href="https://openai.com/index/advisory-group-on-mathematics-and-ai/">https://openai.com/index/advisory-group-on-mathematics-and-ai/</a><br/><br/>It&#39;s hard to understand what this means. Everything is so slick and a bit meaningless. Maybe they used AI to write their statement?<br/><br/>&#34;Importantly, the group will not be responsible for advising us on how to pace our internal progress on mathematics.&#34; 🤔<br/><br/>Sounds to me like: &#34;OK, we will solve your problems in any case, if you don&#39;t want to hear the solutions we will just keep quiet.&#34;<br/><br/>So they produced 100 new theoremoids spending a couple millions of dollars and now they are asking us if we want to hear them?<br/><br/>And then what &#34;we&#34; do is to set up a Google Form in which mathematicians can say how they think the 100 new results should be disseminated ? <br/><br/><a href="https://agmai.org/">https://agmai.org/</a><br/><br/>#ai #ai4math<br/><br/>1/2 2026-09-22T19:27:10Z https://njump.me/nevent1qqsy74nfhzt0xtd5fm8aeu59uwcq02lhg94u8lsl9zjyx2zj4h3v6jqzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qch095j Erfreuliche Immatrikulationszahlen in der #Mathematik der #OvGU Magdeburg! Trotz KI und #noafd Risiken entscheiden sich wieder deutlich mehr junge Menschen für dieses Studium.<br/><br/>Ein Mathematikstudium ist weiterhin eine gute Wahl wegen der Kompetenzen die man durch intensive Beschäftigung mit schwierigen, abstrakten Problemen aufbaut.<br/><br/>Und Spaß macht es natürlich auch und in Magdeburg haben wir eine tolle Fakultät und Fachschaft <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1uwenwewlwqkheshw9427tpf0pq0q0v0sd25kwkfjnp44309qpkvqp202g9" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>npub1uwenwewlwqkheshw9427tpf0pq0q0v0sd25kwkfjnp44309qpkvqp202g9</span> (<span class="italic">npub1uwe…02g9</span>)</a></span>.<br/><br/>Willkommen an der FMA! 2026-09-21T07:40:08Z https://njump.me/nevent1qqspshtda48skw29haks658hthyce2z7peg49rnpxcm8zhqc2hr07fszyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55q025zqe RE: <a href="https://hachyderm.io/@sabrinkmann/117258130915797854">https://hachyderm.io/@sabrinkmann/117258130915797854</a><br/><br/>Danke an das Team vom <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub14xc945uyl56whcxhumkyp7vm3xgnf5fuqd72xegle0yjvamstc9qytmzp3" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Berlin FediDay</span> (<span class="italic">npub14xc…mzp3</span>)</a></span><br/>für die perfekt organisierte Veranstaltung!<br/><br/>Es gab nicht nur genug #fediverse Themen, sondern auch Gelegenheiten für Gespräche und Treffen in bester Atmosphäre.<br/><br/>Z.B.: mein erster Wikidata-Edit ist jetzt auch drin. Ich habe das Enddatum meines alten Accounts hinzugefügt. Wow. <br/>OK, Rome wasn&#39;t built in a day... 2026-09-13T16:28:10Z https://njump.me/nevent1qqs9wpx95jz5yg698e890lfygsatf78c9katqnhtevzjy6t0sc3prjqzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qjrdfv3 Erst war #plushtodon vom Fahrrad gefallen 😳 aber nun ist er doch noch sicher beim <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1sm9gjmq62ddsxjxh94c46h2p8w8m22k42p6spypdp0y6xzx05w2s7c9n65" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Fediverse Tag MD</span> (<span class="italic">npub1sm9…9n65</span>)</a></span> angekommen. Puh.<br/> <img src="https://mathe.social/system/media_attachments/files/117/247/409/162/951/435/original/a21aa8ecdf6e1b04.jpeg"> <br/> 2026-09-10T15:18:08Z https://njump.me/nevent1qqst4rrp6sp7y86wts9z3ndah3krunsk2vwzef9nmavhehszpe6fvfgzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qrq98l0 In reply to <a href='/nevent1qqsfeccsxp2fsmaxskmu8vgzc6jt32edttr88yafa2u49n2qj2emc8cqs293y'>nevent1q…293y</a><br/>_________________________<br/><br/>Das Statement hier: neben den menschlichen Abgründen die sich auftun, siehst du auch da:<br/><br/>„The model worked autonomously without human input“ <br/>„was given only the problem statement“ <br/><br/>entspricht nicht der Wahrheit. <br/><br/><a href="https://mathe.social/@tomkalei/117233602151718471">https://mathe.social/@tomkalei/117233602151718471</a> 2026-09-08T05:14:46Z https://njump.me/nevent1qqs2j4e9g5cevnk7we9qshgymh86p78ldgava9ep544ywek34uhws7czyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55q9yz8yf Wild West in #mathematics<br/><br/>Read everything here:<br/><br/><a href="https://cims.nyu.edu/~tristanb/statement.pdf">https://cims.nyu.edu/~tristanb/statement.pdf</a> 2026-09-08T04:46:46Z https://njump.me/nevent1qqs0860ne58le2e0ul6xhk0wn7vgt34q2ftqvr42lhzreurm6wrra7szyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qygkwx0 In reply to <a href='/nevent1qqsqkmlf2hkzgspgzs3d2nzf9ayw90fg4ghcnhlrk3mytm9szkks5pqk66pqs'>nevent1q…6pqs</a><br/>_________________________<br/><br/>Ja, da sagst du natürlich was... Was ich hier poste ist eine Karikatur von dem, was wirklich passiert. Nach diesem Thread/Paper <br/><a href="https://mathe.social/@tomkalei/117202962339468419">https://mathe.social/@tomkalei/117202962339468419</a><br/>haben mich Leute nach &#34;den Originalchats&#34; gefragt.<br/><br/>Da ist mir klar geworden, dass viele keine Ahnung haben, wie die &#34;KI Nutzung in der Mathematik&#34; wirklich ist. <br/><br/>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.<br/><br/>Weil man aber genau zu dem Zeitpunkt &#34;gpt Pro&#34; 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:<br/><br/><a href="https://chatgpt.com/share/6a9e97a7-8df0-83ed-a9cf-cc7d15fefd9e">https://chatgpt.com/share/6a9e97a7-8df0-83ed-a9cf-cc7d15fefd9e</a> 2026-09-07T17:07:16Z https://njump.me/nevent1qqsvzkd8cqv3wxgljzf6hvemp88et7p5m9v0jtxzg50m4tdzvjwq3wczyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qztpch6 In reply to <a href='/nevent1qqstr4ndgmu9lxgr3rxc9gl2cwd5vzgsj2njt4uhr6229xlfd6t2ewswre3vv'>nevent1q…e3vv</a><br/>_________________________<br/><br/>Also irgendwie scheint das ein neues Feature zu bewerben, bei dem die KI regelmäßig was für einen macht. Sollte also schreiben:<br/><br/>&#34;Sag mir jede Woche bescheid, was es für neue Beweise von H10(QQ) gibt&#34; ☝️ 2026-09-07T16:56:17Z https://njump.me/nevent1qqsrytj7zrd5eftn58rns69h5u508rp02vezq5cz8knl88x367m9u8gzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qd4c02n Was findet ihr besser, den Beispielprompt oder meinen?<br/><br/>#gpt6<br/> <img src="https://mathe.social/system/media_attachments/files/117/230/240/693/573/969/original/05f14065b002d4e9.png"> <br/> 2026-09-07T14:31:57Z https://njump.me/nevent1qqsp34mem7ur9l2ywsq0kf090ngzxhd6vnrxkqpns0r6j9qshtjurlszyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qf5y6vq Today at Freie Universität BerLean there was a meeting to discuss what the definition of a polytope should be. <br/><br/>Partial consensus was reached!<br/><br/>This is of course about the long missing formalisation of polytopes in #lean4 and #mathlib, which is one of the points of this workshop: <a href="https://mathconf.eu/pil-fub-2026/">https://mathconf.eu/pil-fub-2026/</a><br/>(which is also part of our [@dfg_public](<a href="https://wisskomm.social/@dfg_public">https://wisskomm.social/@dfg_public</a> ) priority programme Combinatorial Synergies: <a href="https://www.combinatorial-synergies.de/">https://www.combinatorial-synergies.de/</a>)<br/><br/>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!<br/><br/>🧵<br/> <img src="https://mathe.social/system/media_attachments/files/117/168/342/294/123/555/original/3ffe2f70e529d81a.jpeg"> <br/> 2026-08-27T16:10:23Z https://njump.me/nevent1qqsxt6h5z7c9p80qj32teajgfghcg72k9sdwwtrljfv6c887chur2xszyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qyr8sk8 In reply to <a href='/nevent1qqsyk67x66x2zmkpkx2ly84aftujqy3mujxl6re453qxmwt6m36tuxg8cn7zf'>nevent1q…n7zf</a><br/>_________________________<br/><br/>Oh super. Danke! 2026-08-22T14:41:52Z https://njump.me/nevent1qqsxczm3tq406jpxvnpv6ly8wsaxacxgz3h6n3xzn72g44fyr4z7gkgzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qcjunk5 In reply to <a href='/nevent1qqsxtvzl42qf5swjwmahsunyfxjv0ra55fxsun49n2gsr85035u7h0qqfe0tp'>nevent1q…e0tp</a><br/>_________________________<br/><br/>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 &#34;Bubble&#34; hat sich zerlegt. Manche haben aufgehört, einige sind bei Bluesky oder LinkedIn of all things.<br/><br/>Gerade die US-Leute sind auch noch auf X. 😔<br/><br/>mathe.social ist der Versuch, was neues aufzubauen.<br/><br/>Erzählt es gerne weiter und sprecht mich an. 2026-08-22T12:43:12Z https://njump.me/nevent1qqsxtvzl42qf5swjwmahsunyfxjv0ra55fxsun49n2gsr85035u7h0qzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qju3q7a In reply to <a href='/nevent1qqs9dx6xry9sfh0stxc4d8yvja0lpmge50d6lne4en3dv32uqvghk6s9cuaha'>nevent1q…uaha</a><br/>_________________________<br/><br/>Mutual mit #Punk bands 🎸<br/><br/>Sind leider kaum Bands hierher gekommen, alle zu Insta, genau wie die Maus. Aber <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1yfprjpr69txnj6cs3y9jcwzkuq5z5hk9evkx7fqgwy4asq9flpeqjyas68" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Punkrock History</span> (<span class="italic">npub1yfp…as68</span>)</a></span> ist ein guter Account!<br/> <img src="https://mathe.social/system/media_attachments/files/117/139/200/821/223/826/original/72f5903e8907c0af.png"> <br/> 2026-08-22T12:40:21Z https://njump.me/nevent1qqs9dx6xry9sfh0stxc4d8yvja0lpmge50d6lne4en3dv32uqvghk6szyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qgdgwa6 In reply to <a href='/nevent1qqs2ltuxkyfkvptszy3lmp27qttyp64ws8gr4wjnwhdh4rxjmmx9cpsclvyac'>nevent1q…vyac</a><br/>_________________________<br/><br/>I miss you Maus.<br/> <img src="https://mathe.social/system/media_attachments/files/117/139/194/123/292/636/original/83ef564ed5d69907.png"> <br/> <img src="https://mathe.social/system/media_attachments/files/117/139/194/174/184/326/original/528fb3dcab52b3a7.png"> <br/> 2026-08-22T12:38:08Z https://njump.me/nevent1qqs2ltuxkyfkvptszy3lmp27qttyp64ws8gr4wjnwhdh4rxjmmx9cpszyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55qqmu96t 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.<br/><br/>Denke heute immer noch manchmal an #Twitter und die vielen coolen Sachen die dort gelaufen sind. 😢<br/><br/><a href="https://machteburch.social/@tomkalei/109256820707891606">https://machteburch.social/@tomkalei/109256820707891606</a><br/><br/>#neuhier 2026-08-22T12:36:50Z https://njump.me/nevent1qqswkcfzs60pnjtk09u95fsr22w75mgtxp50s4g68wtuz9cmqt8wfegzyzydpf0jpe4a8vchq9hff3hlzqzh8la7lgrrd750c2wgepfnhy55q7sesc8 just setting up my mstdn 2026-06-25T20:20:26Z