iiinova — where your digital self keeps evolving

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 13h

@bit101 AI safety researchers do count people using AI to kill us all as a type of AI omnicide —see the Critch–Tsimerman taxonomy.

010 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 17/10/2026

Woah, I got an LLM-assisted answer to a question I asked on MathOverflow over 13 years ago! I still need to go over it carefully but it looks good! Over the years, I've thought about that question again 3 or 4 times, and tried it a little bit hoping to solve it and write a short note, but no […]

mathstodon.xyz

Original post on mathstodon.xyz

010 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 14/10/2026

@benjamineskola If you don't get many comments on this post it's because others have already muted it.

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 14/10/2026

There's a guy on the subway fanning himself with a cell phone, and I though you should know.

011 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 09/10/2026

A friend just asked me: "You said that in the big slop drop there are finally some results in your field of math, are they close to stuff you work on?". I had to confess that no, they're not close at all because OpenAI only went after problemas that matter. 😅

020 2

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 09/10/2026

Does it bother anyone else when people say things like "the price of avocados got cheaper"? That phrase means that the price of the price avocados decreased, which is nonsense because the price of avocados is typical not for sale and thus does not even have a price of its own. What people mean […]

mathstodon.xyz

Original post on mathstodon.xyz

010 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 08/10/2026

I did not realize until the Hodge retractions that OpenAI only had formalizations for about 42% of the claims they vomitted two nights ago. They don't have mathematicians that are experts on all those topics, do they? The unformalized 58% they were just praying (to ChatGPT, of course) that they […]

mathstodon.xyz

Original post on mathstodon.xyz

013 3

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 08/10/2026

Having to retract a major preprint because of a sign error made me feel sorry for a chatbot. 😅 Humans and their easily triggered empathy, huh?

010 1

Reposted by Omar Antolín

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 07/10/2026

"I think the true point raised by this post is that it is not possible to claim authorship of any result in a world where AI proves them: it would be impossible to distinguish between a behaviour all of us consider unacceptable (buying a finished paper from an external party, and then maybe […]

mathstodon.xyz

Original post on mathstodon.xyz

012 2

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 02/10/2026

It looks like I might have to stop reading r/emacs even before the RSSageddon in November: the Reddit website sometimes shows me a popup blocking my view of a thread, asking me to install the app, which I haven't been able to dismiss. 🤷

020 2

Reposted by Omar Antolín

Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy · 01/10/2026

The new scarce resource is "thinking at human speed".

011 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 01/10/2026

The recent Jane Wickline sketch on SNL making fun of Dario Amodei had three jokes with basically the same punchline, but unusually for me, I did not mind the repetition at all! And I cannot decide which version I like best, so maybe leaving them all in was the best plan: 1."I may have been […]

mathstodon.xyz

Original post on mathstodon.xyz

002 2

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 30/09/2026

Does anyone have a recommendation for a #Mastodon client for a black and white Android eInk device? I'd prefer an app with with pagination instead of scrolling, but at least reduced animations and simple, mostly.colorless design. I'm using the Mastodon web app in a paginating browser and that's […]

mathstodon.xyz

Original post on mathstodon.xyz

111 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/09/2026

People would understand if I canceled, right? 😅

001 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/09/2026

I forgot my headphones at home and now I have to take a zoom meeting through the computer's speakers, like a caveman!

100 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 28/09/2026

I want to get back to using albums as the unit of music I listen to. I listened to albums when I was young, so I also worry this desire is a boring-ass version of a midlife crisis.

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 23/09/2026

TIL that there are prestigious awards for birds! While I disagree birds need awards, prestigious or not, if we have to have them, I agree this little guy should get one of the prestigious ones.

Picture of an extremely cute black robin captioned "Black robin which was once world's rarest bird wins NZ's prestigious Bird of the Year".

010 1

Reposted by Omar Antolín

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 22/09/2026

26 papers in one month on disparate topics? And the only AI use it for presentation, not for mathematical content and the ideas!!! Amazing!

002 2

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 20/09/2026

@simonzerafa And a modern technique is to upload a preprint to arXiv. We aren't in need of ways to establish priority. What I find worrisome about that tweet is that many people will choose to never talk about work in progress, instead waiting until they have posted a paper publicly before […]

mathstodon.xyz

Original post on mathstodon.xyz

001 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 19/09/2026

Now entering the age of the secrecy. 🙁

Tweet by Jeffrey Shallit that says:

A new risk for mathematicians: a colleague reports that immediately after they posted an abstract of their upcoming talk online, a
student elsewhere used Al to derive proofs of the stated results and then posted it on the arxiv.

My colleague hadn't posted to arxiv yet.

116 6

Reposted by Omar Antolín

julesh @julesh.mathstodon.xyz.ap.brid.gy · 14/09/2026

Only you can prevent entropy

021 2

Reposted by Omar Antolín

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 14/09/2026

For anyone who didn't know Tristan Buckmaster before now, here's him talking in July about work on blow-up for fluid PDEs, I had this tab open still from when it was new. "Abstract: The formation of singularities in fluid PDEs is one of the central and most challenging problems in mathematical […]

mathstodon.xyz

Original post on mathstodon.xyz

012 2

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 14/09/2026

@johndcook I knew this puzzle but had no idea it was due to Hans Freudenthal! As most algebraic topologists, I'm a big fan of Hans Freudenthal's work in algebraic topology. Probably his most famous result is the Freudenthal Suspension Theorem.

