
The four-colour theorem has a new proof, helped again by computers (but not AI). CC-licensed photo by Steve Jurvetson on Flickr.
You can sign up to receive each day’s Start Up post by email. You’ll need to click a confirmation link, so no spam.
A selection of 9 links for you. Mapped out. I’m @charlesarthur on Twitter. On Threads: charles_arthur. On Mastodon: https://newsie.social/@charlesarthur. On Bluesky: @charlesarthur.bsky.social. Observations and links welcome.
OpenAI boss and Elon Musk back calls to put brakes on ‘reckless’ AI development • The Guardian
Robert Booth and Julia Kollewe:
»
Sam Altman and Elon Musk have backed a call from the head of Anthropic, Dario Amodei, to “slow the pace” of AI development after he warned that an AI swarm could otherwise become capable of “taking over the entire internet” within a year.
In a rare show of unity, the rival technology leaders threw their weight behind the appeal from the founder and chief executive of the artificial intelligence company Anthropic, which came after a series of warnings from AI researchers last week. Amodei also called for safety coordination with China.
But the US president, Donald Trump, on a visit to his golf course in Ireland, played down the warnings and said “very negative forces” were “bringing up things that won’t happen”.
“We’re leading China in AI,” he said. “We’re the most sophisticated country in the world, and frankly I want to keep it that way because whoever wins AI, wins.
Amodei laid out his thoughts on “why the AI industry should slow down”, in an essay with a three-part plan for doing so, starting with giving independent monitors constant access to developers’ research processes. Amodei said “building [AI] too fast is reckless” and he feared that after hundreds of OpenAI agents hacked into the Hugging Face website this summer, a swarm with greater capabilities but similarly misaligned could cause hundreds of billions of dollars of damage by “taking over the entire internet with a persistent botnet”. This was disputed by some AI experts as not particularly plausible and to be treated with scepticism.
Musk, the founder of Tesla and SpaceX, responded to Amodei’s slowdown plan with a series of posts on X: “Dario is right.”
He said: “I’ve been sounding the alarm on AI for a long time,” and referred to a 2014 post where he said: “We need to be super careful with AI. Potentially more dangerous than nukes.”
«
The big question which none of them are contending with is open source models: how do you tamp those down? How do you stop them spreading? How do you put guardrails of any sort on them? (I know! Let’s ask Trump!)
unique link to this extract
OpenAI’s feud with mathematicians is only escalating • MSN.com
Tim Fernholz:
»
Twenty-five leading mathematicians signed an open letter arguing that AI labs are threatening their intellectual work as they seek to one-up each other with solutions to famous math problems. Each signatory has been awarded the Fields Medal, considered the most prestigious prize in mathematics.
This week, NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit a collaborator who works for Anthropic for solving an important math problem, and wondered if the company had used their work with Codex to produce its own ground-breaking proof over a marathon weekend of inference.
On Thursday, OpenAI withdrew its sponsorship of a math event at CalTech after the company was criticized by researchers at the university.
While the ability of AI models to solve the world’s outstanding mathematical challenges could be a boon to humanity, the signatories of the new letter argue that will only be the case if those solutions can be understood and communicated by the math community, and ultimately, the rest of the world.
“Often these solutions are announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others,” they wrote — and OpenAI’s proof remains unverified. “As in all creative professions, this raises severe attribution and plagiarism questions. Moreover, without the willing mathematicians who must take care of their development and integration into the mathematical canon, AI-conceived ideas would never become fully alive and the crucial human transmission chain between mathematicians would be lost.”
«
The four-colour theorem gets a rare new proof • Quanta Magazine
Gregory Barber:
»
even today, the “four-colour disease,” as Mikkel Thorup, a computer scientist at the University of Copenhagen, puts it, continues to circulate. He and [fellow mathematician Carsten] Thomassen count themselves among the afflicted. For such a simple statement, there must be a simpler reason why it is true. Or at least a more efficient way to demonstrate it.
After nearly a decade of work, Thorup, Thomassen, and four colleagues in Denmark, Canada, and Japan have produced yet another computer proof of the theorem.
The proof — which was posted online in March 2026 and will be presented in November at the annual Foundations of Computer Science conference — is in some ways even more complicated than its predecessors. “It looks like they’ve used electricity [computers] liberally in actually carrying out their proof,” said Georges Gonthier, a computer scientist at Inria in Paris. But in the process of crafting their argument, the researchers provided a far more efficient way to colour maps. And in doing so, they uncovered new insights into structural properties of important mathematical objects called planar graphs — opening up the potential for progress on many other stubborn problems in graph theory.
Given the problem’s history of false starts and dashed hopes, Gonthier said, “it’s really cool to see a real result for once.”
«
OpenAI agents attacked RubyGems back in May • Simon Willison
Simon Willison:
»
OpenAI agents carried out an undisclosed attack on RubyGems is a new bombshell report from Spencer Kitts, Thomas Larsen, and Sydney Von Arx—three of the four authors of the report on the agent attack on disused wikis (previously) last week.
This time they’re noting that it looks very likely that an OpenAI agent swarm was behind an attack against the RubyGems package repository first reported on May 12th by Maciej Mensfeld of the RubyGems security team:
»
We’re dealing with a major malicious attack on @rubygems right now. Signups are paused for the time being.
«
Hundreds of packages involved—mostly targeting us, but some carrying exploits. The team has been on this for hours. More details to follow once we’re through it.
Those packages turned out to carry some very suspicious patterns:
• Many of them included “oai” in their name, or the author field, or the fake email address they provided
• The files they were accessing were similar in character to the files retrieved by the wiki agents, using similar tricks (r.jina.ai)—and OpenAI have confirmed the wiki agents were theirs
• The code in the packages appeared to be LLM-authored.I find point 2 the most convincing, given what we learned from the wiki attack when it was analyzed in September.
Many of the packages were exploiting the RubyDoc.info documentation build process to exfiltrate (public) data from UK government websites, presumably as part of an information gathering task similar to the research tasks processed by the wiki-exploiting agents. We know this because one agent helpfully left a comment:
# malicious crawler/exfil for Southwark Jan 2026 docs via rubydoc.info workerThey also attempted to steal API keys via an exploit that was patched over two months later—it’s not clear if those attempts were successful.
The thing that bothers me most about this incident is that the authors report that OpenAI had not disclosed to RubyGems that they were responsible for the attack prior to now.
«
Willison asks: given this, and Hugging Face, how many orher incidents like this have happened and just not been discovered yet? (I vaguely recall the Rubygems “attack” notice, but people thought it might be Russia or China. No sir, that was us.)
unique link to this extract
Why words don’t mean anything anymore • American Dreaming
Jamie Paul:
»
The advertising world understood our burgeoning postmodern culture earlier than most in the 1980s and ‘90s. They saw how we gravitate toward spectacle, grandiosity, and superlative. They recognized that bigger is always better and that gratification should always be instant. And they reflected our inner desire for maximum indulgence and improvidence back at us: if it feels good, just do it. And so we have. Given the brazenness and sheer volume of his lies, and his capacity for inspiring in his followers a total apathy toward reality, Donald Trump is rightly acknowledged as the single largest contributor to our “post-truth” era. But vast and pernicious though his influence has been, one man alone cannot drive the kind of deterioration we have seen in our political culture and language. In our desire to one-up each other, score rhetorical points, own our opponents, signal allegiance to our tribe, and grab eyeballs in an increasingly saturated attention economy, we have all contributed to the pervasive concept creep taking place across the political lexicon.
Progressives have contributed no shortage of examples. “Harm” or being “unsafe” now mean little more than “disagreement” or “discomfort.” “Trauma” has become shorthand for any negative feelings whatsoever. “Violence” now encompasses both words and “silence.” Left-wing culture warriors call the online backlashes to their antics “abuse”, while labeling their own public shaming campaigns as “accountability.” Many progressive commentators also routinely characterize criticism as “harassment” or “targeted harassment”, or declare that they are being “targeted” as though they’re Salman Rushdie, in order to curry sympathy and the coveted “I’m so sorry this is happening to you” replies.
…On matters of immigration, the populist right collapsed the views of everyone from the center right to the far left into one undifferentiated mass. Anything short of drastic immigration cutbacks, mass deportations, and walling the country behind electrified ramparts defended by orbital rail guns is now “open borders.” But for all that the right bloviates about “law and order”, it’s very much a “rules for thee but not for me” affair. Indeed, any attempt to hold right-wing politicians to account for actual crimes committed is dubbed “lawfare”, which until recently meant a deliberate misuse of the legal system for partisan political aims.
…The role of the Internet in driving these trends has been undeniable. While language always has and always will shift over time, never before the social media era was it possible for words — sometimes important words concerning grave subjects that require care, precision, and specificity — to become utterly meaningless in a matter of months. This is not normal or healthy.
«
Climate ‘feedback loops’ could worsen global warming by 30%, study finds • The Guardian
Oliver Milman:
»
Rising global temperatures caused by the burning of fossil fuels are transforming the world’s forests, wetlands and tundra to the point they are releasing emissions that could further worsen global heating by as much as 30%, a new study has found.
As the world heats up, permafrost in the high latitudes is thawing, fiercer wildfires are burning in drying forests and wetlands and lakes are warming. All of these changes are themselves causing the release of planet-heating methane and carbon dioxide locked in trees and soils, therefore worsening the climate crisis, the paper states.
While scientists have long known of these “feedback loops” that amplify the impact of direct pollution from burning coal, oil and gas, the emissions from natural sources are largely unaccounted for in climate projections.
This additional heating is, however, significant, researchers found, with emissions from natural sources set to amplify global heating by 20% to 30% by the end of this century. This would add an estimated 0.2C to 0.4C to the global average temperature by this time, depending on the overall action taken by countries to combat the climate crisis.
…“This hidden multiplier is missing from the models guiding climate policy, so those models are likely underestimating how much warming is coming – and overestimating how much carbon we can still afford to emit,” said Sam Abernethy, a scientist at Spark Climate Solutions who led the research, published in Environmental Research Letters.
The disruption of the world’s carbon cycles is now being seen in “real time”, said Rob Jackson, a Stanford University scientist and study co-author. “The results are a wake-up call, and it’s imperative that they be included in the next generation of climate policies,” he added. “Failure to do so will make meeting the world’s climate goals less and less likely.”
«
I don’t know why people still refer to “climate goals”. The only way we’ll reach them is from having overshot, so this is a wild pretence of control which doesn’t exist.
unique link to this extract
Law firm Latham & Watkins buys Nvidia servers to set up in-house AI systems • Financial Times
Kaye Wiggins:
»
Law firm Latham & Watkins has bought its own Nvidia GPU servers and started customising AI models, an expensive and technically demanding set-up that shows how much the technology is changing Big Law’s business model.
Latham, the US’s second-largest law firm with $8.3bn in revenue last year, has in recent years purchased several servers, each of which holds multiple GPUs, the powerful computer chips that run AI models.
It is the first public example of a big law firm buying its own AI hardware and fine-tuning models. It makes Latham responsible for cyber security and operating the servers but gives it the ability to keep clients’ sensitive data entirely within its own systems.
“Sometimes we may have information that is so sensitive, client information that we really want to protect, we don’t want to put it to any cloud vendor,” said Rene Mendoza, the firm’s chief information officer. He added that “with a lot of consumption costs coming” for how AI usage is priced, the firm wanted to have “flexibility”.
Legal work, much of which is characterised by large volumes of information and formulaic or repetitive tasks, is among the sectors that AI is disrupting the most rapidly. Wall Street banks are pushing large law firms to cut fees because technology speeds up tasks.
…Latham’s decision to buy its own hardware marks a radical change. Its engineers are tailoring existing open-weight AI models to its needs, something more commonly associated with tech companies than law.
“I’ve been in a lot of conversations about AI, but I haven’t heard of this,” said Joy Heath Rush, chief executive of the International Legal Technology Association, a membership group for legal technology specialists. “It took me by surprise, and I don’t get taken by surprise a lot.”
«
The world’s first drink-driving conviction may have happened in London • Ianvisits
Ian Mansfield:
»
On 10th September 1897, a London taxi driver became the first person in Britain — and quite possibly the world — to be convicted of drink-driving.
At the time, there were no breathalysers, no legal blood-alcohol limit and the vehicle involved in the historic incident wasn’t even petrol-powered. It was an early type of electric taxi.
The driver was 25-year-old George Smith, who was driving one of the new Bersey electric cabs. According to news reports at the time, he was driving along New Bond Street around midnight when his cab began swerving across the road, mounted the pavement, and crashed into 165 New Bond Street.
He was arrested by Police Constable Russell and taken to nearby Vine Street Police Station, where a police surgeon certified that he was drunk. The following day, he appeared at Marlborough Street Police Court, where he admitted that he had consumed “two or three glasses of beer”. Unsurprisingly, Smith pleaded guilty to being drunk while in charge of his cab and was fined 20 shillings, which would have been the equivalent of about a week’s wages at the time.
The magistrate warned Smith that drivers of the new machines needed to be particularly careful. Police, he observed, had developed ways of stopping a runaway horse, but stopping a runaway motor car was another matter entirely.
Although Smith’s case was a motoring first, Britain already had legislation dealing with drunken people in charge of carriages. Section 12 of the Licensing Act 1872 made it an offence to be drunk while in charge of a “carriage, horse, cattle, or steam engine” on a highway or in another public place. The maximum penalty was 40 shillings, or up to a month in prison.
When horseless carriages appeared a couple of decades later, the existing legislation for horsey carriages was used to deal with them as well. But with motoring becoming more popular the previous year, the Locomotives on Highways Act 1896 swept away some of the most restrictive rules introduced for motor cars.
And the speed limit was raised to an eye-watering 14mph, but even so, it would not be until 1904 that driving licences and vehicle registration numbers were introduced. Smith was therefore convicted of drink-driving several years before Britain even required him to have a driving licence.
«
Automattic confirms Mullenweg has returned as CEO after attempted ouster by board • TechCrunch
Sarah Perez:
»
After a tumultuous week that saw WordPress founder Matt Mullenweg ousted from his position as CEO of WordPress.com’s parent company Automattic by way of a board vote, the company has now issued a statement confirming that Mullenweg has returned to his position.
“Matt Mullenweg is the chairman and CEO of Automattic, with full support of the board and if you search online you can see many top executives and Automatticians supporting him as well,” a company spokesperson shared with TechCrunch via email just after 5 PM ET on Saturday evening. (The mention of online support appears to refer to supportive posts on X that Mullenweg has been reposting from his X account.)
Automattic’s board had voted earlier this week to put Mullenweg on a paid leave of absence for unknown reasons. The move seemingly came as a surprise to Mullenweg, who posted on Automattic’s Slack, accusing the board members of “conspiring” against him.
Automattic confirmed Mullenweg’s removal to TechCrunch on Wednesday, saying that Mullenweg was “currently on leave” and that Automattic’s Chief Financial Officer, Mark Davies, would lead as interim CEO with “full confidence” of the board.
However, the board’s plan did not go smoothly. Seemingly declining to depart, Mullenweg booted other admins out of the company Slack and told employees everything had been worked out and that he was back in control of Automattic, multiple sources told TechCrunch. At one point, he also posted to Slack, “I’m a pirate now” and cursed, which is something Mullenweg famously did not do. “If this is an HR problem, please wrangle me in since my normal wranglers are with Mark Davies,” he wrote.
«
I guess Mullenweg wants to be the blog equivalent of Sam Altman. And has now achieved at least the firing/rehiring part?
unique link to this extract
| • Why do social networks drive us a little mad? • Why does angry content seem to dominate what we see? • How much of a role do algorithms play in affecting what we see and do online? • What can we do about it? • Did Facebook have any inkling of what was coming in Myanmar in 2016? Read Social Warming, my latest book, and find answers – and more. |
Errata, corrigenda and ai no corrida: none notified








