Sign in

Christian Stump

@christianstump.bsky.social
617 followers 909 following 417 posts

Mathematician @ Ruhr University Bochum. Antifascist. Quickly getting bored with social media, let's see how it goes. Homepage: homepage.rub.de/christian.stump

PostsRepliesMedia
Reposted by Christian Stump
Zentrum für Politische Schönheit @politicalbeauty.bsky.social · 04/09/2026
Die AfD hat gerade ihren neuesten Wahlkampfspot veröffentlicht: Wenn die Geschichte nicht mehr wie Vergangenheit klingt, sondern wie die Gegenwart. Erkennen wir den Extremismus wenigstens, wenn er im Originalton gesprochen wird?
621252499
Reposted by Christian Stump
Alexander Kasprzyk @amkasprzyk.bsky.social · 04/09/2026
Woke up to find 57 submissions to the journal overnight. I haven’t looked, but I expect approx. 56 will be AI-written slop. To put these numbers in perspective, we publish 40 papers per year. The volume of garbage is getting unmanageable. #MathSky
13012
Reposted by Christian Stump
Joshua Bowman @thalesdisciple.bsky.social · 08/08/2026
Working on an A.I. policy for my calculus classes. Decided to be upfront about the current situation with LLMs and to give a heartfelt explanation for why the course still matters.
Al policy

Context

