Ralf Stephan

1.7K posts

Ralf Stephan banner
Ralf Stephan

Ralf Stephan

@sweegol

🇩🇪 Polyhalfmath, Bioinfo, Biocuration 🐭 https://t.co/zciU4DK1KK… https://t.co/LAAc5jLZMl

Katılım Mart 2016
114 Takip Edilen81 Takipçiler
Przemek Chojecki | PC
Przemek Chojecki | PC@prz_chojecki·
These are great arguments and building on top of it plus closing some loose end: > "Mathematics is about understanding not proving conjectures" take from anti-AI crowd is simply wrong, because proving/disproving conjectures does increase understanding. Knowing that Jacobian conjecture is false does increase understanding. More people engaging with mathematics thanks to AI do increase understanding. AI proofs, even coming from "prove this, continue, continue, continue", do increase understanding. If you want more understanding - exploring implications of a counterexample, second-order effects, etc - go and do it. Or ask an LLM to do it for you. It's all good. > Mathematics is both art and tooling. Pure mathematicians do math (mostly) because it's beautiful, pleasure to think about. Not because it's useful to some outside domain, not even within mathematics. In this regard it's similar to art or chess or go. At the same time mathematics is a useful tool in all STEM and beyond. Not all of math, not even 1% of what's being done by mathematicians. But it's not clear a priori which 1% will be used, when and where. That's why funding research in pure mathematics is very important. However it's not the same as funding academic mathematicians in the current form. Incentives have to change. I'm very excited for the future of mathematics. We're seeing more interest in pure math than ever before thanks to AI, which allowed non-mathematicians (no PhD in math) to contribute. This is returning to the roots. In XVII century de l'Hopital bought the rights to a mathematical theorem - now known as L'Hopital's rule - from Bernoulli. It's pretty similar to frontier labs hiring mathematicians.
QC@QiaochuYuan

