Terence Tao observes that an llm may solve a complex mathematical problem without usefully improving the state of mathematics, because the intermediate results of the process themselves can have significant value.

https://mathstodon.xyz/@tao/117207849921390904

But such an incomprehensible proof would not be the primary value of the exercise. The process of starting with one ansatz, discovering the precise obstruction preventing it from working, adjusting the ansatz to (partially) eliminate that obstruction, and then iterating, would almost certainly reveal important new insights about fluid mechanics that would not have been feasible to obtain by other means. Crucially, this iteration would only work well at producing such insights if the iterator did not have access to the final ansatz in advance, as this naturally inhibits the exploration of alternate routes to the ansatz that are superficially “dead ends”, but in fact end up being highly instructive in the nature of their failure.

But there is now a scenario in which an autonomous AI harness, backed by an enormous amount of computational resources, performs this entire iteration internally, and ends up producing the final ansatz, and thence the solution to the Navier-Stokes regularity problem, while the AI company running the harness keeps the process to arrive at that ansatz almost completely out of public view. Technically, one of the most prominent open problems in mathematics would now be solved; but there would be almost no value added to mathematics as a consequence. It is theoretically possible that with some herculean (and heavily AI-assisted) additional effort by a third party, some portion of the process could be reverse-engineered to recover some actual insight and understanding from the solution; but this would be a far less efficient process than if the solution had been obtained via a diverse combination of both human mathematicians and machine assistance as mentioned above.

https://mathstodon.xyz/@tao/117207855800042681

He’s not the first to have pointed this out, but I think this was a better summary than similar posts that I’ve come across and at least partially understood.

Today’s cognitive surrender news: people asking chatbots to generate them hiking maps and give them advice on route planning and climbing mountains, what to eat on long hikes, and where to camp in national parks. It ends about as well as you’d think.

https://www.sfchronicle.com/outdoors/article/shasta-climbers-rescued-chatgpt-22414629.php

(paywalled, but the popovers are easily hidden with browser tools)

the novice climbers, from Roseville, said they’d entrusted Google’s AI chatbot, Gemini, to help them craft key logistics of their trip — from the best route up the mountain to the types of food they should pack and how much water they should carry with them.

On a separate incident:

a man stopped rangers to ask for directions. He showed them a print-out map he’d been following and explained that he’d prompted ChatGPT to produce it for him.

“It was terrible — terrible — not even close to accurate,” Meyers said. “It had route lines and place names that were totally off — just ridiculous. We were like, dude, you gotta throw that away.”

The original climbing group were standard idiots, having intended to do most of their navigation by phone app, and then failing to have a backup even a working recharge power pack. They also left litter everywhere at that camp site, the usual mark of thoughtless people.

I’ve no doubt that they’d have fucked things up in the pre-llm days too… they seem the type. But chatbots are power tools for stupidity and offer whole new ways to abdicate thinking and wander into trivially preventable danger, which in turn means more risk for park rangers and mountain rescue teams 🫤

I reckon it goes way back to the movements that produced them. My first thought is ayn rand:

In 1954, her close relationship with Nathaniel Branden turned into a romantic affair. They informed both their spouses, who briefly objected, until Rand “sp[u]n out a deductive chain from which you just couldn’t escape”, in Barbara Branden’s words, resulting in her and O’Connor’s assent.

You can see how “The most rational thing is that I fuck your spouse” would appeal to the less wrong folk.

https://en.wikipedia.org/wiki/Ayn_Rand#Atlas_Shrugged_and_Objectivism

I didn’t note who said it, but one response suggested “roko’s mangione” and I guess that’s ai alignment solved! 🤗

Hailey on bluesky has never had a good ai take, but here they are reinventing roko’s basilisk to kill all their enemies without the need for super intelligent ai.

https://bsky.app/profile/hailey.at/post/3mtwjoqdvik26

Article on businessinsider with the nauseating title “The modern parenting throuple: Parents are at a breaking point — AI companies see an opportunity” because the age-old silicon valley product design technique of asking what your mother used to do for you, and how it could be sold back to you via a subscription is still very much in use.

https://www.businessinsider.com/parents-breaking-point-ai-companies-opportunity-2026-8

I confess I haven’t read the full article (which is why I haven’t given it a proper post) but hypervisible.blacksky.app has kindly pulled the highlights:

https://bsky.app/profile/hypervisible.blacksky.app/post/3mtupdpfcjs2p

One of the best bits:

The most tech-savvy parents have built their own tools. Sarah Baldeo, a cognitive neuroscientist, spent the past year traveling for work, so she built a custom GPT of herself to chat with her 15-year-old son when she’s unavailable. Baldeo tells me she programmed the chatbot with her personality, uploading screenshots of texts between her and her son, along with documents about her values, the family rules, and challenges she felt in parenting.

Baldeo wanted her son to ask the chatbot advice, and he did prompt it with questions he may have fielded to her, like, How do I diplomatically tell my teacher I’m overloaded with assignments? But he also asked the mombot how to convince his human mom to let him hang out at a coffee shop in Chicago in the evening — something Baldeo had been hesitant to allow.

The bot told him, as Baldeo recounts, “Your mom very much values new experiences, being around people from different cultures, different socioeconomic backgrounds, and this is how you should frame it to her: that you’re exploring a part of Chicago that is more diverse.” Her son took this tact to Baldeo, and she said yes. It was only later that she saw the chat history that let her know he had gamed the bot to manipulate her.

🤮

Why the fuck do these people have children. Why the fuck does any functional human being think it is a good idea to outsource raising their children to sam altman and his chatbot.

