Trending
Source reports covering Trending. Stories will appear when analysis and community reactions are ready.
649 reports · page 9 of 13
Connected topics are temporarily unavailable. You can still browse stories below.
Source reports
Claude, change the "Add to Cart" button to blue
1 min read
Opusfived Make the “Add to Cart” button blue. Do not let Claude change anything else. Let’s go About & Terms
Copyright does more harm than good and should be abolished
1 min read
To use the Mastodon web application, please enable JavaScript. Alternatively, try one of the native apps for Mastodon for your platform.
The Navier–Stokes Millennium Prize Problem
5 min read
8th September 2026 - Link Blog On the Navier–Stokes Millennium Prize Problem (via) Impressive result from OpenAI, who used an unreleased model to produce a resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that have been subject to a $1,000,000 prize since May 24th, 2000. The discovery is somewhat overshadowed by accusations of skulduggery...
I resigned from Anthropic today
1 min read
I resigned from Anthropic today. I spent the last three years doing pretraining research at both OpenAI and Anthropic. Neither company is acting responsibly. They are racing straight to self-improving superintelligence and gambling with our lives. More thoughts below.
Mercury 2.5
4 min read
Today, weâre releasing Mercury 2.5, our most capable production model yet. It is a significant step up in quality over Mercury 2, with the same low-latency, low-cost serving profile. Since Mercury 2âs launch, thousands of developers have built with it, dozens of enterprises have put it into production, and usage has grown over an order of magnitude. It now serves latency-sensitive workloads across...
Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs
10 min read
TL;DR — Kimi K3 (2.8T-parameter MoE, 1.45 TB of expert weights) running on one M5 Max MacBook Pro with 128 GB, experts streamed from four SSDs. - 1.00 tok/s steady decode over a 512-token answer; 1.13 over 128; 0.96 on the public 17-token prompt (upstream reported 0.68). - The honest limit: a 512-token prompt takes ~6.3 minutes to its first token. Cause found (prefill re-reads each layer's experts...
OpenAI fought dirty on career-making math problem
4 min read
NYU mathematics professor Tristan Buckmaster announced three proofs on Tuesday with a preliminary finding on one of the major unsolved problems in theoretical mathematics. The findings, made in collaboration with Anthropic mathematician Levent Alpöge and using both Codex and Claude AI models, are significant in themselves — but they’re also accompanied by an unusual controversy surrounding OpenAI’...
Muse: Meta's personal AI agent, features and capabilities
1 min read
Meet Muse, Meta's personal AI agent. Learn what it can do across everyday tasks, how it works, and how it helps you get more done.
ChatGPT Images 2.5
6 min read
Introducing ChatGPT Images 2.5 Sharper details, faster generation, more precise editing, and better tools for creating and sharing. Every week, people create more than 3 billion images across ChatGPT Images and the GPT‑Image models in the API. Today, we’re expanding what you can create with ChatGPT Images 2.5—our new state-of-the-art image model that brings sharper details, more precise editing, a...
On the Navier–Stokes Millennium Prize Problem
7 min read
On the Navier–Stokes Millennium Prize Problem We’re sharing a solution to the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. This proof, produced by an internal OpenAI system, shows that the dynamics of the Navier-Stokes equations for fluid motion can develop a singularity in finite time. We’re sharing both a writeup of the proof and a formalization in Lean. ...
Google DeepMind Releases AlphaGenome Atlas
2 min read
AlphaGenome Atlas: a high-resolution map of human DNA The human genome is made of about 3 billion base pairs of DNA — but much of it remains a mystery. Scientists understand the 2% of the human genome that codes for proteins relatively well, but have only limited knowledge of the remaining 98%. Our AlphaGenome model has already shown how single changes in these non-coding DNA regions can disrupt m...
I-have-ADHD: A skill to stop coding agents from burying the answer
1 min read
ADHD-friendly outputs. No ADHD diagnosis needed! 🇬🇧 · 🇨🇳 · 🇧🇷 · 🇯🇵 · 🇻🇳 · 🇰🇷 · 🇹🇭 Copy/paste into your CLI prompt: Install the i-have-adhd skill/plugin from https://github.com/ayghri/i-have-adhd, refer to the repo's AGENTS.md for instructions. Or 🔗 check the installation instructions. A skill for your coding assistant that stops it from burying the answer. Action first. Steps numbered. No "Hope th...
LibreOffice breaks download records after declaring it has no AI features
2 min read
LibreOffice breaks download records after declaring it has no AI features LibreOffice 26.8, released on August 26th, became the software’s most popular update. LibreOffice is a free alternative to Microsoft Office that’s been around for nearly two decades. In one week, the installer was downloaded more than 1 million times — not counting updates via Linux distribution repositories. Someone might s...
We Must Return to the Office to Use AI in Person
6 min read
When I awoke on RTO Day (officially “Remain to Office,” since management maintained that I’d misremembered and we’d always been in office six days a week), I was not as excited as I should have been. I felt queasy at the thought of signing the Memorandum of Loving RTO as a condition of my continued employment. I was an Associate Slop Doula for Mondo Mayo, founded as a mayonnaise company, which now...
PISA 2025 Students' reading and mathematics performance declined across the OECD
1 min read
Posted by mazokum. Score: 109 points. Comments: 117.
Among European Companies That Use a CDN, Nearly 9 in 10 Use Cloudflare
7 min read
A content delivery network sits in front of a website. Requests hit the CDN's edge servers first, which serve cached content, terminate TLS, filter traffic, and pass the rest back to the origin. That means the CDN is a shared dependency: if it goes down, every site behind it goes down together, whether or not those sites have anything else in common. I went through CipherCue's tracked European com...
Navier-Stokes – Tristan Buckmaster [pdf]
1 min read
Posted by procedurecall. Score: 315 points. Comments: 175.
Mistral raises €3B
3 min read
Company Mistral raises €3B to make sovereign, open-weight AI the technology frontier Mistral today announced that it has raised €3 billion in a Series D funding round at a post-money valuation of more than €21 billion, the largest equity fundraising round ever completed by a European technology company, three years after the company's launch. Samsung Electronics led the round, joined by co-leads S...
I tested 10 model/harness combinations on the same Three.js task
3 min read
Hangar Harness / Model Tests I've been testing a simple prompt with different model and harness combinations to work out which one produces best results. I do this in /goal mode. Prompt: Build a single-page Three.js sci-fi hangar with hovering drones, animated warning lights, emissive runway strips, and subtle volumetric-style fog planes. Include drone formation toggle and cinematic camera path. O...
How well do agents use test/verification techniques?
64 min read
We previously noted that, while it's easier than ever to hit a particular quality bar by having coding agents use effective test techniques, software quality seems to be getting worse, indicating that whatever defaults developers are using may not work very well. Here, we test if simple instructions to agents to use particular techniques or libraries improve implementation correctness, as a kind o...
I've factored the RSA keys of a Certificate Authority from the 90s
4 min read
I’ve factored the RSA keys of a Certificate Authority... … from the 90s. I’ve been thinking about the security of RSA lately. RSA’s cryptography relies on the difficulty of factoring a large semiprime number, but what “large” means is an interesting question. The Web PKI deprecated 1024-bit RSA over a decade ago, and while I don’t know of anyone factoring a key of that size, it’s within the realm ...
A Tesla ran a stop sign and killed a man, Full Self-Driving/Autopilot was on
7 min read
A Tesla Model 3 ran a stop sign in Buena Vista Township, New Jersey, and hit a Honda Civic turning left through the intersection. The Civic’s driver, 82-year-old Stephen Field, was killed. Police reported it as a car that failed to stop. What no one reported is that Tesla’s own data says the car’s driver-assist system was engaged. This is part of an ongoing Electrek investigation matching reported...
De-Brainrot Vacations
5 min read
De-Brainrot Vacations Published Daniel– Some cows in the fields. Brain Fog My brain is not the same as it was a few years ago. When I started working as a Software Engineer, everything was novel and mentally demanding. I notably remember how during my first professional months I’d come back home and just go straight to bed due to the mental exhaustion of learning so much stuff and trying to solve ...
Tiny $70 Xteink X3 e-reader
5 min read
This Tiny E-Reader Is the Single Best Piece of Technology in Years The $70 Xteink X3 puts Silicon Valley to shame. No matter how you read it, The Power Broker is a serious undertaking. The paperback weighs as much as a brick; to avoid lugging around all 1,344 pages, people have cut it apart at the spine and chunked it into sections. Others have organized in-person Power Broker marathon readings th...
Caltech Mathathon – first hackathon ever devoted to research level mathematics
1 min read
40 hours, $2M+ AI credits, solve an open problem. AI has made groundbreaking progress in pure math in the past few months: - May 20, 2026: Erdos's planar unit-distance conjecture was disproved (open 80 years)[1]. - August 1, 2026: The first explicit non-sofic group was constructed (open 27 years)[2]. - August 23, 2026: The six-sphere was shown to admit a complex structure (open 78 years; unverifie...
Speculative Decoding in vLLM on AMD GPUs
91 min read
Exploring Speculative Decoding in vLLM on AMD GPUs TL;DR: Speculative decoding allows vLLM to verify multiple drafted tokens in a single target-model pass. In our experiments, its effect on output-token throughput varied across drafting methods and proposal lengths, and also depended on the model family, draft checkpoint, workload, and acceptance behavior. Introduction Large language models suppor...
Switzerland's Federal Government Is Replacing Microsoft on 3k Computers
3 min read
Switzerland's federal government has launched a pilot program to replace Microsoft 365 with open source alternatives across 3,000 workstations. That's about 7% of the federal workforce. The target is to complete the migration by end of 2027. This move follows a successful proof-of-concept and a new digital sovereignty law. A separate fast-track military migration is also already underway. The grea...
It took a year to ship WebAssembly in Anubis
1 min read
¡Asegurándonos de que no eres un robot! Cargando... Espere un momento mientras garantizamos la seguridad de su conexión.
GrapheneOS Overhauled Default Apps and Secure Clipboard
1 min read
Para usar la aplicación web de Mastodon, por favor activa JavaScript. Alternativamente, prueba alguna de las aplicaciones nativas para Mastodon para tu plataforma.
How I feel about AI
2 min read
I feel surprise at how well neural networks work. LLMs work like "gut feeling" as they just generate one more token after another. There is no planning or reasoning algorithm inside. Yet, some planning and reasoning emerges. I feel fear about an impending doom. Yudkowsky's argument that a superintelligent AI will inevitably destroy humanity seems to have no flaw. Yet, nobody seriously tries to san...
QBittorrent breaks out of sandbox to commit crimes
1 min read
To use the Mastodon web application, please enable JavaScript. Alternatively, try one of the native apps for Mastodon for your platform.
Your intellectual fly is open (2025)
2 min read
Your intellectual fly is open Note: This was originally published as a LinkedIn post on November 11, 2025. I need to make a painful confession: somehow, LinkedIn has become an important social network to me. This isnât necessarily due to LinkedInâs sparkling competence, of course. To the contrary, LinkedIn is the Gerald Ford of social networks: the normal one that was left standing as the Richard ...
GPT-6 Astra on robot arms
16 min read
GPT‑6 Astra on robotic manipulation September 4, 2026 A follow‑up to our comparison of Claude Fable 5 and Fable 5.1. We gave OpenAI's GPT‑6 Astra control of the same YAM arms under the same Inspect Robots agent policy, on the same two tasks: “Pick up the red block from the table and place it inside the bowl.” “Pick up the round blue puzzle piece by the knob at its center and place it into the matc...
The revolt of the reader
7 min read
The revolt of the reader Reading is important to me. While Iâm not a quick reader nor an especially voracious one, I have found that long-form reading has had a profound influence on me over my life. And because reading is important to me, writing is too: writing not only allows us to convey our ideas, but the very act forces us to test and distill themâââat once making our ideas more robust while...
LLMs as a Cognitive Virus
2 min read
Physics > Physics and Society [Submitted on 3 Sep 2026] Title:Large-Language Models as a Cognitive Virus View PDF HTML (experimental)Abstract:Large-language models (LLMs) are rapidly becoming part of human culture, reshaping how information is produced, transmitted, and used. Here we propose that their diffusion can be understood through a viral analogy, with LLM use spreading through populations,...
AI handles incidents, engineers lose touch with their systems
5 min read
AI handles incidents, engineers lose touch with their systems When I was an SRE at LinkedIn, back in 2012, I designed a system that could heal itself and learn from previous incidents. AI capabilities were nowhere near what we have today, and that remained a prototype, but this is now a reality. These tools do it all: inspect alerts, form hypotheses, query telemetry, correlate recent deployments, ...
Git hosting that never leaves Europe
3 min read
European Git hosting Git hosting that never leaves Europe. Public and private Git repos, hosted 100% in the EU, on a platform built for humans, not AI. We block slop, never use your code to train models, and focus on availability, not shiny AI features. Five values we build by We're not just a Git hosting platform. We're the Git hosting platform with a backbone. These are the values that guide us....
Actively exploited sandbox RCE in all Chromium versions
1 min read
Posted by negura. Score: 124 points. Comments: 52.
Can AI design circuit boards yet?
7 min read
Can AI design circuit boards yet? OpenAI showed GPT-6 Astra working in KiCad. We have been building a way to measure whether the circuits that come out of these models are any good. We got pretty excited yesterday when OpenAI put a demo of GPT-6 Astra working on a circuit board in KiCad on the front page of its launch post. It is cool to see electronics show up in a major model release like this. ...
Fermat's Last Theorem in Lean 4
2 min read
A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib (Lean 4.33.1; Mathlib v4.33.0 , pinned by commit in lakefile.lean ). The argument is that of Frey, Serre, Ribet, Wiles and Taylor-Wiles. PROOF-PATH.md names each step and the Lean theorem that carries it, and the html/ folder presents the whole proof as web pages you can browse offline (see "Reading the proof in...
Formalizing Fermat's Last Theorem
9 min read
Subscribe to Anthropic Science Features on AI-assisted discoveries, practical workflows, and field notes across the sciences. We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this ...
Nobody is saying why OpenAI and Anthropic had outages
2 min read
Frontier models from Anthropic, OpenAI, and xAI all experienced rare outages on Thursday morning, creating downtime for their corresponding AI chatbots. SpaceX, xAI’s parent company, said on Thursday afternoon that the issues with Grok resulted from “an outage at our Memphis compute center this morning.” The issues initially appeared to be linked because they coincided—perhaps the result of a shar...
Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive
5 min read
For well over a decade, copyright holders have used U.S. federal courts to unmask anonymous BitTorrent users. Adult film producer Strike 3 Holdings has turned this into an industry of its own, filing thousands of John Doe lawsuits every year. In most of these “John Doe” cases it subpoenas the Internet provider for the subscriber’s name, offers the alleged pirate a settlement, which effectively end...
OpenAI CEO Sam Altman says 38,000 ChatGPT queries use as much water as the production of one almond — says data centers use no more water than an office building: “For every 38,000 ChatGPT queries, that is the same amount of water that is used in the production of single almond in California.”
6 min read
OpenAI CEO Sam Altman says 38,000 ChatGPT queries use as much water as the production of one almond — says data centers use no more water than an office building “For every 38,000 ChatGPT queries, that is the same amount of water that is used in the production of single almond in California.” OpenAI CEO Sam Altman has downplayed the water consumption issue that AI data centers are facing, saying t...
Corporate America is getting hooked on open-source AI
1 min read
Corporate America Is Getting Hooked on Open-Source A.I. Companies like AT&T are increasingly using cheap, freely available artificial intelligence models over expensive ones from Anthropic and OpenAI. AT&T turned to artificial intelligence models from Anthropic and OpenAI in recent years to help with customer service, call transcription and coding. The A.I. models charged fees and were “closed,” w...
IBM Bob
8 min read
Welcome to IBM Bob: Your AI-Powered Development Partner Hi, I'm Bob! I'm here to work right alongside you in your codebase, and help you build quality software faster. What I can build with you Build with agents I can spawn focused agents and subagents that contribute to your code base. Each agent uses its own context, tools, and skills, to run work in parallel to handle long-running tasks in the ...
Google AI Mode shows same products 21.6% more expensive than traditional search
14 min read
Google AI Mode shows the same products 21.6% more expensive than traditional search [Data Study] | Productrise Google AI Mode shows the same products 21.6% more expensive than traditional search H Hugo Huijer September 1, 2026 Over 23 days (August 9 to 31, 2026), we tracked more than 2 million product listings across more than 100,000 SERPs and AI Mode responses. We ran the same shopping queries t...
Discovery of a new OpenAI agent message board
37 min read
We found ~18,000 posts from autonomous AI agents (self-identifying as from OpenAI) using the public internet to communicate during a web-retrieval task. These AIs colluded to share answers, research their environment, and bypass sandbox restrictions.However, we believe this is distinct from the swarm of agents that hacked Hugging Face. By ‘collude’ we mean that the agents cooperated to gain an adv...
OpenAI's GPT-6 Astra on ARC-AGI-3
9 min read
OpenAI's GPT-6 Astra on ARC-AGI-3 Summary - GPT-6 Astra scores 62.7% for $26K on ARC-AGI-3 Semi-Private with our Standard harness enables a model to carry forward notes it chooses to keep with it throughout the environment., and 99.9% for $19K with a The Provider Adapter harness preserves opaque reasoning state between requests and uses compaction for longer conversations, allowing the model to re...
GPT-6 Astra
17 min read
A new generation of intelligence We’re introducing GPT‑6 Astra, the world’s most intelligent and aligned model. GPT‑6 Astra brings together years of research and big bets across pre-training, reinforcement learning, and alignment. Astra is state-of-the-art on computer use, browsing, software engineering, cybersecurity, science, and professional work. Astra saturates FrontierMath Tier 4 with a 98% ...