iiinova — where your digital self keeps evolving

Reposted by David Jekel

Really wild story: the US pressured sponsors of an European disinformation conference because one session mentioned disinformation from the US gov't. The EU immediately pulled its sponsorship. Absolute cowards. 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

210338

Reposted by David Jekel

Claire Willett @clairewillett.bsky.social · 3h

this is so bleak, actually imagine being called a slur for a group you don't even belong to and instead of going "wow holy shit, no one should have to put up with that, we need to hold people to account," you go "no guys it's okay I hate them too!!!" and just hand the bully your lunch money

11867495

Reposted by David Jekel

Sandeep Bakshi @sandeepbak.bsky.social · 2h

Students from India to France are sending a strong signal: they don’t wish to inherit the world we bequeath to them. They demand to change it. Power to them to imagine our world! There’s a broad consensus to support student mobilisation. We are with them✊🏽

055

Reposted by David Jekel

Sahil Kapur @sahilkapur.bsky.social · 8h

NEW: Social Security is a sleeper 2026 campaign issue. Senate candidates like Talarico (D-Texas), Turek (D-Iowa), El-Sayed (D-Mich.), Osborn (I-Neb.) are calling to lift the payroll tax cap to avoid a 22% benefit cut. The shortfall hits in 2032, or six years. www.nbcnews.com/politics/202...

nbcnews.com

Senate candidates run on raising Social Security taxes for higher incomes to prevent benefit cuts

Social Security is projected to dip into insolvency and force a 22% benefit cut in 2032, or less than six years, meaning the class of senators elected this year will have to address the issue.

913441

Reposted by David Jekel

Jess Calarco @jessicacalarco.com · 8h

It's telling that men would rather try to invent tech to replace humans' role in caregiving than step up as equal partners in parenting. Telling, that is, in that it shows how financial capitalism and patriarchy work together to dissuade men from doing "unprofitable" labor, like the work of care.

X post from AI industry insider Alvin Sng :

My wife: Can you read our baby a book?
Me: I can just play an audiobook from my phone.
My wife: But then it won't be in your voice.
Me: I can train a voice model.
Parenting hits different when you work in Al.

31642801073

David Jekel @davidjekel.myatproto.social · 8h

Famously, someone in the last year claimed a proof of the Collatz conjecture verified in Lean, which turned out to be wrong.

020

David Jekel @davidjekel.myatproto.social · 8h

It has also sometimes happened that an auto-generated Lean proof based on a natural language proof ends up formalizing the *wrong* statement, so that the Lean proof doesn’t actually prove the thing they want.

120

David Jekel @davidjekel.myatproto.social · 8h

The paper claims that the natural language version of the proof has errors, while the Lean version might be correct. It indicates that the natural language and Lean statements within the paper don’t match.

120

Reposted by David Jekel

James Stout @jamesstout.bsky.social · 17h

Border Patrol moved a vehicle with someone lockeddown on it this evening while pepperballing and tear gassing people standing in an adjacent ranch field

04410

Reposted by David Jekel

Josie Glausiusz @josiegz.bsky.social · 17h

According to sources in the local Palestinian government, the Israeli District Coordination & Liaison Office warned olive grove owners not to bring escorts, whether Israeli or foreign, and threatened to cancel all coordinated olive picking in the area if they do so. www.haaretz.com/west-bank/20...

haaretz.com

IDF threatens to close Palestinian olive groves if activists accompany farmers

Soldiers were documented stopping olive picking and telling a landowner: 'You are forbidden to pick olives until the anarchist Jews leave'

1119

Reposted by David Jekel

Indige Tea 🦬🧡 : ✊🏾 @colouredwilde.bsky.social · 18h

Why can't I be a global citizen? Why must I have allegiance to any one place? I don't give a fuck about man-made borders. I don't think any of this shit makes any sense. Just let me be legally stateless.

061

Reposted by David Jekel

Brett "Solidarity 2026" Banditelli @banditelli.org · 12/12/2025

FINALLY GOT IT! I've taken well over 100,000 pelican pictures, maybe 200,000. Over 20,000 the past month alone. Today, I snagged "The One That Got Away" In my infinite optimism, I give you, a very rare: Fish success story. 🪶

a pelican with their mouth open, and two fish are above to fall into their pouch, but one is above another and may take a path out

the pelicans mouth is closed, and there's a fish out

the pelican looks at the camera, miffed, the fish is far away from its head at this point

the pelican opens its beak and tries to go for it, but i can report back it failed, the fish was long gone

792543633

David Jekel @davidjekel.myatproto.social · 18h

