iiinova — where your digital self keeps evolving

Reposted by Silvia Barbina

Richard Elwes @richardelwes.bsky.social · 09/10/2026

...OpenAI has seemingly done just that. So can Sam Altman expect to recieve a bottle of 15yo single malt? Asaf explains why not here, calling the recent drop a Denial of Service attack on mathematicians. 2/2 karagila.org/2026/openai-...

karagila.org

OpenAI, the Partition Principle, and mathematics

By the time I got out of bed yesterday, I had three people ask me if I'd seen the OpenAI announcement that the Partition Principle does not (...)

143

Reposted by Silvia Barbina

Nalini Joshi @monsoon0.bsky.social · 08/10/2026

Here’s a bombshell for those considering the impact of the recent dump of mathematical papers by OpenAI: why the semantic translation of a mathematical text into Lean code by an AI may neither be reliable nor faithful 👉🏼 arxiv.org/abs/2610.08144

arxiv.org

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

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 pro...

34220

Silvia Barbina @doppelsilvia.bsky.social · 28/09/2026

"I want to say to the millions of people in this country and indeed elsewhere who have been moved and outraged by the plight of the Palestinian people: we hear you, you were right," Miliband said. www.middleeasteye.net/news/we-hear...

000

Reposted by Silvia Barbina

javier @bartlebooth.bsky.social · 26/09/2026

OpenAI is trying to frame their incompetence as technical prowess. Their robots are not becoming sentient. They are just badly set up in systems that are not properly isolated.

161