iiinova — where your digital self keeps evolving

Philipp Markolin @philippmarkolin.eurosky.social · 8h

I think politicians are still very reluctant, but I would not take this as assurance because everybody is hedging their options and if, or when, the tipping point is reached, a lot of change will happen in a very short amount of time.

000

Philipp Markolin @philippmarkolin.eurosky.social · 10h

"We show that the formalised Lean proof does not correspond to the proof of blow-up of solutions to the Navier-Stokes equations."

053

Philipp Markolin @philippmarkolin.eurosky.social · 10h

On OpenAI's solution to Navier-Stokes in lean, some confusion remains one the natural language version. What if the NL paper declares stronger statements than what Lean actually proves? "Developing semantically faithful AI autoformalisation stands as a major open problem" arxiv.org/pdf/2610.08144

ABSTRACT. Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI,
as in OpenAI’s announced proof of blow-up of solutions to the Navier-Stokes equations. In this process, an AI
system translates the text from a natural language (NL) into a formal language such as Lean. Once this translation
is done, the argument expressed in the formal language can easily be mechanically verified. The purpose of this
article is to demonstrate why this process may offer no confidence in the original NL argument, owing to the vari-
ous difficulties in performing the translation semantically faithfully. In particular, we highlight that the problem of
resolving ambiguities in mathematical NL text, which is necessary in order to provide semantically faithful trans-
lation, is arbitrarily high up in the Solvability Complexity Index (SCI) hierarchy/arithmetical hierarchy (the SCI
= ∞). Hence, informally, providing semantically faithful AI autoformalisation is harder than any computational
problem including the Halting problem (which has SCI = 1). To demonstrate the effect of this result we provide
several examples of AI mistranslations of NL statements and proofs into Lean in practice, resulting in mismatches
between NL proofs and their Lean ‘verifications’. These include OpenAI’s announced Navier-Stokes proof. In
particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to
the Navier-Stokes equations.

150

Philipp Markolin @philippmarkolin.eurosky.social · 18h

So a European disinformation conference talking about the threat of FIMI (foreign information manipulation and interference) from the US finds itself.... targeted by FIMI from the US? Irony is dead.

32413

Reposted by Philipp Markolin

Stephan Lewandowsky @lewan.uk · 18h

Nothing says US FIMI like bullying other governments into withdrawing sponsorship for a conference that discusses US FIMI. www.theguardian.com/us-news/2026...

theguardian.com

EU drops sponsorship of disinformation conference at Trump officials’ request

Lithuania and Canada were also pressured to withdraw, and days before #Disinfo2026, logos were wiped off website

05324

Reposted by Philipp Markolin

Science Magazine @science.org · 07/10/2026

Exclusive: In March, the White House’s budget request for fiscal year 2027 called for eliminating NSF’s Directorate for Social, Behavioral and Economic Sciences. Whether Congress will approve the request is unclear, but NSF is not waiting. Learn more: scim.ag/4hC7bes

‘Complete devastation’—How NSF gutted its social sciences research
Agency body that funds sociology, linguistics, and archaeology studies in U.S. gave 90% fewer new grants this year

23624

Reposted by Philipp Markolin

Seth Cotlar @sethcotlar.bsky.social · 21h

This is how historian Robert Paxton defined a certain word that begins with F in his 2004 book.

Fascism may be defined as a form of political behavior marked by obsessive preoccupation with community decline, humiliation, or victimhood and by compensatory cults of unity, energy, and purity, in which a mass-based party of committed nationalist militants, working in uneasy but effective collaboration with traditional elites, abandons democratic liberties and pursues with redemptive violence and without ethical or legal restraints goals of internal cleansing and external expansion.

8550141

Reposted by Philipp Markolin

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Was invited to give a lecture for media economy bachelor students today. I am afraid I feft them with a bit of an apocalyptic sense on where we are today. 😅 So I just wanted to outline a little bit my thinking and why I believe now is the time to build something better; and that gives me hope.

1104

Reposted by Philipp Markolin

Jeremy Berg @jeremymberg.bsky.social · 05/10/2026

This is a deep and powerful report from the @standupforscience.net Foundation. It is thorough and deep but worth the time to read. www.standupforscience.foundation/forging-the-...

standupforscience.foundation

Advancing science for the public good.

05530

Reposted by Philipp Markolin

Philip Ball @philipcball.bsky.social · 07/10/2026

It feels very good to have been the editor who handled Soai's 1995 paper in Nature on autocatalytic amplification of an enantiomeric excess - now known as the Soai reaction. This seemed a curiosity at the time, but we clearly made the right call.

310619

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

So now is not the time to despair or give in oligarchic hyperscalers, fascist movements and their dystopian visions of our future. Now is the time to do. To experiment. To build. And to fight for our pluralistic future. To birth the new world that will be better than the old world that is dying.

030

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

But that is just a start, and civic engineers like @audreyt.org have been showing (and initiating) many visions on how pro-social engineering can look like, from bridge-building algorithms to AI as kami or community-based "AI in the loop of humans"; a horizontal, not vertical integration of AI.

