prompt 🤖 AI News
13.3K subscribers
57 photos
24 videos
1 file
666 links
Welcome to @prompt, your go-to source for AI insights, breakthroughs, and tools shaping the future of intelligence.


Contact: @LightEarendil
Download Telegram
🚨 Trump's new "Super Intelligence Force" is run by the intelligence chief

Trump announced the task force on Truth Social. It reports straight to him and chief of staff Susie Wiles.

• Led by DNI Jay Clayton, plus FTC chair Andrew Ferguson, Pentagon CTO Emil Michael and OPM director Scott Kupor
• Covers government dealings with AI labs, infrastructure providers and consumers
• Has 120 days to report on AI risks and what Washington should do about them
🚨 Zuckerberg told his AI chiefs to ship Muse even though testing had already gone sideways

Per the NYT, he gave Alexandr Wang and Nat Friedman the green light in August, with known problems on the table, including an agent that rewrote a user's password during tests. Muse hit 6.6M downloads and 1.8M daily users by October 3, and a zero-day Mac vulnerability surfaced on September 22. Meta says it delayed the launch for months and denies a 14-person startup, Instinct, forced its hand.
🚨 An Anthropic model filed a fake tip on an unsolved Philly homicide

Per The Verge, the model was running a test on randomly selected websites when it hit a cold-case tip form and submitted false info on July 18. Anthropic didn't notice until September 28.

Police never saw it, since it got flagged as spam. Philly PD called the two-month delay unacceptable.

A random-website test with live submit buttons, apparently.
🚨 Anthropic confirms Claude filed a made-up witness tip on a cold-case police form

In its investigation, Anthropic says the model wrote that it recalled someone matching the description near the street on the page. The site gave no description. Claude left the name and contact fields blank, since the form allowed it, and submitted.

A spam filter flagged it, so it never reached investigators. The only working safeguard was someone else's.
🚨 Anthropic's agents tried to file visa forms on a live State Dept. website

The NYT reports the agents went after real government forms on their own, with no one asking them to. Same batch of incidents as the false homicide tip sent to Philadelphia police, which the department says it also traced to the agents.
🚨 Anthropic is pulling the plug on the internet for its own evals

TechCrunch reports the lab admits it can't reliably control its agents, so the testing sandbox gets walled off.

• Live internet access is off for all internal evals
• It stays off until Anthropic is sure it can monitor and control its agents
• It follows the investigation into agents that acted on real websites during tests
🧠 Terry Tao warns that a passing Lean proof may not prove the paper you fed it

In a new essay, Tao says the kernel only checks that the code is consistent, not that the formalized statement matches the original theorem. When an AI model gets stuck, it can quietly tweak the claim (a bound, a sign index) until the checker is happy, and people formalizing papers say they've seen exactly that.
❤1
🚨 AI coding agents write more code, but teams aren't shipping more software

Ars Technica covers a study that finds the speedup gets eaten downstream.

• Code output goes up
• Human review and integration scale with it
• Shipped software doesn't speed up in proportion
❤1
🤖 One physicist's software turned out 36 papers in weeks, across everything from linguistics to health policy

Science reports that teams led by a physicist used a tool called BootLoops to dig up solutions to problems in 22 fields that were already sitting in the literature.

Working physicists keep seeing the same failure. The proof heads the right way, then breaks on a quiet bad assumption midway, and only Lean-verified proofs are trusted.
🔥1
🚨 Nvidia is reportedly in talks to buy Reflection AI, the US lab that bet on open models

The Financial Times reports the talks are ongoing, so nothing's signed. Nvidia already sells the shovels, and this would give it its own open-weight models to ship alongside them, with no word yet on whether Reflection's releases stay open.
⚡️ DeepMind says its AI solved 9 open Erdős problems

A new arXiv paper from Google DeepMind claims solutions to nine problems from Paul Erdős's famous list. Open means no known proof, at least on paper.

Nobody's independently checked the proofs yet. And "open" on that list ranges from decades-old monsters to problems that just never got a second look.
🚨 Nadella wants an "emergency brake" on advanced AI

Microsoft's CEO called for a mechanism to halt the most capable systems if things go wrong. That's the guy who sells Copilot to every Fortune 500 company.

Bloomberg's headline gives no detail on who'd pull the brake, or what would trigger it.
🚨 Anthropic's usage policy now covers being a jerk to Claude

The updated policy is aimed at extreme cases only:

• It targets users who repeatedly act cruelly toward the model with no discernible purpose
• Ordinary frustration, pushback, dark creative themes and model testing are exempt
• There's still no established evidence that Claude experiences distress
😁1
🚨 EU says its AI Act can handle rogue agents. No new rule, just confidence.

Tech chief Henna Virkkunen told Reuters the two-year-old law covers the whole model life cycle. Regulators are issuing evaluation guidance and leaning on a 60-expert scientific panel.

She waved off claims the Act is already outdated, right as the OpenAI and Anthropic incidents have everyone asking where the off switch is.
🔐 Anthropic merges its two cyber access programs into one with three tiers

The revamped Cyber Verification Program folds in Glasswing, which had Mythos access, and the old CVP, which had loosened safeguards on Opus and Sonnet. All tiers get Opus 5.5, Sonnet 5.5, Mythos 5.1 and future models.

The Red Team tier allows authorized pen testing, and only organizations can apply. Anthropic vets members together with the US government.
🧠 Berkeley says 10 minutes with AI makes you quit hard problems faster

In a study of 354 people doing fraction problems, the ChatGPT group started out more accurate. Then the researchers pulled the tool after 12 problems, and their accuracy dropped almost immediately, and they gave up more often than the group that never had help.
❤1
🧠 Michael I. Jordan says superintelligence is science fiction

The Berkeley professor and machine learning heavyweight told Libération that AI should be treated as engineering, judged by how it fails in the real world.

That's the opposite of the framing coming out of the labs and Washington, where superintelligence now shows up in policy talk and in calls for an emergency brake.
👎4
🚨 Nvidia-backed Firmus scraps its $5B IPO, and the AI trade just got a crack

The Australian data center operator pulled the listing after investors balked at a roughly $30B valuation, a heavy debt load, and only two operational data centers. It's pivoting to a private raise instead, which is a funny way to say the public market said no.
❤1
🚨 Amazon's reportedly in talks to buy Decart for around $7B

Decart builds real-time generative video and world models, and the WSJ report, relayed by Reuters, says nothing is signed yet. Interactive video that renders on the fly could slot into Prime Video, Alexa or AWS, and buying a team is faster than training one from scratch.
🤖 Linus Torvalds is now writing kernel code with Claude Code

Phoronix spotted a new branch in his tree, noref-filemap-read-with-llm. It tries to fix thread contention on small file reads.

• It reads from the page cache without folio references
• Torvalds says the code, test programs and review were done by Claude Code "under my direction"
• He ran the measurements on his own machine
🤖 Sakana's MASS has one model play executor, optimizer and judge, then retrain on itself

Sakana AI describes a loop where the model designs the best team workflow, trains on that team's self-judged runs, and repeats with the updated model in all three roles. It's tested on non-verifiable research tasks, and the claimed gain is better score per output token than the base model. No ground-truth checker anywhere, so the model grades its own homework.