Me
15.4K posts


Our long-range capabilities are significantly changing the situation – and, more broadly, the world’s perception of Russia’s war. Many partners are now signaling that they see what is happening and how everything has changed – both in attitudes toward this war and in the reachability of Russian targets on Russian territory.
The war is quite predictably returning to its “native harbor,” and this is a clear signal that one should not pick a fight with Ukraine or wage an unjust war of conquest against another people.
English

@eldiarioes ya tenemos los jueces preparando la campaña electoral de las próximas elecciones!! A ver que tal los carteles!
Español

‼️ÚLTIMA HORA | Zapatero niega tener sociedades fuera de España y haber hecho “ninguna gestión” sobre el rescate de Plus Ultra
eldiario.es/politica/zapat…
Español
Me retweetledi

Our responses to Russia’s prolongation of the war and its attacks on our cities and communities are entirely justified. This time, Ukrainian long-range sanctions reached the Moscow region, and we are clearly telling the Russians: their state must end its war. Ukrainian drone and missile manufacturers continue their work. I am grateful to the Security Service of Ukraine and all the Defense Forces of Ukraine for their precision. The distance from Ukraine’s state border is over 500 km. The concentration of Russian air defense in the Moscow region is the highest. But we are overcoming it. Glory to Ukraine!
English
Me retweetledi
Me retweetledi
Me retweetledi
Me retweetledi

Ara a TV3 (@som3cat): es va "conèixer" la mort del pare de Hansi Flick >>> Es va saber...
Català
Me retweetledi


@versiorac1 @EdgarFornos resaca es la que lleva el Florentino, que está amenazando con darse de baja del ABC, que cabreo que lleva el hombre! que disgusto!
Español

🥳 La ressaca de la rua del Barça
👉 Amb el nostre infiltrat @EdgarFornos expliquem tot allò que no es va veure.
Com va arribar l'estelada a mans de Lewandowski?
📻 rac1.cat/directe

Català
Me retweetledi
Me retweetledi

Ramsey numbers are one the most basic objects in combinatorics, a beautiful illustration of structure within chaos. They have been heavily studied for almost a century now, so it came as a real surprise to us when an internal version of GPT-5.5 proved a new elementary result about them:
\lim_{n\to \infty} R(k,n+1)/R(k,n) = 1 for all k
This was also known as Erdos problem #1014, although I personally think the more relevant bit is that it's a basic result about off-diagonal Ramsey numbers.
As it often happens (for now), the proof is reasonably simple in hindsight, although it is quite a wire act and it relies on some unexpected numerics (the "unexpected" part here is probably why this wasn't discovered before). Despite being simple, it's certainly the type of result that could now be taught in a combinatorics class.
Pdf of the proof (produced by @mehtaab_sawhney):
cdn.openai.com/pdf/6dc7175d-d…
Lean verification of the proof (produced by Boris Alexeev):
github.com/plby/lean-proo…

English
Me retweetledi