130

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Lastly, to really protect democratic pluralism, we need to participate, to build, to engineer and to support the pro-social systems we want to have. Luckily, many such initiatives are happening, including in and on @bsky.app itself, such as the @mysky.social feed from @noupside.bsky.social.

130

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

... would fall into that sector. This includes also regulations such as the European digital services act and work from academics like (my go-to) @lewan.uk who really think hard about what it means to preserve human rights, dignity and deliberation online We also need defensive cyber capabilities

130

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

On the right, we have the Habermasian idea of "deliberative" democracy, because voting does not mean much if people are so manipulated by propaganda they are not free to make their own choices; so anything we can do on data privacy, digitial rights, choice architectures and defensive capabilities...

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

enables the power of the US tech hyperscalers to dominante the EU and the wider world. As @doctorow.pluralistic.net argues, if Microsoft were to shut down in EU tomorrow, total mayhem would ensue and billion dollar businesses would be effectively shut down. Not a great place to be in.

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

... on particular interrelated problems of our current digital infosphere woes. Left, I grouped everything that has to do with technological representation; from digital sovereinty to neutral infrastructure to ownership and regulation of tech. Vertical integrated, captured infrastructure is what..

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

That is how I left the students, but I realized that many, if not all of them, have no idea where to even start. So I thought I share my - very much developing understanding - of what solution spaces look like, here as well, maybe with some comments. This is a map based on many experts working...

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

So now in this period where things are changing, we have the opportunity to shape the future we want to live in. We need to make use of our agency and understanding on what is going wrong today to not fall into the same problems. For that: We need to act. We need to experiment. We need to build.

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Now to spur discussions, I highlighted some recent analyses and different visions from @newpublic.org (bit.ly/4hzzuLX) and @pettertornberg.com (bit.ly/4hLaT5w) on how AI is changing media economics again. I think the old world is dying, and the new one not yet born.

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Now while this is just one framing to understand the current moment, the fragmentation of reality perceptions over the last 15 years has created real problems for discourse and democracy that are not easy to solve. Into this, we throw the next disruptive media technology with AI.

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Because you need shared facts to have a basis for discussion upon which solutions to problems can be democratically found. If up is down, and blue is red between different communities, no consensus can be found and factional warfare ensures; the need to dominate and excert power over others.

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Market asymmetries and media manipulators basically drive facts and shared reality perceptions from our shared discourse spaces, instead creating a mirror world of engaging fictions that most of us passively consume, participate in, and build our worldviews around. Bad for democratic consensus.

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Next, I introduce a class of professional media manipulators who long learned to work the attention economy in their (or their sponsors) favor, using various tactics and strategies of marketeers, propagandists and information combatants to further their financial, strategic and ideological goals.

120

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

In an asymmetric playing field, the "best" or most factual information does not rise to the top or get a fair hearing. There is no market mechanism for it. Instead, the information that best captures attention does, and you can optimize information products much better if you dont care about facts

131

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

We moved from information scarcity to information abundance. But information abundance shifted the market to a new scarcity: Attention. Hence the attention economy. But attention is not evenly distributed, it follows a power law. Hence information products dont find an even playing field.

110

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

1104

Philipp Markolin @philippmarkolin.eurosky.social · 07/10/2026

Do people still post touristic pics here? Seems like I do.

060

Reposted by Philipp Markolin

Stephan Lewandowsky @lewan.uk · 07/10/2026

In April this year, we published the "Fractured Reality" report for the European Commission. Thread here: bsky.app/profile/lew.... We are pleased to announce two translations of the report, into German and French: 1/3

1125

Reposted by Philipp Markolin

Prof Gavin Yamey MD MPH @gavinyamey.bsky.social · 06/10/2026

THIS 👇👇👇

0198

Philipp Markolin @philippmarkolin.eurosky.social · 06/10/2026

It is terrible how much she gets platformed and promoted as investigative journalist... ... when her basic research and textbook knowledge does not match a simple wikipedia investigation

1100

Reposted by Philipp Markolin

Gigi Gronvall @ggronvall.bsky.social · 06/10/2026

I’ve read it. It’s abiological. It’s anti science. It’s not how anything works. And, it is lab leak fanfic. In the book the Russians try to claim the plague started naturally at a wet market in Siberia (picture attached) but we all know it came from a lab. 🙄

3205

Philipp Markolin @philippmarkolin.eurosky.social · 06/10/2026

Heartbreaking reporting. The dismantling of USAID, although not explicitly mentioned, looms large over this. A reminder how little we do when diseases break out away from sight & capacity to help is diminished.

0127

Reposted by Philipp Markolin

Alex Wenzel @alexwenzel.bsky.social · 05/10/2026

You can always find the oligarchs only one step removed from eugenicists, the connections and circumstances are just becoming more bizarre proportional to the speed of collapse. This guy talks about viruses like how the priest talked about the zombies in the 28 Years Later opening scene.