okay so. when a mathematician proves a random conjecture you are supposed to politely clap. this is because it would be rude and embarrass the mathematician to point out that most conjectures are not that important or meaningful when an LLM proves a random conjecture mathematicians are caught in a funny position where they want to say "these are not very important or meaningful conjectures and having magic proofs or counterexamples come out of nowhere is not particularly interesting or useful to anybody, except possibly the person who proposed the conjecture and some of their colleagues" but saying that puts them in an awkward position - why didn't they say that when humans were doing it? was nearly all mathematics actually pointless this whole time and mathematicians were just politely avoiding ever pointing this out so they could all still have jobs? if the best defense you can come up with of mathematics as a human endeavor is, effectively, "it's really fun for us to come up with these baroque puzzles and then solve them, don't screw this up for us," you are completely abdicating your responsibility as a public endeavor that taxpayers fund. i have occasionally argued that pure mathematics lost the plot decades ago and gave up on having any kind of meaningful relationship to the rest of the human quest to understand reality. this was a slow-burning tragedy, and mathematicians have been able to hide this state of affairs from everybody else because nobody else knows enough mathematics to critique what mathematicians are doing i saw a famous professor point out a few years ago that the machine learning that underpins AI is powered by 18th or maybe 19th century mathematics, you don't need much more than multivariable calculus, linear algebra, a bit of probability. he said this as if it was a dunk on ML and AI; imo it's a much bigger dunk on mathematics. you're telling me the most important scientific revolution of our lifetimes doesn't involve any of the math that mathematicians have been working on over the last century or two? you see how that's worse, right? (tbc i'm not saying that stuff is all useless, you need a bunch of stuff from the first half of the 20th century to do physics, e.g. functional analysis, lie theory, representation theory all feed into the standard model. after 1950 or so things get more dicey) if mathematicians still want to have jobs they are going to have to do a better job than they have for the last few decades convincing the public they do something that actually matters, and figuring out what that actually is or should be. this is an opportunity for the field to do some very serious soul-searching, as serious or more serious than the foundational crisis from a century ago. this kind of whining is absolutely not going to cut it

English
2
0
7
552
Roberto Campus
Roberto Campus@MusicOfOldGods·
@skdh @karch_andreas They also want to fund independent researchers. Excellent. Where do I sign up? Seriously... I am already writing the email.
English
1
0
2
257
Andreas Karch
Andreas Karch@karch_andreas·
This is an interesting way to announce a program that undermines US leadership in science and technology at levels never seen before.
Director Michael Kratsios@mkratsios47

In response to @POTUS's call for a revival of America's scientific enterprise, today I’m releasing Science: A New Golden Age. This report is a blueprint for renewing American scientific leadership for the 21st century.

English
9
5
36
12.5K
Michael Inzlicht
Michael Inzlicht@minzlicht·
I p-hacked my early work on prejudice. I've written about that before. Here's what I've never said: it didn't feel like cheating. I'm only now starting to wonder why. Maybe it felt fine because I believed the cause was good. My conclusions were what the good guys already believed, or so I told myself. What I do know is that my question stopped being "what is true here" and slid toward "how do I show that what I believe is true." I wrote a new essay on why I think this is a pivotal moment for social psychology. More of us now call ourselves scholar-activists, deliberately, as a program. I think this is disastrous. If we let it continue, we will lose our hard-earned trust and become irrelevant. Don't believe me? Look at what happened to large swaths of anthropology. I'm not arguing for value-free science. Let injustice draw your attention to a question. Then let the evidence answer it, even when the answer is inconvenient or useless to your side. If justice comes first, truth is what gets sacrificed.
Michael Inzlicht tweet media
English
43
60
325
64.2K
Ralf Stephan retweetledi
WerteInitiative. jüdisch-deutsche Positionen
Zehn Mal wurde den Palästinensern ein eigener Staat angeboten. Zehn Mal haben sie abgelehnt. Warum? In diesem Reel werfen wir einen kurzen Blick in die Geschichte und erkennen ein immer wiederkehrendes Muster. Am Ende geht es den palästinensischen und arabischen Führern nie um einen Staat Palästina an der Seite Israels, sondern um ein arabisches Palästina an der Stelle Israels.
Deutsch
72
474
1.7K
24.6K
Ralf Stephan retweetledi
Hans-Georg Maaßen
Hans-Georg Maaßen@HGMaassen·
Das heißt also: 94 Prozent aller Terror-Ermittlungen sind auf die katastrophale Migrations- und Sicherheitspolitik von CDU, SPD und Grünen zurückzuführen. nius.de/kriminalitaet/…,
Deutsch
29
881
4K
36.8K
Ralf Stephan
Ralf Stephan@sweegol·
@Martin778192374 @WKCosmo Exactly. It's the equivalent of putting a research team on one of an infinitude of problems. You will never run out of interesting mathematics.
English
0
0
1
17
Martin
Martin@Martin778192374·
@WKCosmo How many mathematicians even worked at "frontier problems" at the level of these models? Some did, but I would guess it was small %. Suddenly no one where I studied math. There's still education, writing books, seminars, a note here and a note there and so on.
English
1
0
4
816
Will Kinney
Will Kinney@WKCosmo·
Becoming increasingly convinced that AI is going to be an extinction-level event for math. It's like watching the asteroid hit the dinosaurs.
English
119
44
640
290.1K
Ralf Stephan retweetledi
Huberman Lab Clips
Huberman Lab Clips@HLPClips·
Relational aggression in girls vs. physical aggression in boys: "The same genes that predict physical aggression in boys predict relational aggression in girls." "Relational aggression where you're destroying someone's reputation or social standing or making them feel isolated is just as painful as physical aggression, if not more so." "There's few things that humans are more attuned to than that feeling of am I being pushed out of the group, because ancestrally, that means death." "It's more covert, and it's hard to see it." "4-year-old girls make relationship conflict and then they repair relationship conflict and they do it all the time everyday." @kph3k on @hubermanlab
English
4
25
204
49.8K
Botschaft Israel
Botschaft Israel@IsraelinGermany·
"Die Pläne waren offenbar schon so weit gediehen, dass bereits ein konkretes Datum feststand: der zweite Jahrestag des Überfalls der Hamas auf Israel, also der 7. Oktober 2025."
Botschaft Israel tweet media
Deutsch
36
159
2K
36.7K
Ralf Stephan
Ralf Stephan@sweegol·
@ulfposh Wer in der Jugend nicht links ist, hat kein Herz; wer im Alter nicht rechts ist, hat keinen Verstand.
Deutsch
7
4
71
4.2K
Ralf Stephan retweetledi
Deedy
Deedy@deedydas·
The International Math Olympiad (IMO) 2026, the hardest math contest for high schoolers, just ended. I ran Fable (high), Sol (xhigh), K3 (max) and Axiom against it and all got a perfect score of 42/42 (repo below if you want to check their solutions): — Claude Fable 5 was the solved it in 1 attempt, and was the fastest. — GPT 5.6 Sol took 1 more attempts, and was cheapest. — Kimi K3 did it but took 4 more attempts, and took a LOT of tokens. — Axiom Math actually proved everything in Lean. P3 and P6 were the hardest followed by P2, judging by attempts + num tokens. Students had 9hrs to solve these 6 problems, and Fable and Sol were under 4hrs. The frontier of AI has officially moved well past IMO math.
Deedy tweet media
English
140
591
4.1K
547.2K
Ralf Stephan retweetledi
David Sacks
David Sacks@DavidSacks·
Kimi K3 just fixed 15 critical security bugs that Codex and Fable refused because of “cyber guardrails.” There’s no reason to limit American models on tasks that Chinese models handle without issue. We’re only making ourselves less competitive.
calle@callebtc

I have a report full of security issues of a software I'm working on. Codex won't fix them because of Cyber guardrails Fable won't fix them because of Cyber guardrails Kimi K3 fixed them all. No restrictions, just gets the job done. This will end badly for OpenAI & Anthropic.

English
629
2K
20.6K
2.1M
Ralf Stephan retweetledi
Aymar deLairon
Aymar deLairon@aymardelairon·
@Buurmann Es grenzt schon an absolutem Schwachsinn den einzigen Staat im Nahen Osten zu dämonisieren in dem sie als Homosexuelle überleben würden.
Deutsch
3
5
148
1.4K
Ralf Stephan retweetledi
Gerd Buurmann
Gerd Buurmann@Buurmann·
Heute wurde ein Demonstrationsteilnehmer von der Parade des Pride Bonn ausgeschlossen, weil er eine Regenbogenflagge mit Davidstern mitgeführt hatte. Nach Darstellung des Betroffenen erschien dieser mit einer Regenbogenflagge, auf der ein Davidstern abgebildet war. Die Flagge sollte nach eigenen Angaben Solidarität mit queeren Jüdinnen und Juden ausdrücken. Bereits wenige Minuten nach Beginn der Veranstaltung sei er von der Versammlungsleitung aufgefordert worden, die Flagge einzurollen. Als Begründung sei ihm zunächst mitgeteilt worden, dass auf der Demonstration keine Nationalflaggen erwünscht seien. Der Teilnehmer widersprach dieser Einordnung und erklärte, dass es sich nicht um die Flagge eines Nationalstaates handle, sondern um eine Regenbogenflagge mit einem Davidstern als Symbol jüdischer Identität. Daraufhin habe die Versammlungsleitung ihre Begründung geändert und erklärt, religiöse Symbole seien auf der Demonstration ebenfalls nicht erwünscht. Auch dieser Argumentation widersprach der Betroffene. Er erklärte, der Davidstern sei in diesem Zusammenhang kein religiöses Symbol, sondern stehe als Symbol für das jüdische Volk. Nachdem keine Einigung erzielt werden konnte, sei die Polizei hinzugezogen worden. Nach Angaben des Teilnehmers habe die Polizei schließlich entschieden, ihn von der Demonstration auszuschließen. Zur Begründung sei angeführt worden, das Zeigen der Flagge könne provozieren und die Sicherheit der Veranstaltung gefährden. Ich bin etwas verwundert über den Pride Bonn, denn dort war es kein Problem, mit der palästinensischen Flagge zu demonstrieren.
Gerd Buurmann tweet mediaGerd Buurmann tweet media
Deutsch
105
545
2.1K
38.3K
Ralf Stephan retweetledi
Hillel Neuer
Hillel Neuer@HillelNeuer·
.@theage: Rowling breaks Amnesty’s spell
Hillel Neuer tweet media
English
36
934
4.6K
71.2K
Sholto David
Sholto David@addictedtoigno1·
Surprised to discover that Thermo Fisher appears to show a fake western blot for the validation of one of their p53 antibodies. I've added a diagram to show the very similar bands. This does not appear to be one of the "published figures", but their own internal data.
Sholto David tweet media
English
43
237
1.1K
261.9K
Ambassador Mike Huckabee
Ambassador Mike Huckabee@GovMikeHuckabee·
Too bad more people aren’t aware of report by Gaza native @afalkhatib that reveals who Hamas is & what Israel has been dealing with.
Ahmed Fouad Alkhatib@afalkhatib

Hamas is a genocidal cult: Recently uncovered documents from slain Hamas leader and October 7 mastermind Yahya Sinwar reveal the depth of his depravity and the extent to which he knowingly steered Gaza toward catastrophe. Handwritten notes drafted a year before the attack show Sinwar anticipated a ferocious Israeli counter‑offensive, even speculating, in his own words, about the possibility of an Israeli nuclear retaliation on Gaza. Despite uncertainty over whether Iran or Hezbollah would join the fight, he outlined a plan to deploy up to ten thousand fighters from Gaza to seize Israeli towns, expel civilians, hold hostages, and wage what he described as a life‑or‑death battle. These notes align with earlier documents from Sinwar’s archive detailing his intent to use extreme brutality to maximize terror, fear, and psychological trauma among Israelis. The implications are stark. Hamas’s crimes against humanity were not only committed against Israelis but also against the Palestinian people. The fascist organization employed ISIS‑grade tactics, fully aware that the attack went far beyond any military objective and could provoke overwhelming Israeli retaliation. Sinwar’s delusions were matched only by his ignorance: Israel does not need nuclear weapons to inflict devastating harm on Gaza. Yet Hamas deliberately launched an intentionally genocidal assault, predicting, and banking on, an Israeli survival response that would devastate Gaza and then be weaponized for global sympathy. In doing so, Hamas sacrificed 2.3 million Palestinians for a propaganda strategy. This alone should compel the immediate, unconditional, and unequivocal rejection of Hamas by anyone claiming to support Palestinian rights. It should erase any doubt that Islamist extremists pose an existential threat to Palestinian survival, freedom, and the possibility of building a society not dragged into wars its rulers knowingly design to be catastrophic. When you are the weaker party facing the most far‑right government in Israel’s history, your obligation is to safeguard your people, not gamble their lives on apocalyptic fantasies. Hamas’s failure to do so is a betrayal worthy of absolute condemnation. It forfeits any Hamas claim to political relevance and demands that those responsible for October 7 be treated as traitors and murderers of their own people.

English
195
1.1K
5.2K
143.3K
Ralf Stephan retweetledi
Dr Jordan B Peterson
Dr Jordan B Peterson@jordanbpeterson·
With regard to "Judeo Christian": The 10 Commandments are Jewish. The great stories of the Old Testament are Jewish. The Jews developed the idea of subsidiarity as the alternative to tyranny and slavery. The Jews established the cultural preconditions for the rise of universal literacy. The fate of Israel at the hands of the Islamists is the fate of the West. This rising tide of anti-semitism sickens me. Those of you engaging in it for your oh-so-moral reasons—you're despicable. And remember, you proud "Christians" objecting in all your purity to the term: Christ Himself was a Jew.
Wes Huff@WesleyLHuff

So much noise online regarding the term "judeo-Christian." Guys -- in academia it's simply the term that describes the combined corpus of Old and New Testaments. The Jewish heritage of the Hebrew scriptures combined with the New Testament. That's it. I know you want there to be some conspiracy but there isnt, that's the way we're using it. It has nothing to do with geo-politics or a one world order.

English
8.9K
4.2K
25.7K
5.8M
Ralf Stephan retweetledi
Rak
Rak@RakMakkabi·
Ein richtiger und wichtiger Schritt gegen Israelhasser und gegen diejenigen, die Israels Existenzrecht ablehnen. Für Israelhasser wird der Spielraum ab heute deutlich kleiner – Verstöße können künftig teuer werden.
Rak tweet media
Deutsch
18
46
189
21.3K