Miguel

Amateur and Math student. Spanish-German, right-wing political nerd, romantic. 21 🏳️‍🌈

[Miguel @mimoha04]

Six years old is far too young to sit down with your child and have The Talk about who Keir Starmer is

[Jess Brown-Fuller MP @JessBrownFuller]

Some tricky conversations this evening about the impending social media ban.
‘I don’t even know who this government guy is’
‘Keir Starmer’
‘Keir Starmer, what does that mean’

[Miguel @mimoha04]

This wouldn’t happen again in a presidential election even if the candidates were Joe Manchin and Phil Scott

[I say this and look like this🇮🇳🇱🇸🇧🇫 @BharatMussolini]

I have always wondered if ANY Dem federally can bring this back

[Miguel @mimoha04]

@woke8yearold Also worth considering before making such claims that people are going to be even more angry if they get lied to about this before it happens

[Miguel @mimoha04]

The funniest outcome atp is that Keiko finishes ahead but by such a microsopic margin that the election gets thrown out, and afterwards she loses the rerun

[America Elects @AmericaElige]

Peru, presidential election (second round):

Preliminary results, 97.8% counted

Sánchez (JPP, left): 50.0% (-0.1)
Fujimori (FP, right): 50.0% (+0.1)

(+/- vs. 94.8% counted)

#Peru #Elecciones2026Peru #EG2026 #SegundaVuelta

[Miguel @mimoha04]

@illnevercallitx

[Miguel @mimoha04]

afaik Germany is the only country in the world where a Green Party has managed to pull this absurd level of support

[Miguel @mimoha04]

@sanherms Tienes razón, pero investir a un candidato técnico bajo la condición de que convoque elecciones es la única forma (chapucera) para salir de la situación ridícula que fuerza Sánchez bajo el sistema actual

[Miguel @mimoha04]

@alexalexlexi02 The worst part is that it isn’t even cope. They really delude themselves into believing America is a Third World backwater

[Miguel @mimoha04]

La élite de lerdos tipo David Uclés o Sarah Santaolalla que ha engendrado en esta última legislatura el PSOE es increíble (in-creíble, de no creer)

[Miguel @mimoha04]

@Privtarabus Something tells me the second option lol

[Miguel @mimoha04]

@Privtarabus I don’t think he did 🥀

[Laura/Ryan🐾🏳️‍⚧️🇦🇺 @localtryansfem]

The Shogunate trying to reduce foreign influences in Japan be like

[Miguel @mimoha04]

@sanherms

[Miguel @mimoha04]

@captgouda24 Then it shall remain a mystery

[Miguel @mimoha04]

@XMihura Mihura tiene toda la pinta de ser un would

[MTS @MTSlive]

SITUATION EXPLAINED: OpenAI solves a real math problem

In 1946, renowned mathematician Paul Erdős defined a simple problem: if you place n points in a plane, what is the maximum possible number of pairs of points that can be exactly 1 unit of distance apart? This problem, the planar unit distance problem, became one of the most well-known in the field of combinatorial geometry. Erdős conjectured that the “square lattice” solution shown below was more or less optimal.

An internal OpenAI model just disproved this conjecture, finding a more optimal solution. This is a big deal. This isn’t a literature review that found a previously unpublished human solution, or a slight improvement to an existing human solution, or a solution to some minor subproblem that no one cares about. It’s a fully AI-discovered novel solution to a well-known open problem central to a field of mathematics.

Just as crucially, the result came from a general-purpose reasoning model, not a model specifically designed for math like Google’s AlphaProof. It’s possible that this model is the next version of GPT-5.5 Pro, soon to be released to millions of ChatGPT subscribers worldwide. The dream of a genius in everyone’s pocket is one step closer to becoming a reality.

[Miguel @mimoha04]

What kind of name is “Jett Franzen”

[Miguel @mimoha04]

Thinking the problem with the new icon is that the other apps have not shed the minimalist style yet and it looks out of place

[isHaHaHa @hajarkagalwa]

the biggest downgrade in history