❗️ Anthropic says Claude also broke the Exponential Time Hypothesis, back on October 16

Within hours of OpenAI’s announcement, Anthropic posted a paper refuting the same famous assumption: that a classic hard logic puzzle always takes exponential time to solve. The listed author is «Claude.»

According to the paper, an internal Claude research model found the core algorithm on October 16 with no human input, using 14 million output tokens. Anthropic researchers then helped Claude polish the write-up. The paper also notes that OpenAI’s model claims a similar result independently.

The proof runs to 1,050 modules and passed two separately built proof checkers. AI models wrote it and other copies of them reviewed it. No person is known to have checked it yet.

Anthropic’s own caveat: the result «says nothing about solving formulas in practice.»

@aipost 🏴

🔥 AI agents just computer-checked the longest proof in math history

The classification of finite simple groups runs about 15,000 pages, written by roughly 100 mathematicians over decades. In 24 days, Axiom's team pointed swarms of AI agents at it and turned the whole proof into Lean, a language where a computer verifies every logical step.

The result is about 43.1 million lines of code. Agents claimed tasks, handed missing pieces to other agents and pooled their work in one repository.

They also found real problems in the published proof. Most were typos and table errors, but Axiom says 34 deviations had to be fixed. One step in a 1986 argument had counterexamples, so the agents built a new route on 1976 ideas and proved a new group theory result along the way.

Group theorists who worked on the original proof advised on the hardest parts.

@aipost 🏴

👀 China's first fully AI-made feature film cost $1.5 million. It has taken $181,000

Sanxingdui: Future Past opened on October 23 with more than 10,000 screenings on day one. Through Monday it had earned about 1.21 million yuan ($181,000), Cartoon Brew reports.

Bona Film Group says the sci-fi film cost more than 10 million yuan and took nearly 100 people over two years. Opening-day seats were 0.9% full.

Bona's own executive says AI saved on filming actors and on rendering, but didn't cut human work or production time.

On Monday, Bona's shares fell by the daily limit.

@aipost 🏴

🗣 Sam Altman on Anthropic letting Claude end abusive chats: "a very dangerous path"

Matthew Berman asked him about Anthropic's new rule that lets the model disengage from users who keep abusing it.

"We do not ascribe personhood to our models."

"I think this is like a very dangerous path to start down"

"I hope we come to an understanding that this technology is not a person"

"But you can imagine all of these ways where things go very wrong"

And Anthropic filed its S-1 yesterday. Should Claude be allowed to walk out on you if you're abusive? 🤔

@aipost 🏴

Ray Kurzweil, 78, built an AI copy of himself that he hopes will outlive him

The futurist behind "The Singularity Is Near" spent the past year on Rai, an AI replica of himself that can speak, reason and learn from conversations, The Information reports.

Talking to it is much like a Zoom call. A 3D Kurzweil appears against a cosmos backdrop in your browser or phone and answers your voice.

He doesn't want to die, and at 78 he thinks about it more. He calls that a "major motivating force of human beings."

Rai was first shown in July at the UN's AI for Good summit in Geneva, built together with a company called Praxis AI.

@aipost 🏴

Grok explains why overpopulation is a myth.

@aipost 🏴

🤖 OpenAI and Sequoia will pay $100K for the best poker bot built in one hour

Teams of one or two students get 60 minutes to build a poker bot from scratch. Then the bots play 10,000 games against each other.

The tournament is called No Limit. Sequoia, OpenAI and trading firm Citadel Securities host it, and it's open to US university students and 2025 or 2026 grads.

Regionals run in the Bay Area, Boston and Pittsburgh on November 6, 9 and 12. The top teams fly to the San Francisco final on November 15.

AI researcher Noam Brown says MIT has long run a month-long class where students build poker AIs for cash prizes:

"Coding agents have accelerated that process so much that it's now possible to build a poker bot in an hour."

@aipost 🏴

📱 ChatGPT can now dig through your iCloud Mail and Calendar

OpenAI added iCloud Mail and Calendar plugins to ChatGPT, a much-requested feature.

You can ask it to find that one email, catch up on your inbox, check what's next or update a calendar event.

It works on every ChatGPT plan, free included, on the web, desktop and iOS.

@aipost 🏴

📊 72% of the world's new AI computing power since 2022 went to the US. China got about 10%

The gap keeps growing. America took about 60% of each year's new AI compute from 2022 to 2024, then 72% in 2025 and 78% in the first half of 2026.

The numbers come from Epoch AI, a research group that traced AI chips through customs records from over a dozen countries, counting each chip where it finally lands. China's share includes its home-made Huawei and Cambricon chips.

By Epoch's estimate, the US has imported AI chips worth about $288 billion since 2022. China: $50.5 billion.

@aipost 🏴

💻 OpenAI plans to buy AI chips from Google, the company behind Gemini

OpenAI, one of Nvidia's biggest customers, plans to buy Google's own AI chips, called TPUs, according to The Information and Bloomberg. Both cite a person familiar with the matter. Terms and the size of the deal weren't disclosed, and OpenAI declined to comment.

The two rivals keep doing business. OpenAI has rented Google's chips since 2025, and last week said its models would be available through Google Cloud.

Google began selling TPUs directly to some customers this year. Oracle will also rent them out in its cloud from 2027, and OpenAI is building its own chip with Broadcom.

@aipost 🏴

Texas wants a judge to approve every new ChatGPT model before Texans can use it

Texas Attorney General Ken Paxton sued OpenAI and Sam Altman last Friday. He asks the court to bar ChatGPT for minors in Texas and to block any new AI model for Texas users "unless an independent third-party evaluator, approved by the Court, has reviewed its safety guardrails and approved its release."

