Marcello Seri

@mseri.me

Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster #mathsky #physics #scicomm #ocaml #edusky Also @mseri@mathstodon.xyz

why are you introducing the idea that this software "has spiraled out of human control" before you've informed your readership these hacks occurred because the companies didn't air gap their automated hacking software or conduct tests in truly secure environments?

"The incidents have rattled security specialists and computer scientists. For years, A.I. researchers warned that because the technology was advancing so rapidly, it could soon spiral out of human control — a worrying science-fiction scenario that the industry had long warned would become a reality."

Pirocumuli, facciamo chiarezza. Come spesso accade, quando un fenomeno scientifico diventa virale rischia di essere semplificato e mal descritto. Parlo dei “pirocomuli”, sistemi nuvolosi a sviluppo verticale che talvolta si generano dai grandi incendi. 1/8

Bild

At the panel on “AI for Mathematics”, the top rated question from the audience is “Do you expect fewer young people to pursue mathematics in the coming years? What advice would you give to students considering whether to pursue PhDs in math?” (from Joshua Wang) #ICM2026

13. Hence our dismal conclusion: rather than finding that LLMs free us to do a better job of what we were doing before they came along, they shift scientific incentives (and the playing field of academic competition) in ways that compel us to do more and more, faster and faster, less and less well.

I’m looking for beta-testers for the next opam release in exchange for a free ~30x speedup on opam update (on Windows, busy VPSs or for hard-drive/sdcard/emmc/cacheless-filesystems/etc. users). Anyone interested? discuss.ocaml.org/t/ann-opam-2...

[ANN] opam 2.6.0~alpha1

Hi everyone, We are happy to announce the first alpha release of opam 2.6.0. This is the culmination of 2 years of team work requiring large internal changes, we hope you’ll enjoy it. This version i...

discuss.ocaml.org

Weeks ago, @chanda.blacksky.app sent me this declaration, written and signed by a bunch of mathematicians. But I only had time to read it yesterday, which ended up being right on time given a new round of hype falling exactly under the patterns this document notes.🧵 leidendeclaration.ai

Leiden Declaration on Artificial Intelligence and Mathematics

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.

leidendeclaration.ai

Reviewer 1 : the paper is nice but the proofs have misprints which I checked are harmless Reviewer 2 : I have no opinion on the paper because the proofs have mistakes, so the results are wrong and the paper should be rejected Editor : your paper is rejected 🥲

A student told me that they’re interviewing for a job, and the technical interview is done through an AI chatbot. I gave it a shot, and this was the very first question:

"Thanks, User. In HTML, what's the semantic difference between a `` and a ``, and when would you choose one over the other?"

Both strings are empty, so it's asking me for the difference between nothing and nothing.

La vergogna (thread) Una significativa parte d’Europa sta vivendo, da oltre un mese, la più intensa fase di caldo anomalo mai registrata. In Francia (ma non solo) superata per durata e intensità la peggior sequenza dell’estate 2003. 1/8

Bild