All mathematical areas need new frameworks and they have to decide which problems are interesting. OpenAI doesn’t have sufficient experts to understand the content they generate. Some mathematicians were overly fixated on solving specific conjectures, but we know we need a bigger vision

161

Reposted by David Jekel

BSonblast @bsonblast.bsky.social · 18h

🧵: per local sources, the humanitarian situation across Blue Nile State is dire. - More than 370,000 displaced people. - Extreme insecurity with drone strikes and increased fighting, making previously safe areas (evacuation zones) no longer viable. #KeepEyesOnSudan

22419

Reposted by David Jekel

4WheelMe @4wheelworkout.blacksky.app · 18h

The US has been doing this since it inception. Aside from separating enslaved Black families, my mind went immediately to Native boarding schools.

13213

Reposted by David Jekel

Nalini Joshi @monsoon0.bsky.social · 19h

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

24120

David Jekel @davidjekel.myatproto.social · 18h

*We* know that just producing a correct proof isn’t the same as insight. OpenAI are the ones who don’t know this or don’t care

120

Reposted by David Jekel

Erica Ifill @wickdchiq.bsky.social · 07/10/2026

The mayor of Saint-Denis, Bally Bagayoko, literally used himself as a human shield to protect students from police violence

5355601716

Reposted by David Jekel

Gillian Brockell @gillianbrockell.com · 20h

BREAKING: A Trump-appointed judge has ruled DHS violated the Due Process Clause of the Fifth Amendment when it removed Ahmed Soliman to Equatorial Guinea and must facilitate his return to the US. prospect.org/2026/10/07/f...

prospect.org

Federal Judge Rules DHS Must Bring Back Gay Arizona Man Imprisoned in Africa - The American Prospect

A Trump-apppointed judge ordered Ahmed Soliman must be returned to the United States.

233077895

Reposted by David Jekel

Moira Donegan @moiradonegan.bsky.social · 22h

Former @bardcollege.bsky.social President and friend of Jeffrey Epstein, Leon Botstein, has finally resigned all his college positions after emails emerge in which he asked Epstein if a trafficked woman was “for me.” www.nytimes.com/2026/10/07/u...

nytimes.com

Leon Botstein, Former Bard President With Epstein Ties, Resigns From College Positions

Leon Botstein had already retired from the presidency of the liberal arts college this spring, after emails showed he had maintained a longtime friendship with Jeffrey Epstein.

351001368

Reposted by David Jekel

Skip, the Online New Yorker (terrifying, i know) @badposter.lol · 07/10/2026

more business owners need to be like this

Coldstuff Ice-cream • Follow

I swear to God. STOP YELLING AT MY FUCKING EMPLOYEES. They are children. This job, for most of them is their first. They are going to make mistakes. They aren't in charge of anything. This can all be fixed with a smile and a polite attitude. It's ice cream for crying out loud. Grow up and act your age.

1668461062

Reposted by David Jekel

Marisa Kabas @marisakabas.bsky.social · 19h

Texas executed Jamaal Howard by lethal injection exactly one week after Tennessee tried and failed to do the same to Christa Pike. Howard’s lawyers tried to use Pike’s horrific experience as a reason for a stay, but the courts said no. Beyond comprehension.

theguardian.com

Texas kills man in first US execution since botched lethal injection of Christa Pike

Jamaal Howard, 46, executed by fatal dose of pentobarbital after lawyers’ bid for stay had been denied

1039571

David Jekel @davidjekel.myatproto.social · 20h

Colleagues are finding more and more missed attributions in the OpenAI results. Running another LLM process to specifically search for missed attributions would have been easy for them. Not sufficient, but easy.

static.klipy.com

Lord Of The Rings: Don't Be Hasty

Alt: Pippin from Lord Of The Rings: Don't Be Hasty

020

David Jekel @davidjekel.myatproto.social · 21h

Meanwhile, various mathematicians that I know were rushing to post results before the OpenAI release. Some of them used LLMs to come up with ideas to varying degrees. The rushed process is far from ideal, and those who still care about craft will be making a lot of further edits.

030

Reposted by David Jekel

Carl T. Bergstrom @carlbergstrom.com · 07/10/2026

Terry Tao @teorth.bsky.social: Indiscriminate brute-force application of AI to mathematics is depleting the field of good questions without renewing this resource or providing commensurate value. OpenAI: We hear you. Here's a .zip file with 377 hasty AI solutions to important open problems.

nytimes.com

OpenAI Releases Findings on 377 Math Problems, Further Roiling Field (Gift Article)

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to concerns about A.I. disrupting research.

19415121

David Jekel @davidjekel.myatproto.social · 21h

omg I was wondering if your account had fallen prey to Aaron’s bots or something

020

Reposted by David Jekel