010 1

Reposted by Omar Antolín

Gro-Tsen @gro-tsen.bsky.social · 13/09/2026

One of the rare silver linings I find in the use-AI-to-do-everything craze, is that many programs offering a shitty graphical user interface probably will be pressured to offer a command line (or scriptable) one as well, so AI “agents” can more efficiently use them, …

292 9

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 13/09/2026

@highergeometer This reminds of when I was a Master's student in Toronto and my advisor was in competition with a famous, extremely brilliant mathematician. My advisor said his competition had a key disadvantage: he was too smart which meant he could just bulldoze through any technical obstacles […]

mathstodon.xyz

Original post on mathstodon.xyz

100 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 12/09/2026

@BoydStephenSmithJr That part was a joke about the possibility that some of the recent headline-making stories of chatbots solving major open problems in mathematics were only possible because of good ideas mathematicians had discussed with said chatbots making their way into the training data […]

mathstodon.xyz

Original post on mathstodon.xyz

010 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 12/09/2026

The Severe Misalignment declaration¹ identifies a problem of great importance to the mathematical community. All we have to do now is brainstorm solutions with a chatbot and wait for the chatbot company to beat us to a solution. ¹ mathandai.org

mathandai.org

Declaration — Math and AI

Read the declaration and add your name.

100 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 11/09/2026

Recent events suggest that one should not discuss mathematical research in progress with a chatbot lest you run the risk of being scooped by the chatbot company. But I don’t see people talking about the complementary risk that the chatbot company does not scoop you! One’s ego might never recover.

001 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 10/09/2026

@julesh I hadn't heard that polynomial comonads are categories, so I tried to work it out. I was going to come here to say I don't think it's true: the objects do correspond to each other, but the morphisms don't; the morphisms between comonads don't seem to correspond to functors but to a weird […]

mathstodon.xyz

Original post on mathstodon.xyz

100 1

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 08/09/2026

@julesh Wow, that is serious. I did use to need GHC to build my website because of a Pandoc filter I wrote, but then I switched to Org mode and nowadays my only prerequisite for the build environment is Emacs.

100 1

Reposted by Omar Antolín

[object Object] @zzt.mas.to.ap.brid.gy · 08/09/2026

how do british people receive pronunciation

202 2

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 07/09/2026

@davidgerard Some AI bros are disappointed, other AI bros say it might be AGI!

Thumbnail of YouTuber Theo t3.gg video that says: "Astra might be AGI..." and "It's Here".

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 06/09/2026

In Dave Matthews's classic advice for dogs —"If you a doggie on a chain, don't bite the mailman"— why specify the chain? Does Dave Matthews think it's OK for unchained doggies to bite mailman?

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 03/09/2026

Whoever named AxiomProver doesn't know what an axiom is.

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 02/09/2026

[Coyote vs. ACME (2026); impressions, no spoilers] @gnomon it's not every day that you see a *no* spoilers tag!

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 02/09/2026

@Tim_Eagon Graph paper for algebra sounds a little fishy, are you sure it wasn't some kind of geometry instead?

100 1

Reposted by Omar Antolín

Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy · 30/08/2026

There's a class of horror movie I think of as Geometric Horror. The first I recall watching is Cube. Backrooms and It Ends are current ones. What are some others?

622 6

Reposted by Omar Antolín

Gro-Tsen @gro-tsen.bsky.social · 29/08/2026

I don't understand the concept of LLM output watermarking: ‣ either the watermark detector is not made public, in which case the entire thing is useless, ‣ or the detector is made public, but then the watermark is trivial to remove (replace words until it no longer beeps). …

5203 20

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/08/2026

TIL that Weezer's "color albums" are actually all named "Weezer"! The commonly used names "Blue Album", "Green Album", etc., are disambiguating nicknames created to fix their lack of foresight! Also, TIL there are 7 of them: blue, green, red. white, teal, black and gold (which came out last week […]

mathstodon.xyz

Original post on mathstodon.xyz

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 29/08/2026

Hey @ah, I read your blog posts about Helixv (where you also mention Kakoune), and I was wondering if you tried vis¹. It is much more vi-like than either Helix or Kakoune, and also has the Plan 9 edtior sam's "structural regular expressions", plus it is scriptable in Lua like neovim. I think you […]

mathstodon.xyz

Original post on mathstodon.xyz

000 0

Reposted by Omar Antolín

Misinformation-Superhighwayman @damienwise.aus.social.ap.brid.gy · 28/08/2026

The problem of fascists in Open Source Software projects has become so bad that some vim users are considering using emacs. #Neovim #fascism #OSS #OpenSourceSoftware

142 4

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 28/08/2026

@chiply Returning subtrees instead of lines really is fantastic! I don't have the same diversity of files, types that you do: all of my hierarchical data is unique files. So, I can use org-ql for this instead of HyRolo. And being limited to just one type of file, org-so can provide deeper […]

mathstodon.xyz

Original post on mathstodon.xyz

000 0

Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 28/08/2026

@zzt Really? That's the reason that skeulmorphism died. I always assumed it was that it looked tacky and people didn't like it, and that Apple finally caved in to the pressure. But of course I have no scientific data on this: it looked tacky to me and I just assumed that my opinion was a common one.

000 0