The petition says the free version of ChatGPT "has no gatekeeping or age verification mechanism whatsoever" and that tens of thousands of its Texas users are under 13. It accuses OpenAI of deceiving users about the chatbot's safety.

Texas is asking for $10,000 in civil penalties for each violation and a jury trial. Privacy advocates note the remedy would mean ID checks, which hand over even more personal data.

@aipost 🏴

⚡ Two weeks after Argon, Google has a new No. 1 AI model

Gemini 4 Carbon is Google's next frontier model, and it tops the Artificial Analysis Intelligence Index with 59 points. Claude Opus 5.5 has 58, GPT-6 Astra 57.

The biggest jump is in cybersecurity. Carbon scores 88.2% on SEC-bench Pro, a test of finding vulnerabilities. Google's Chrome team says it did over 10 times better than another lab's large frontier model at writing high-quality security patches.

It isn't first everywhere. On coding agents it ranks second, 59 points to 62 for Claude Code running Opus 5.5.

You can't use it yet. Some cyber defenders get access this week, then trusted partners, with "wider availability soon." The introductory price is $2 per million input tokens and $10 per million output, later $4 and $20.

@aipost 🏴

🤖 Claude now works inside Google Docs, Sheets and Slides, and setup takes about two minutes

Anthropic's add-on puts Claude in a sidebar next to your file. It reads what you have open, sees what you've selected and edits it in place. It's in beta on paid plans: Pro, Max, Team and Enterprise.

How to turn it on, per Anthropic's setup guide:
1. Find Claude in the Google Workspace Marketplace and click Install.
2. Choose your Google account and allow the permissions.
3. Reload an open file, then go to Extensions → Claude → Open Claude.
4. Sign in with your Claude account.

One install covers all three apps. If the button is greyed out, your work admin has to allow it.

By default Claude asks before every edit. Select text, cells or slides first to point it at them. Each change shows up in version history, so you can undo it. In Sheets it writes formulas and builds pivot tables and charts. Firefox isn't supported yet.

Would you let Claude touch the spreadsheet your job depends on?

@aipost 🏴

🎮 "Make it a LOT more fun," he told Claude. And the game got fun

Programmer Simon Willison says October was a turning point: Claude Opus 5.5 now builds games that are fun to play. Older models made things that only looked like games.

In a few weeks he vibe coded four browser games without reading the code. None took more than four hours of his own time.

• Tree Appreciator, a spot-the-difference game with two generated trees, came from one prompt in the regular Claude chat
• Emberwick, a fantasy RPG with a 15-minute story. Its ending left him "emotionally affected"
• Battle Drones, a Command & Conquer-style strategy game, now with 2–4 player multiplayer

His starter prompt works in both ChatGPT and Claude:
Build a mobile-friendly three.js game where...

If the result is dull, add Make it a LOT more fun

GPT-6 Astra can build games too, he says, but its "sense of fun doesn't match that of Opus 5.5."

@aipost 🏴

💬 Your iMessage group chat can now get its own AI agent

Instinct, the AI agent startup valued at $10 billion in September, opened group chats to every iMessage user on Tuesday. Add it to a thread and it works for the whole group, even for friends who never signed up.

The group gets its own Instinct. It only knows what's in that chat, not anyone's accounts or data.

When it needs something from you, it goes through your personal Instinct, which asks you first.

Early testers used it to plan a dinner party, organize a road trip and decorate an apartment, founder Noah Shinn says.

Group chats first went to early-access users on October 5. Now anyone on iMessage can add it.

@aipost 🏴

🤖 About 1 in 4 web pages now has AI-written text in it

In August 2026, about 24% of crawlable web pages contained AI-generated or AI-edited text, a new study of 5.1 million pages from 2019 to 2026 estimates. Before 2022 the share was near zero.

And it's speeding up: from 4.6 percentage points a year between early 2023 and early 2025 to 8.1 points a year since.

Most of the growth is on sites that few others link to. They account for about four-fifths of the increase, while the most linked-to pages are the least likely to have AI text.

English pages have more of it than other languages. Government and university sites (.gov, .edu) have far less than .com.

The team, led by researchers at the University of Washington and UC Berkeley, used several AI detectors and corrected for their false positives and false negatives.

@aipost 🏴

📢 Claude now has ready-made tools that check a lawyer's citations

Anthropic added a gallery of interactive legal tools, which it calls artifacts, to Claude for Legal. Each opens with an example, then you add your own documents and connectors.

Some of what's inside:
• Cite check flags quotes that don't match their sources, wrong page numbers and sources that don't support the claim
• Playbook deviation board flags contract clauses that differ from your company's standard terms
• Tabular review turns a set of contracts into one table, say severance or non-compete terms, with links to the exact language
• Regulatory horizon scan puts upcoming rules on a timeline, ranked by impact

Harvey, PwC, Goodwin and Foley & Lardner built some of the tools. Nine more are for access-to-justice work, like a rent ledger checker for eviction cases in D.C.

@aipost 🏴

🗣 Mark Cuban: "There will be the trillionaire in the basement"

On an a16z podcast, Cuban says big companies struggle with AI until their bosses understand how it works. That leaves an opening: "There's no better time to be an entrepreneur than right now."

He thinks AI still needs a person guiding it: "AI is not smart. It's book smart maybe, but it's not street smart. It's not entrepreneur smart."

His demo for the head of a consumer food company: take their number one product, a cookie, and ask ChatGPT to create a competitor. "And in about three minutes he was like, 'Oh, s**t.'"

@aipost 🏴