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 […]

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?

"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 […]

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

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

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 […]

RE: https://techhub.social/@Techmeme/117361671415645254 I'll miss r/emacs a little bit. 🙁

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 […]

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

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.

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.

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

"Films with women in both directing and screenwriting roles matched male-only returns while operating on approximately half the budget." https://doi.org/10.3389/fcomm.2026.1838492

Frontiers | Women in directing and screenwriting: the capital allocation puzzle in commercial film

Women remain underrepresented as directors and screenwriters in commercial film, yet the financial logic of this pattern is unclear. This study examines gend...

frontiersin.org

Now entering the age of the secrecy. 🙁

Only you can prevent entropy

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 […]

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, …

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. ¹ https://mathandai.org/

Declaration — Math and AI

Read the declaration and add your name.

mathandai.org

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.

how do british people receive pronunciation

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?

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

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?

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

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 […]

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 […]

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

Yep, this scans: Young People Hate AI CEOs So Passionately That It’s Almost Hard to Believe They're even more unpopular than data centers. https://futurism.com/artificial-intelligence/young-people-ai-ceos-executives-poll

Young People Hate AI CEOs So Passionately That It’s Almost Hard to Believe

They're even more unpopular than data centers. The post Young People Hate AI CEOs So Passionately That It’s Almost Hard to Believe appeared first on Futurism.

futurism.com