iiinova — where your digital self keeps evolving

Reposted by Tommaso Sciortino

emily s. @emily.news · 22h

post. not too much. mostly jokes.

419828

Reposted by Tommaso Sciortino

Mike Lacher @mikelacher.bsky.social · 08/10/2026

i rebooted minesweeper as a AAA shooter. loot boxes coming soon minesweeper.mikelacher.com

592073352

Tommaso Sciortino @sciortino.bsky.social · 16h

Heartily, did I laugh at your joke, fine sir. And also this too: out loud.

070

Tommaso Sciortino @sciortino.bsky.social · 16h

At a meta level we are training these things to *infer* what we wanted from what we tell them, even if the thing we tell them isn't super clear. On that metric, sailing in circles is very much a failure to properly infer the user's intention.

100

Tommaso Sciortino @sciortino.bsky.social · 17h

Emo Philips just liked my comment so I feel special.

020

Tommaso Sciortino @sciortino.bsky.social · 09/10/2026

Automating the Langlands program would still be a big accomplishment.

020

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

She forbids me to post pictures of our two boys in public, but we are all pleased :D

040

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

Yes! My future wife's first message to me mentioned the retweet and asked what it was.

260

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

That is, the policies state the disclosure has to be in the contribution itself, not just "upon request".

120

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

Right now many scientific journals have policies requiring authors to divulge if they used AI. I think that's a reasonable policy. But it sounds like you disagree.

120

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

So you don't think authors should be required divulge that they use Generative AI?

220

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

Human mathematicians also "stand on the shoulders of giants" so AI is not different in this regard. Could we have made similar progress by investing the money in human mathematicians? I doubt it. but even if we could have, I don't think it would be worth the money.

010

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

It was reasonable for people to have suspected this in the Navier Stokes proof but there are good reasons to doubt that now. But it can't explain most of these proofs. That's just cope.

120

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

I think the AI math proofs are good and cool. Like when MRIs allowed doctors to easily see what before they could only guess at.

130

Reposted by Tommaso Sciortino

bryan newbold @bnewbold.net · 07/10/2026

ah damn, RIP Margaret Hamilton. she took safety-critical software engineering seriously, and got people to the moon and back. news.mit.edu/2026/margare...

old photos of a woman (Margaret Hamilton) standing next to a tall stack of books (printouts of Apollo space mission software source code)

102143024708

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

True fact: On my OKCupid profile years ago I listed "Retweeted by Ta-Nehisi Coates" as one of my accomplishments.

1371

Tommaso Sciortino @sciortino.bsky.social · 08/10/2026

If this were me I'd be sure to drop this fact in every conversation.

1260

Reposted by Tommaso Sciortino

Keith @mosheroperandi.bsky.social · 07/10/2026

If your flavor scientists don't look like this, they aren't trying hard enough

02206

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

I love everything Mitchell and Webb ever made. Though I admit their latest series was the weakest one.

000

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

This sketch but they're talking about how stealing a bunch of unpublished math proofs is actually more expensive than just inventing AI good at math.

youtube.com

Faking The Moon Landing - Conspiracy Theories

YouTube video by Giop Saus

140

Reposted by Tommaso Sciortino

Colin @colin-fraser.net · 07/10/2026

it's this

29315

Reposted by Tommaso Sciortino

Grace @gracekind.net · 07/10/2026

Holy shit

Openai github repository named "critical-theory"

2457266

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

We all trust Lean. It's a mechanist proof system. Therefore, the only thing you need to check is that the thing it proves is actually the same as the thing you care about. That does not leave much room for funny business.

010

Reposted by Tommaso Sciortino

rev. howard arson @theophite.bsky.social · 07/10/2026

instead of AI we should have invented books with wider margins so that our marvelous proofs could fit there

319715

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

Erecting giant monoliths over conservatism's grave with the message "This place is not a place of honor... no highly esteemed deed is commemorated here... nothing valued is here."

191

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

I agree with you. That said, OpenAI just published a proof that that there are no zeros with Re(s) > 11/12 so who knows what the future will bring.

000

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

I have not. I didn't realize he had any non-RWNJ works.

000

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

My pet theory was always that those suffering from asian glow can't get drunk and have to look elsewhere to get their kicks. That said, I wouldn't bet on it.

180

Reposted by Tommaso Sciortino

BeijingPalmer @beijingpalmer.bsky.social · 07/10/2026

legalizing gambling was the single biggest social disaster of the last decade, and that's a high bar to clear.

131161169

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

I finished #86 this morning. I'm not going to pretend that I followed all of it. But I'm getting the gist.

200

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

My advice for math nerds is to watch this youtube channel on the Riemann Zeta function (I've only watched the first 70 or so but it's amazing so far). You want to be up on this stuff in case the Riemann Hypothesis gets proved.

youtube.com

Zeta Explained

Math channel explaining the Riemann zeta function

181

Tommaso Sciortino @sciortino.bsky.social · 07/10/2026

OpenAI must be spending a fortune on the human mathematicians that are secretly the ones actually cranking out these proofs.

1140

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

My only complaint about the Swan Boy Animated Series is this: I want more of it!

030

Reposted by Tommaso Sciortino

Coach Finstock @coachfinstock.bsky.social · 06/10/2026

People forget that J6 was successful. Everyone who participated was let out of jail and the guy who perpetrated it is President again. There were no consequences. They have plenty of incentive to do a much bigger and worse version.

7453691290

Reposted by Tommaso Sciortino

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

We grow ever closer to the day when every person, no matter how poor, can afford their own scheming vizier.

091

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

We grow ever closer to the day when every person, no matter how poor, can afford their own scheming vizier.

091

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

I'm legitimately curious how you determined that I am unable to see your evidence when you didn't go through the trouble of actually *presenting* any of it.

200

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

If that was the case, one way to find out would be for you to present any evidence whatsoever for your beliefs.

100

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

But anyways. It's very clear that you are deeply insecure about how you came to your weird beliefs and that you have no confidence in your ability to defend them. That's fine! Common even!

100

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

It's okay to just say that you believe in cosmopsychism because it was revealed to you during a hallucinogenic mushroom trip/epileptic fit/bout of mania.

300

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

You do? Well, that's too bad. There's a lot of evidence that is only found outside of scholarly articles, especially on topics like "What do I, Tommaso, personally believe?".

100

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

My evidence that I don't think the origin of knowledge "is book"? Well, I've observed myself over a period of many years, and the theory that I think the origin of knowledge "is book" is not consistent with those observations.

100

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

Booo! This is a repeat! Not even innovative.

110

Tommaso Sciortino @sciortino.bsky.social · 06/10/2026

What an interesting and innovative way to avoid having to present evidence for your views. Let's see what you try next!

100