Who on earth thinks that training a chatbot to wear their personality like a rubber mask and manipulate people is going to end well? Honestly, I think this is perhaps the bit that triggers the most revulsion in me. I cannot comprehend wanting to be complicit in my own replacement by this thing, but so many people seem excited by the prospect of doing this to themselves.

I’ve seen a suggestion that it was a deliberately provocative marketing stunt to pump sales a little and keep the ellison estate healthy, and I kinda hope so but too many people are getting the brain worms for this to be a safe assumption 🫤

New book: superlawyers! how claude makes you the best lawyer in the room.

https://www.amazon.com/dp/B0GHYS5FC2

The author even shares his prompts for free!

https://github.com/danlorry/superlawyers-prompts

Every prompt here is designed for that pattern: Claude multiplies your judgment, never replaces it. The prompts are ready to paste into Claude. The book explains why they are structured the way they are.

The prompts mostly seem to be structured as “imagine you are an attorney. Now do this homework exercise”. There’s a passingly interesting idea around having the chatbot attempt to form a counter argument to your own claims, which you can then use to make your own position stronger, which seems like it might actually be a genuinely okay idea especially if you expect your opponents to be llm sock puppets, but everything else looks pretty much like garden variety “do my thinking for me”.

I’ll admit I didn’t read the prompts closely, so may be I’m being uncharitable, but I doubt there are many nuggets of gold hidden in there.

h/t to rahaeli

Grokipedia hasn’t been updated for months: is it because

• it has been vibe coded into unmaintainability
• the people responsible for it no longer care
• the people responsible for it are utterly incompetent
• all of the above?

I’m assuming that it isn’t “the llm bills were too high” just yet, but maybe it could be that, too.

https://futurism.com/future-society/grokipedia-broken-nobody-noticed

Posting scurrilous and unverifiable gossip.

Sam Altman matched with a man on Grindr, who posted the conversation. Open AI offered him money to take it down.

He made a song instead.

https://bsky.app/profile/valarmordollars.bsky.social/post/3msgqy34gvc2d

Personal highlight for me was the chat screenshot:

Altman: “I’m lonely and horny” Frostedjake: “as u should be”

💀

May working in the ai sector do for your lovelife what being openly republican does.

Nah, that’s just the global-warming-induced warm water they like, the presence of a reactor was incidental… swarms around any sort of suction system are going to be a problem.

I can offer you a upgrade in the form of an array of radioactive spinning blades if you’d like.

(in theory you could deploy your data centres in places where nutrient levels are low, so there’s less plankton and so a much reduced risk of jellyfish swarms, but I have absolutely no faith that these cowboys would even stop to think about that for one moment)

Not sure who Wes Streeting is

I’d say he is a shitty transphobic blairite labour politician and current cabinet member, but I don’t know how much that narrows things down. He holds a non-trivial amount of political power in the uk. There was a brief moment where it looked like he’d replace keir starmer.

Ahh, but you can sterilise the incoming seawater by irradiating it, and by a happy coincidence I’ve come up with a way to reduce the cost and weight of the reactor shielding.

Well, you know how everyone went from “do not trust anything you read on wikipedia” to “wikipedia is the last hope for humanity’s knowledge and history”?

So this one seems to be somewhat up in the air right now, and could do with a bit more verification, but it appears that google might be training gemini on your private google docs and a gemini user could ask questions that expose the contents of those documents.

Which is interesting. We use google docs at work, but it isn’t clear how much valuable ip or confidential information is in there.

https://www.reddit.com/r/IndieDev/comments/1vfwuf5/a_player_found_out_the_actual_name_of_my_games/

Amazing installation instructions at https://github.com/0xeb/ghidrasql

Install with an AI agent (recommended)

The fastest way to get ghidrasql running end-to-end is to point an AI coding agent (Claude Code, Cursor, Codex, Aider, etc.) at the bundled installer prompt:

install-prompt.md

It is a self-contained runbook with explicit verification gates at every step — preflight checks, building libghidra, installing the LibGhidraHost Ghidra extension, building ghidrasql, and a first live query. Hand it to your agent and let it drive the install; intervene only if a gate reports a failure.

JFC.

h/t to rairii: https://labyrinth.zone/objects/96478395-64d9-452c-a906-9e6159cd10a3

I was gonna link someone else’s observations on it, but got sidetracked by a shiny object or something.

https://mastodon.catgirl.cloud/@49016/117021988214007605

They didn’t link the sources, but apparently the all-my-apes-gone twitter crowd are still breathtakingly ignorant of technology and statistics, despite how many years of bitcoin catastrophes have passed.

Quite a few people suggesting/using dice to mitigate the Coldcard vulnerability.

Note that common dice are not designed to be cryptographically secure.

If you are going to do this, you probably should buy precision casino dice. And even then, have another source of entropy.

Posted entirely unironically, apparently. Hard to say, but Poe’s law has yet t be repealed.

As comedy art projects go, I really admire their dedication to the bit. The images are remarkably high quality, and they’ve really thought long and hard about those designs. I mean look at this… it’s glorious.

I’d advise against attempting to disable a chainsaw operator by poking them with a knife, though. I guess it’s too bad that pitchforks are pretty uncommon these days.

he didn’t hedge on long enough timelines

Duh. Everybody knows the market never stays irrational for long, and you should just tough it out.

Salt water is famously a forgiving environment to build in, and oceanic weather is benign and predictable. Not that it would be a problem anyway, because move-fast-and-break-things people can be trusted to do the right thing when it comes to running delicate equipment in places more hostile than mid california, and will not skimp on staffing and maintenance. You can look at all the the successful seasteading operations to see how well this will go.

There are also no problems I can foresee with putting a bucketload of fissiles in international waters, with no scope for finally uniting old-school piracy with new-school piracy, either. This plan is great, and no-one will have a problem with it.