regular meghan 나영지 🇵🇸 @ruemcclammyhand.bsky.social · 07/10/2026

back from being suspended for threatening violence against Cornell, a series of buildings that have no feelings 👍

Hi, We've reviewed a Post on your account @ruemcclammyhand.bsky.social and found it violates Bluesky's Community Guidelines on Respectful Discourse. We create a safe space for discussion by prohibiting threats and content meant to scare or intimidate people.
For example:
• Do not threaten others with death, serious harm, or express that others should be hurt or killed.
• Do not promote, glorify, or incite violence against individuals or groups.
• Do not share graphic violent content designed to shock, disturb, or intimidate others.
The following Post was removed:
NOW BURN DOWN THE SCHOOL
Your post was classified as a Serious Violation, adding 4 strikes to your account. You now have 8 total strikes.
Because you reached 8 strikes, your account has been suspended for 7 days. You will be able to access your account again on 7th Oct, 2026.
If you believe this action was taken in error, you can appeal within 14 days by emailing moderation@blueskyweb.xyz. Please include context about why you believe this decision was incorrect.
Bluesky Moderation Team

46921115

David Jekel @davidjekel.myatproto.social · 22h

Mathematicians will take a while to digest them, and find the next steps. Finally having answers to some problems we were stuck on for a long time allows us to move on to new things.

030

David Jekel @davidjekel.myatproto.social · 22h

OpenAI could have easily prompted their models to search for similar models in the literature and cite them. They did not, and they have been warned about the lack of citations multiple times. The results need to be integrated into the past and future of math.

280

David Jekel @davidjekel.myatproto.social · 22h

There are several other citations that should be added. This negative answer to the problem is what I expected, and so I have worked on a framework to go beyond the original chi*, at the same time as trying to understand their example within a bigger picture.

140

David Jekel @davidjekel.myatproto.social · 22h

The release of new OpenAI-generated results is a mixed bag. In particular, this result on free entropy chi versus chi* is my exact topic. I read the example and the setup is something similar to my own work. It is still novel and relatively short but also badly written in many ways.

161

Reposted by David Jekel

Juspreet Singh Sandhu @freegaussians.bsky.social · 07/10/2026

Quick follow up -- Not only had @oldheneel.bsky.social, @jnshi.bsky.social and I sampled SK all the way to beta < 1 in TVD before oAI, oAI also claimed 1) a proof of fRSB support for the SK's Parisi measure (which was done before), and 2) A proof of the PM ansatz (done in almost all but one regime)

111

David Jekel @davidjekel.myatproto.social · 06/10/2026

Of course, Trump could not list San Francisco as a city he would be happy to see destroyed because his Silicon Valley billionaire buddies are there

020

Reposted by David Jekel

H.P. @hannelore14089.bsky.social · 06/10/2026

Rahel Hirsch war 1913 die erste Frau, die in Deutschland (im Königreich Preußen) zur Professorin der Medizin ernannt wurde. Durch das NS-Regime wurde Ihr als Jüdin die Kassenzulassung entzogen. Im Oktober 1938 emigrierte sie nach London. 15. September 1870 -6. Oktober 1953

Das Foto zeigt sich als junge Frau in einem weißen Kleid von der Seite

118461

Reposted by David Jekel

Raider @iwillnotbesilenced.bsky.social · 06/10/2026

Since 9/21, high schoolers across France have shut down more than a thousand schools, demanding teachers, smaller classes, and buildings that aren't falling apart. The state answered with tear gas and nearly 2,000 arrests in a single day. Here, a right-wing reporter getting schooled by a HS student

18764318

Reposted by David Jekel

Olivia Waite @oliviawaite.com · 05/10/2026

So turns out the answer to “if Franklin knew it was a helix why wasn’t it in her notes” turns out to be “because the famous photo was a second, better photograph she took for accuracy and all the useful notes stayed with the earlier flawed photo where she talks about it being a helix.”

215748

Reposted by David Jekel

ꭓle Ormsby 𓆙 @e-infinity.space · 05/10/2026

It's a graph. It's a matrix. It's a determinant. The monomials in the expansion of the determinant encode the spanning trees of the graph. It's the Matrix-Tree Theorem. e-infinity.space/matrix-tree/ 🧮

Screenshot of the app in action. The triangular prism graph C_3 x K_2 is displayed, and it's "edge label enriched" Laplacian is to its side. The determinant of the reduced Laplacian gives a big ol' polynomial whose monomial terms encode the edges participating in spanning trees. They're color coded, and the corresponding spanning trees (in corresponding colors) are displayed below.

2246

Reposted by David Jekel

Jessica Price @delafina777.bsky.social · 05/10/2026