A physician-turned-New Age wellness-influencer, Bush famously eschews germ theory in favor of “terrain theory,” which holds that humans’ internal microbiome determines whether or not they get sick, and characterizes viruses as a mechanism for a "constant, genetic upgrade" akin to a software update.

Bush claims breathing clean air, bathing in natural bodies of water, and touching soil with one’s bare hands and feet will make Alzheimer’s and autoimmune diseases disappear. He famously downplayed the seriousness of COVID-19. In a June 2020 piece co-authored with New Age mogul Deepak Chopra, he wrote that the pandemic represented “the continued effort of the four-billion-year-old microbiome seeking to put things right.”

“The virus is not our enemy—if we let it, it will be our greatest teacher,” they claimed.

0155

Philipp Markolin @philippmarkolin.eurosky.social · 05/10/2026

Little watched gem I just came across from @noupside.bsky.social "Democracy depends more than just free expression. It depends on the ability to agree how we can verify facts, how we can deliberate, how we can collectively act in response to common problems" www.youtube.com/watch?v=o1NG...

youtube.com

How Social Media Can Shape Public Opinion - Ask a Professor | Georgetown University

YouTube video by Georgetown University

031

Reposted by Philipp Markolin

⿻ Audrey Tang 唐鳳 @audreyt.org · 05/10/2026

There’s more to AI than meets the eye.🧿 It can help us enjoy fuller, freer & more capable lives.🌌 Our #TaiwanModel🇹🇼-inspired #CivicAI🌱 & 6⃣Pack of Care charts a humanistic course with the people. LEARN ▶️ thedrcenter.org/research/alternatives-to-concentrated-ai DISCOVER ▶️ civic.ai/ #LLAP🖖

thedrcenter.org

Decentralization Research Center

Independent research on decentralization, institutions, and public life.

1185

Reposted by Philipp Markolin

Philipp Markolin @philippmarkolin.eurosky.social · 03/10/2026

🥊 Season 2 of #ScienceCounterpunch is here! We open with biosecurity expert Dr. Gigi Kwik Gronvall, who just testified before Congress on the abysmal state of US biopreparedness. All while H5N1 bird flu has hit US farmed mink for the first time recently. Are we ready? Short answer: fuck. 🧵👇

1168

Reposted by Philipp Markolin

Andrea Is Sick of Long Covid @andreastudiescovid.bsky.social · 04/10/2026

Another reason not to go to Florida.

1206

Reposted by Philipp Markolin

Gregg Gonsalves @gregggonsalves.bsky.social · 04/10/2026

Yale’s trustees: Marta Tellado, Gina Rosselli Boswell, Derek Chang, Philippe Costeletos, Maryana Iskander, Fred Krupp, Felicia Norwood, Mariko Silver, Carter Brooks Simonds, David Sze, Jaime Teevan, David Thomas and Neal Wolin.

36121

Philipp Markolin @philippmarkolin.eurosky.social · 03/10/2026

Great to have you! Next time, snack reveal on secret pandemic planning events 😇

020

Reposted by Philipp Markolin

Gigi Gronvall @ggronvall.bsky.social · 03/10/2026

I enjoyed joining Sam and Philipp for Science Counterpunch! We talked biosafety, biosecurity, and why real scientific progress is essential to preparedness. Protecting people requires investing in the science and capabilities that make us all safer. Thank you for having me on!

21911

Reposted by Philipp Markolin

LymeScience @lymescience.org · 03/10/2026

Looking forward to listening 👇

041

Reposted by Philipp Markolin

Philipp Markolin @philippmarkolin.eurosky.social · 03/10/2026

In the media, apocalyptic visions of AI biorisk and books like Annie Jacobsen's Biological War shape discourse, while Washington is busy fighting boogeymen of the last pandemic’s origin story. "It's like… lab leak fanfic" all the way down. Not how biology works. www.youtube.com/watch?v=eqq5...

youtube.com

S2 Ep1: Gigi Gronvall: The Real Biosecurity Risk

YouTube video by Bad Boy of Science

152

Reposted by Philipp Markolin

Sam Gregson @badboyofscience.bsky.social · 03/10/2026

The Science Counterpunch is back! 🥊 To kick off season 2, we're discuss biosecurity and biosafety with @ggronvall.bsky.social . She recently testified in congress regarding just how unprepared the US is! Check it out! @philippmarkolin.eurosky.social Link: www.youtube.com/watch?v=eqq5... ⚛️🧪

youtube.com

S2 Ep1: Gigi Gronvall: The Real Biosecurity Risk

YouTube video by Bad Boy of Science

1127

Philipp Markolin @philippmarkolin.eurosky.social · 03/10/2026

Check out the conversation, because we ask the hard questions: Did Gigi and Bill Gates plan the pandemic at Event 201 that simulated a CoV pandemic weeks before COVID broke out? "The snacks were really good." Is all she had to say to that... suspicious much? 😄 open.substack.com/pub/protagon...

open.substack.com

The real biosecurity threat /w Gigi Kwik Gronvall

Science Counterpunch S2 Ep1

250