Christian Stump
@christianstump.bsky.social
600 followers 910 following 410 posts
Mathematician @ Ruhr University Bochum. Antifascist. Quickly getting bored with social media, let's see how it goes. Homepage: https://homepage.rub.de/christian.stump
Posts Media Videos Starter Packs
Reposted by Christian Stump
mfa08.bsky.social
"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
Reposted by Christian Stump
spektrum.de
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.
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.
www.spektrum.de
Reposted by Christian Stump
nataschastrobl.bsky.social
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“.
Reposted by Christian Stump
justinwolfers.bsky.social
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.
Reposted by Christian Stump
atrupar.com
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.
Reposted by Christian Stump
ahmedbaba.bsky.social
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.
Reposted by Christian Stump
mrsbettybowers.bsky.social
Where the separate divisions of ANTIFA landed on the beaches of Normandy on June 6, 1944:
christianstump.bsky.social
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
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.
math.science-bench.ai
Reposted by Christian Stump
Reposted by Christian Stump
davmicrot.bsky.social
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.
christianstump.bsky.social
🚨 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
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...
arxiv.org
Reposted by Christian Stump
joinmaa.bsky.social
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?...
The Future of Math: High School Students Outperform AI at the IMO | NBC News
YouTube video by Mathematical Association of America
youtu.be
christianstump.bsky.social
5. If I change something by hand (e.g. replacing \n's by actual newlines in strings), the models tent to turn it back to what they did before.

I am sure there are ways to fix some of these issues, or to lessen their impact. But this is my current state of #VibeCoding.
christianstump.bsky.social
4. The overall quality of the code is a disaster! And refactoring creates more problems than actually cleaning the code. It really looks like someone programs it and restarts its understanding of what is there and why every hour, see 2.
christianstump.bsky.social
3. GPT-4.1 makes much smaller changes and implement features much less creative than Claude Sonnet 4. It was often good to first let it come up with a solution completely by itself so that I can see ways of doing it (in particular visual components on the website) I hadn't thought of before.
christianstump.bsky.social
2. The stateless concept of LLMs is problematic: While I remember what we did, the models do not. They have no idea what features exists, how they are implemented, where in the codebase a new feature is perfectly placed, the naming scheme of variables, or anything.
christianstump.bsky.social
1. Before editing, discuss the concrete road map for every single change. Otherwise, the models (especially Claude Sonnet 4 and GPT-5) tent to rewrite your code, introducing problems all over the place.
christianstump.bsky.social
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:
christianstump.bsky.social
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
christianstump.bsky.social
Thomas and I approached and approach LLMs from very different angles.

One of us keeps being enthusiastic and the other rather indifferent. The text is an attempt to stand on common ground and diversify our arguments.
christianstump.bsky.social
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 | 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.
www.thomas-kahle.de
christianstump.bsky.social
Und Triumphe über andere erleben sie auch nicht.

Dieses Sprachbild transportiert ein sehr archaisches Bild eines:r Wissenschaftler:in. Wir arbeiten größtenteils gemeinsam daran, die Wirklichkeit zu erfassen.

#Wissenschaft #Zeit #Journalismus
christianstump.bsky.social
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.
Reposted by Christian Stump
davidho.mastodon.world.ap.brid.gy
One reason a German train accident is international news and German car accidents are not is that roughly 1000x more people die in car accidents each year in Germany. It’s so common that it’s not newsworthy.

https://apnews.com/article/germany-train-derailment-38e8960c549b4d1c43e0b7172b18b19a