Artificial Intelligence, or "A.l.," Is a broad term used to refer to several different kinds of technologies. The kind most relevant to this class are Large Language Models (LLMs), which use mathematics to analyze large amounts of human-produced text and then generate new text that simulates what a human might write in response to prompts or questions. Some examples of LLMs are OpenAl's ChatGPT, Anthropic's Claude, and Google's Gemini.Current LLMs can provide a solution to any calculus problem I give you. So why should we work on them, you might ask? Here's the thing: for the most part, the problems were already solved anyway. Calculus as a subject is nearly 400 years old. It has reached into virtually every modern scientific and economic field. And while I would like to believe that I have crafted a few new problems with some small amount of originality tailored to this class, for the most part I have curated a collection of exercises drawn from my years of teaching calculus. Those exercises come from textbooks, workshops, friends, and other fields of study, as well as my own invention.
And they nearly all have known solutions, often with fairly standard approaches.
Before A.I. became widely available, you could find those solutions in another textbook, or from a friend's notes, or through a repository on the internet.The point of this class is not necessarily to solve problems that have never been solved before. It is for you to develop habits of thinking that are used by mathematicians, scientists, and policymakers-to develop a sort of mental toolbox that can be applied to new problems. If along the way you happen to find a new way of solving one of the class exercises, that's great! I am constantly learning new things from my students. But you will be bereft of discovery if you rely on a LLM for solutions to the calculus problems before you. Here I mean the discovery of having your own realizations, crystallizing your own internal understanding, claiming the knowledge in a way that cannot be taken away from you.
That ownership is what I want for you, and that is what the course is built around.
441924546
Reposted by Christian Stump
Gro-Tsen @gro-tsen.bsky.social · 09/08/2026
I also wrote this short thread to explain why, IMO, problem-solving by AIs can fail to represent any kind of advancement, and can even set mathematics back by destroying opportunities:
122
Christian Stump @christianstump.bsky.social · 17/06/2026
Asking for a friend: Is doomclauding a thing? #ClaudeCode #Slotmachine
010
Christian Stump @christianstump.bsky.social · 07/06/2026
"Benchmarks in Leipzig": 49 researchers, 100 research-level mathematics questions: Only 2 of 100 questions remained unsolved. Performance shows significant variation across different models and repeated runs. Details: arxiv.org/abs/2606.05818 #MathSky #AI #LLM #Mathematics
arxiv.org
Benchmarks in Leipzig
Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the 3-day workshop *Bench...
010
Christian Stump @christianstump.bsky.social · 17/03/2026
On math.sciencebench.ai you can discuss math research with the SOTA models simultaneously for free. 👉 compare & cross-discuss their answers First observation: models rarely revise answers—even when another is clearly better. “Epistemic inertia” will be worth studying 🧭 #AI #LLM #Math #AIResearch
math.sciencebench.ai
ScienceBench|Challenge the newest AI models
Challenge the newest AI models with your hardest PhD-level exercises. Learn how to use AI in your math research.
000
Reposted by Christian Stump
Der Volksverpetzer @volksverpetzer.de · 12/03/2026
Leute, die unsere journalistische Arbeit gegen Desinformation und für die Demokratie als "linksradikale NGO-Propaganda" bezeichnen, empören sich über unser "undemokratisches" "Journalismusverständnis", weil wir kritisieren, dass die rechte Agitprop-Plattform NIUS nicht normalisiert werden sollte.
1048291
Christian Stump @christianstump.bsky.social · 06/03/2026
My math.science-bench.ai project now offers a free chat for professional mathematician -- try it out and let me know! * Chat in parallel with #Claude Opus 4.5, #DeepSeek V3.1, #Gemini 3 Pro, #GPT 5.2, #Grok 4. * Conversations are not used for AI-model training. * Models use maximum thinking effort.
110
Reposted by Christian Stump
k. radke @kradke.bsky.social · 11/02/2026
Meinungsbildung #Demokratie
18617148
Reposted by Christian Stump
Hanna Herbst @hhumorlos.bsky.social · 08/02/2026
Faschismus, aber friedliebend. Einfach süß 🥹 Gratuliation, @zeit.de, alles, aber auch wirklich ALLES, falsch gemacht
671754299
Reposted by Christian Stump
#AntifaMagazin der rechte rand @derrechterand.bsky.social · 31/01/2026
Müllermilch-Gründer greift @campact.de an. Theo Müller geht gegen Kampagne vor. Man soll nicht mehr sagen, dass er die rechtsextreme AfD unterstützt. 🤝 Teile diesen Beitrag, damit noch mehr Leute über die AfD-Unterstützung des #Müllermilch Gründers Bescheid wissen. www.campact.de/blog/2025/09...
campact.de
Müllermilch feiert die AfD
Müllermilch & AfD – was viele nicht wissen: Mit jedem Kauf landet Geld bei einem Unternehmer, der eng mit Alice Weidel & Co. verbandelt ist. Dazu kommen Millionen-Spenden von Unternehmern, die die AfD...
4219221288
Reposted by Christian Stump
Bruce Springsteen @brucespringsteen.net · 29/01/2026
Oh our Minneapolis, I hear your voice Singing through the bloody mist We’ll take our stand for this land And the stranger in our midst Directed by Thom Zimny Edited by Thom Zimny and Samuel Shapiro Production Footage: Pam Springsteen and Thom Zimny
youtu.be
Bruce Springsteen - Streets Of Minneapolis (Official Lyric Video)
YouTube video by Bruce Springsteen
25264012475
Reposted by Christian Stump
Micah @rincewind.run · 25/01/2026
it shouldn’t matter at all what the background of someone murdered by fascists is “he was no angel” is horrible, bigoted bullshit but it does affect people’s perception and they fucked up really really bad here because they appear to have shot an actual saint
162018364
Reposted by Christian Stump
Der Volksverpetzer @volksverpetzer.de · 25/01/2026
Fändet ihr es nicht sinnvoller, ein AfD-Verbot vom Bundesverfassungsgericht prüfen zu lassen, BEVOR die AfD eine Terrorpolizei wie ICE bei uns einführt, die willkürlich Menschen ermordet?
933005818
Reposted by Christian Stump
RAV @rav-ev.bsky.social · 24/01/2026
Wir alle sehen die Bilder vom Polizeiterror in #Minneapolis. Wieder haben die ICE-Schergen getötet. Machen wir uns nichts vor: Wenn Politiker*innen der AfD von "Remigration sprechen, dann wollen sie genau diese Verhältnisse. #AfdVerbotjetzt #ICE
261135388
Reposted by Christian Stump
Mark Copelovitch @mcopelov.bsky.social · 19/01/2026
This, right here 🎯💯. I’ve been trying to communicate this to people, as a native 🇨🇦, for a year now. Again, the fact that this wasn’t immediately seen as a presidency-ending, beyond-the-pale thing for all 535 Congresspeople, the media, & the public is deeply ugly & shameful for us as a country.
281942510
Reposted by Christian Stump
James Ball @jamesrball.com · 03/01/2026
Marco Rubio is reportedly saying Maduro will stand trial in US courts. Which means it’s now the US administration’s position that US courts can hold foreign presidents, but not the US president, accountable for crimes.
15375928920096
Reposted by Christian Stump
Johannes (Hadestown era) @rehborn.de · 24/12/2025
All I want for Christmas is yoooouuuuristische Prüfung eines AfD Verbots.
133165
Reposted by Christian Stump
Katharina Nocun @kattascha.bsky.social · 24/12/2025
„Wir wollen hier klar sagen: Wir lassen uns von einer Regierung nicht einschüchtern, die Zensurvorwürfe instrumentalisiert, um diejenigen, die sich für Menschenrechte und Meinungsfreiheit einsetzen, mundtot zu machen.“ Anna-Lena von Hodenberg Geschäftsführung HateAid ❤️
Anna-Lena vo... in • 2. + Folgen
Geschäftsführerin und Co-...
6 Std. • G
...
Am Vorabend zum heiligen Abend hat das US. State Departement unter Marco Rubio uns, HateAid Geschäftsführerinnen Josephine Ballon und Anna-Lena von Hodenberg, zu Personae non Gratae erklärt. Es begann damit, dass Josephines ESTA-Visum widerrufen wurde und mündete dann in der u.a. Ankündigung des State Department.
Soweit wir das bisher überblicken können, bedeutet das, dass wir und ggf. auch unsere Familien nicht mehr in die USA einreisen dürfen. Unsere Organisation HateAid, die sich für Menschenrechte im digitalen Raum einsetzt, wird als "radical activists" and "weaponized organisation" eingestuft. Wir müssen nun befürchten, dass wir von US Dienstanbietern gesperrt und blockiert werden. Neben der massiven Einschüchterung, die dieser Schritt mit sich bringt, wird hier die Grundlage gelegt, unsere Arbeit unmöglich zu machen. Das ist der Stand.
Wir wollen hier klar sagen: Wir lassen uns von einer Regierung nicht einschüchtern, die Zensurvorwürfe instrumentalisiert, um diejenigen, die sich für Menschenrechte und Meinungsfreiheit einsetzen, mundtot zu machen. Trotz der enormen Belastungen und Einschränkungen, die die Maßnahmen der US-Regierung für uns und unsere Familien bedeuten, werden wir unsere Arbeit mit aller Kraft fortsetzen - jetzt mehr denn je.Es ist ein Akt der Repression einer Administration, die zunehmend Rechtstaatlichkeit missachtet und versucht, ihre Kritiker mit aller Härte zum Schweigen zu bringen. Und wofür? Weil wir uns für dafür einsetzen, dass Online-Plattformen Verantwortung übernehmen. Weil wir uns dort für Datenzugänge für die Wissenschaft einsetzen. Weil wir vor der zunehmenden Manipulation von sozialen Medien durch rechtsradikale Gruppen warnen. Weil wir finden, dass Kinder- und Jugendliche ein Recht darauf haben, keine Gewalt im Netz erleben zu müssen.
Wir fordern von der Bundesregierung Friedrich Merz Lars Klingbeil und der europäischen Kommission Ursula von der Leyen ein klares Signal, dass das nicht hinnehmbar ist. Denn wenn das unbeantwortet bleibt, dann wird sich keine zivilgesellschaftliche Organisation, kein*e Politiker*in und erst recht keine Einzelperson in der Zukunft trauen, Missstande bei US-Tech-Konzernen anzuprangern. Und europäische Gesetze sind dann nicht mehr das Papier wert, auf dem sie geschrieben wurden.
Übrigens: Auch der ehem. EU Kommissar Thierry Breton, Imran Ahmed von Center for Countering Digital Hate und Clare M. vom The Global Disinformation Index sind betroffen. Wir solidarisieren uns mit Ihnen und den vielen mehr, die nun befürchten müssen, ebenfalls mit Maßnahmen überzogen zu werden.
Danke an Alle, die uns auch schon heute mitten in der Nacht zum Heiligen Abend geschrieben haben.
Wir brauchen Euch jetzt an unserer Seite. Bitte teilt diesen Post. Bitte unterstützt uns mit einer Spende, damit wir unsere Arbeit auch unter diesen Umständen weiter fortsetzen können.
71044318
Reposted by Christian Stump
Lorenz Meyer @thereallorenzmeyer.bsky.social · 24/12/2025
Liebe Bundesregierung, hier ist eure To-do-Liste für die Weihnachtsfeiertage: US-Botschafter einbestellen, Einreisesperre für Musk und Zuckerberg verhängen, HateAid-Etat verdoppeln. Wer jetzt schweigt, kapituliert.
spiegel.de: Angebliche Zensur von US-PlattformenUSA sanktionieren Führung von deutscher Organisation HateAid
Die Amerikaner kritisieren »Ideologen in Europa«, die US-Plattformen zensieren würden. Nun verhängen sie Sanktionen gegen einen EU-Kommissar, britische NGO-Vertreter und zwei deutsche Aktivistinnen gegen Hasskommentare.
401542508
Christian Stump @christianstump.bsky.social · 01/11/2025
New math benchmark from math.science-bench.ai : 209 research-level mathematics problems from Combinatorics, Algebra, Geometry, Number Theory, and others. 👉 math.science-bench.ai/benchmarks/ #AI #Mathematics #AIBenchmark #EpochAI #FrontierMath #OpenAI #Gemini #Grok
083
Reposted by Christian Stump
Mark Hamill @markhamillofficial.bsky.social · 27/10/2025
I have a very bad feeling about this...
18345398310118
Reposted by Christian Stump
The Washington Post @washingtonpost.com · 16/10/2025
A large ice sculpture of the word “Democracy” was placed on the National Mall on Wednesday morning in direct view of the U.S. Capitol as a vanishing reminder of rapidly eroding rights and an existential threat to the freedom on which America was founded. wapo.st/3J8Q46P
16533150
Reposted by Christian Stump
Seema Jayachandran @seema.bsky.social · 12/10/2025
Congratulations, you're department chair.
1025131
Reposted by Christian Stump
The Washington Post @washingtonpost.com · 10/10/2025
Breaking news: MIT’s president turned down the Trump administration’s offer of priority access for federal funding, publicly releasing a letter that emphasized the elite university’s values.
wapo.st
MIT rejects Trump administration deal for priority federal funding
MIT is one of the nine schools that were asked to agree to adopt conservative priorities and policies in exchange for funding perks.
2328276
Reposted by Christian Stump
Jonathan Cohn @jonathancohn.bsky.social · 09/10/2025
All conspiracy theories eventually lead to antisemitism.
42987225
Reposted by Christian Stump
mfa08.bsky.social @mfa08.bsky.social · 26/08/2025
"I prefer someone who burns the flag and then wraps themselves up in the Constitution over someone who burns the Constitution and then wraps themselves up in the flag." - Molly Ivins #BurntheFlag
0105
Reposted by Christian Stump
Spektrum der Wissenschaft @spektrum.de · 24/09/2025
Sprachmodelle gewinnen Mathe-Olympiaden und lösen Aufgaben auf Doktorandenniveau. Doch im Arbeitsalltag der meisten Mathematiker spielen die neuen Technologien bisher keine Rolle - trotzdem verändern sie das Fach.
spektrum.de
Forschung mit KI: Wo Mathematik und KI zusammenpassen - und wo nicht
Sprachmodelle gewinnen Mathe-Olympiaden und lösen Aufgaben auf Doktorandenniveau - und doch ist KI im Arbeitsalltag vieler Forschender nicht angekommen.
031
Reposted by Christian Stump
Natascha Strobl @nataschastrobl.bsky.social · 21/09/2025
Der Sinn „die AntiFa“ zu verbieten ist es übrigens nicht „die AntiFa“ zu verbieten, sondern Mittel in die Hand zu bekommen gegen jede einzelne Person, die einem nicht passt, vorzugehen mit der Behauptung sie sei Teil „der AntiFa“.
8556341997
Reposted by Christian Stump
Justin Wolfers @justinwolfers.bsky.social · 20/09/2025
Critical part of the President's new $100,000 charge for H1-B visas: The Administration can also offer a $100,000 discount to any person, company, or industry that it wants. Replacing rules with arbitrary discretion. Want visas? You know who to call and who to flatter.
718124464696
Reposted by Christian Stump
Aaron Rupar @atrupar.com · 21/09/2025
There is no world in which it is normal for the president to publicly call upon his attorney general to hurry up and prosecute his political foes. It’s like the Watergate tapes but posted on social media. Let’s get a grip on what’s happening here.
13205843316167
Reposted by Christian Stump
Ahmed Baba @ahmedbaba.bsky.social · 21/09/2025
In a less insane time, if it was discovered that the President of the United States said this privately to their AG, it would’ve triggered an all-encompassing, impeachable corruption scandal. Here, Trump is saying it publicly and it’s just another Saturday.
10739541116
Reposted by Christian Stump
Mrs. Betty Bowers @mrsbettybowers.bsky.social · 19/09/2025
Where the separate divisions of ANTIFA landed on the beaches of Normandy on June 6, 1944:
8383566612606
Christian Stump @christianstump.bsky.social · 01/09/2025
The first ScienceBench benchmark is live! 👉 math.science-bench.ai/benchmarks/ We tested all major AI models on 100 research-level mathematics problems. #AI #Mathematics #AIBenchmark #EpochAI #FrontierMath #OpenAI #DeepSeek
math.science-bench.ai
ScienceBench|Challenge the newest AI models
Challenge the newest AI models with your hardest PhD-level exercises. Learn how to use AI in your math research.
010
Reposted by Christian Stump
Sunny Marvel @sunnymarvel.bsky.social · 29/08/2025
301137763241
Reposted by Christian Stump
David Rothschild @davmicrot.bsky.social · 30/08/2025
All kidding aside, suffering from both leprosy & syphilis at 79 is no joke, but I am sure whatever cure RFKjr is mixing up will get him back on the golf course in no time.
2757333947
Christian Stump @christianstump.bsky.social · 22/08/2025
🚨 New preprint alert 🚨 With my awesome student Elena Hoster, we just posted Chow polynomials of simplicial posets with positive $h$-vector are real-rooted arxiv.org/abs/2508.15538 Read it while it is still fresh and warm 🍞! #MathResearch #MathSky #Combinatorics
arxiv.org
Chow polynomials of simplicial posets with positive $h$-vector are real-rooted
We prove that a finite graded simplicial poset with a top element added has real-rooted Chow and augmented Chow polynomials whenever it has a positive $h$-vector. This class of posets include Cohen-Ma...
020
Reposted by Christian Stump
MAA @joinmaa.bsky.social · 20/08/2025
Featured on @nbcnews.com! Our USA IMO team outperformed the world’s smartest AI. High school mathletes, proving human brilliance still shines. Watch their story here: youtu.be/dSSeoQcY1n4?...
youtu.be
The Future of Math: High School Students Outperform AI at the IMO | NBC News
YouTube video by Mathematical Association of America
011
Christian Stump @christianstump.bsky.social · 19/08/2025
I have been #VibeCoding a website in #VSCode, using different models, mostly GPT-4.1, GPT-5 and Claude Sonnet 4. The codebase is 99832 lines with #HTML 43%, #Python 36%, #JavaScript 21% It is great and you get good results very fast. But the quality of the code is a disaster. Some impressions:
161
Christian Stump @christianstump.bsky.social · 17/08/2025
Are you a math researcher? Challenge the newest AI models with your hardest PhD-level exercises and learn how to use AI in your math research: math.science-bench.ai #Mathematics #MathResearch #MathEducation #LLM #AI #Science
math.science-bench.ai
Scientific Benchmarking: Math
111
Christian Stump @christianstump.bsky.social · 17/08/2025
How will research mathematics change with the use of #LLMs like #GPT-5? Based on many discussions, @tomkalei.bsky.social and I have written up some unfinished thoughts about the process: Mathematics in the Context Window www.thomas-kahle.de/blog/2025/ma... #Mathematics #MathResearch #AI #LLM #LRM
thomas-kahle.de
Thomas Kahle | Mathematics in the Context Window
Starting from successes at math competitions, large language models are slowly making their way into math research. We share some thoughts about this process.
195
Christian Stump @christianstump.bsky.social · 10/08/2025
Liebe @zeit.de! Euer Artikel "Oh, Geheimnis" vom 25.7. beginnt mit "Beinahe jeder Wissenschaftler erlebt irgendwann einmal den Augenblick des Triumphes über seine Widersacher und Konkurrenten..." Das ist glücklicherweise großer Quatsch. Normalerweise haben Wissenschaftler:innen keine Widersacher.
150
Reposted by Christian Stump
darren32359.bsky.social @darren32359.bsky.social · 05/07/2025
58682562698
Reposted by Christian Stump
Keith Fitzgerald @keithfitzgerald.bsky.social · 26/06/2025
Worth a watch: Head of Signal, Meredith Whittaker, on so-called "agentic AI" and the difference between how it's described in the marketing and what access and control it would actually require to work as advertised.
204109324360
Christian Stump @christianstump.bsky.social · 22/06/2025
I asked #ChatGPT a math question again and again, receiving various wrong answers. I then gave it a hint that let it solve it correctly. Since then, it always gives the correct answer. Did my solution enter the training data, or does it know my complete history and finds the correct solution? #AI
220
Reposted by Christian Stump
RAV @rav-ev.bsky.social · 19/06/2025
Hans Litten, der aufrechte Antifaschist, Hitlergegner und Kämpfer für die Rechte der Schwachen wäre heute 122 Jahre alt geworden. Er ist uns Vorbild und Ansporn. www.hans-litten.de/sein-leben/
hans-litten.de
Hans Litten | Sein Leben | Konzentrationslager Dachau
Am 19. Juni 1903 wird Hans Joachim Albert Litten in Halle (Saale) in eine jüdische, deutsch-national gesinnte Familie geboren. Kurz nach seiner Geburt zieht die Familie nach Königsberg, wo sein Vater ...
315951