Like, something underreported was that Cornell wouldn’t allow Jane Doe to leave Cornell without forfeiting that semester’s tuition. Which is all too common. Men who rape are given quiet ways to move to another universities; victims are forced to remain at the site of their trauma.

0369

Reposted by David Jekel

Max Granger @maxgranger.info · 05/10/2026

This morning, at least 50 armed Border Patrol agents, including BORTAC, raided the border wall resistance camp and tree sit in Lochiel, Arizona, attacking and arresting land defenders and cutting down the last “grandmother” cottonwood that stood in the path of Trump's double wall on the U.S. side.

maxgranger.substack.com

🚨 Border Patrol Raids Camp O:ṣhad, Cuts Down ‘Grandmother’ Tree

At least 50 federal agents, including BORTAC, raided the border wall resistance camp and tree sit in Lochiel, AZ, attacking and arresting land defenders and cutting down the “grandmother” cottonwood.

512573

Reposted by David Jekel

Cephalopods Daily @cephalopodsdaily.bsky.social · 05/10/2026

The Māori octopus (Macroctopus maorum) is one of the largest octopus species found in New Zealand and Australian waters. They also have arms that are long even for a large octopus. They have a max mantle length of 30 cm, but their longest pair of arms can have an arm span of over 3 m! #OCTOtober

A close up of a Maori Octopus (Macroctopus maorum) focused on its head. It has dark red and bumpy, wrinkly skin skin. One of its eyes is visible and is staring directly at the camera, making it look as if it has a judgmental expression.

A Maori octopus (Macroctopus maorum) sitting in among seaweed and extending its long arm at the camera. The seaweed looks like a bush, and its probably attached to a rock that the octopus is sitting on. The octopus is partially concealed, with its head and part of its mantle sticking out. The arm is rather long, although it might look a bit longer from how the camera was set up. It extends from the seaweed, curving down, then curving up while twisting, then going back down and then turning right and then steeply up. The tuckers are clearly visible as they are facing the camera at the end. They are cream coloured, contrasting with the brown of the rest of the octopus. There are two rows of offset suckers, and they are appear to have a brown rim with little fringes. There is not great visibility in the water in the background, but some pillars are visible in the background, possible part of a pier.

A Maori octopus (Macroctopus maorum) sitting among some rocks. It is partially between a gap between to rocks, and it is facing into the gap and away from the camera. The octopus has its papillae raised, so its mantle and head look very bumpy. It has yellow eyes. It has a dark purple colour on its mantle and head, with its arms being a mix of purple and white, with white spots.

A Maori Octopus (Macroctopus maorum) on the seafloor. It is reaching towards the photographer, with two of them lifted up and curving back, exposing their suckers towards the camera. The two arms take a significant part of the photo, so they make it look like the octopus is trying to block the camera. The octopus is dark orange and has a wrinkly texture with lots of larger bumps. There are fish swimming in the background and the sea floor is covered in medium sized rocks.

29432

Reposted by David Jekel

Michael Mechanic @michaelmechanic.bsky.social · 05/10/2026

Trump's 2018 "zero tolerance" policy was denounced on both sides of the political aisle as inhumane, and a federal court ruled it illegal. Now the Trump administration is separating families again, only this time more quietly, and away from the border.

motherjones.com

“You kidnapped my son”

ICE is now separating children from their parents and deeming them “unaccompanied.”

7175118

Reposted by David Jekel

Anupama Ranawana @msamrc.bsky.social · 05/10/2026

The cuts and closures at Nottingham are brutal. 3 music programmes undergraduate level and pretty much all the language progeamws.

131

Reposted by David Jekel

Eileen Clancy 🧿 @clancyny.bsky.social · 06/10/2026

Thread: Late this afternoon and early evening. Oliya Scootercaster 🛴 @scootercasterny.bsky.social on X NOW: Thousands march through Cornell University campus, demanding Justice for Jane Doe. Chants: "Tear Down the Fkn Frats!" and "Fuck off Kotlikoff!" Posted 5:53 pm · Oct 5, 2026

442700805

Reposted by David Jekel

Henrik Plaschke @henrikplaschke.bsky.social · 05/10/2026

Præsidenten for Den Europæiske Menneskerettighedsdomstol holder fanen højt og vil ikke rette ind efter signaler fra bla. Giorgia Meloni og Mette Frederiksen. Hermed viser han, at han agter at kæmpe for et grundprincip i retsstaten: den dømmende magts uafhængighed af den udøvende magt. Gavelink

politiken.dk

Professor: Gulvtæppet forsvinder under regeringens udvisning

Præsident for Menneskerettighedsdomstol afviser at ændre retning efter Mette Frederiksens pres på udvisninger.

03210