Pedro M. (@PedroMayP) header
Pedro M. (@PedroMayP) profile picture

Pedro M.

@PedroMayP

Conmutativo y con unidad| Matemáticas, UMA-UniBonn

 ℝ⁴ exótico
Joined April 2019
  • Tweets11.7K
  • Following543
  • Followers791
625Media
Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)Photo by Pedro M. (@PedroMayP)
Hilo de hilos 🧵:
1
1
16
17,687
Hablando hoy de grupos subnormales en honor al cumpleaños de @elyoyism0 .
1
4
194
Pedro M. retweeted
guille (@DrippySoap) profile picture
guille@DrippySoapOct 24
Image from guille (@DrippySoap)
El Transportista Inversor (@RutaYCapital) profile pictureEl Transportista Inversor
@RutaYCapitalOct 22
Hoy he desayunado en El Corte Inglés por 8,40€. Y la verdad es que me ha sorprendido bastante. Café: 1,70€ Tostadas con mantequilla y mermelada: 2,50€ Nada más sentarte, antes incluso de servirte, te ponen un vaso de agua con hielo. Y además te traen dos trozos de bizcocho como detalle. Pero lo que más me ha gustado ha sido el trato. Personal muy atento, muchísima tranquilidad y un ambiente en el que apetece quedarse un rato. Suma que estaba todo lleno de empresarios la verdad y he intentado poner la oreja a ver si podía irme con sabiduría de ricachones de 60 años. Con lo que cuesta desayunar hoy en cualquier cafetería, la verdad es que me ha parecido una buena experiencia. ¿Habéis ido alguna vez a desayunar aquí o preferís el bar de toda la vida?
Image from El Transportista Inversor (@RutaYCapital)
Image from El Transportista Inversor (@RutaYCapital)
11
98
1
692
17,508
The scrabble players know
Joshwelt (@weltszznn) profile pictureJoshwelt@weltszznnOct 21
The office is having a potluck tomorrow. We have to bring food based on a letter. I got the letter Z. What the heck food starts with Z?? 😂🤣
Readers added context they thought people might want to know
This post claims a specific personal office potluck experience from a Nigerian account that copies viral relatable content and directs users to DM for plugging after quoting local sellers. x.com/weltszzn/statu… x.com/amoh250114/sta… x.com/weltszzn/statu… x.com/GoodPostReilly… x.com/234slippers/st… x.com/weltszzn/statu…
1
78
from the latest preprint on analytic prismatization by anschütz, le bras, rodríguez camargo, and scholze:
Image from wise political commentator (derogatory) (@b_n_d_l_e)
6
57
6
643
21,401
Un besazo a todos mis oomfs en las jornadas de topología.
1
1
7
504
no pasa de moda tio es increible
Image from low cortisol farmer (@ronpakorra)
Natalia Mora (@nataliabourbaki) profile pictureNatalia Mora@nataliabourbakiOct 14
que grande eres teorema chino del residuo you’ll always be famous
14
1
176
2,476
Buenos días por la mañana, encontrandonos un poco así [LNP25]
Image from Pedro M. (@PedroMayP)
3
1
10
387
[LNP25] Sil Linskens, Denis Nardin and Luca Pol, Global homotopy theory via partially lax limits. Geometry & Topology 29 (2025) 1345-1440.
2
85
Alguien tiene algún consejo para mejorar la capacidad expresiva de su colección de stickers?
1
3
320
umm sí, analisis.
Image from Pedro M. (@PedroMayP)
9
484
Abrimos etapas y cerramos otras. 1736 teoremas después le damos buen descanso al hilo de teoremas (y a mi). Ha sido un proceso divertido, muchas gracias a todos los que habéis formado parte de esto.
Pedro M. (@PedroMayP) profile picturePedro M.@PedroMayPSep 30
Replying to @PedroMayP
275. Mayorga, si G es el producto directo de un grupo de Lie compacto conexo K y un grupo finito H, entonces los morfismos de inflación inducen un isomorfismo de anillos RU(K)⊗Φ^H_*(ku)--->Φ^G_*(ku). Donde ku denota el espectro de la teoría K conectiva global.
9
10
2
61
2,598
Un año más, hagamos #HilodeTeoremas5. Un teorema por cada día de 2026.
3
6
1
21
6,820
more replies
274. Carmeli-Nikolaus-Yuan, sean A y B grupos abelianos libres finitamente generados, entonces el espacio de E_inf-morfismos entre S[A] y S[B] es equivalente al espacio discreto dado por Hom(A,B).
1
3
174
275. Mayorga, si G es el producto directo de un grupo de Lie compacto conexo K y un grupo finito H, entonces los morfismos de inflación inducen un isomorfismo de anillos RU(K)⊗Φ^H_*(ku)--->Φ^G_*(ku). Donde ku denota el espectro de la teoría K conectiva global.
2
1
13
2,477
El examen de Abelian le está afectando realmente.
Pubity (@pubity) profile picturePubity
@pubitySep 26
Cheese fans are concerned because the Laughing Cow stopped laughing on the package. It's the first time the Laughing Cow hasn't laughed since 1921.
Image from Pubity (@pubity)
Image from Pubity (@pubity)
2
1
9
527
"We define intrinsic interestingness of a theorem as the ratio between the length of its proof and the length of its statement"
Image from Steve McCormick (@Quasilocal)
Niket Patel (@niketnpatel) profile pictureNiket Patel
@niketnpatelSep 25
“An accumulation of facts is no more a science than a heap of stones is a house.” - Poincaré LLMs are now proving results that have resisted mathematicians for decades. Finding interesting theorems without human guidance is a new bottleneck. We show that we can teach an LLM to do it! TL;DR: → a quantitative notion of interestingness → 4.3× higher interestingness → a self-expanding discovery loop [1/5]
Image from Niket Patel (@niketnpatel)
7
18
2
374
13,146
Load more