Article archive
Browse individual source reports, including coverage still awaiting the summary or community analysis needed for our story feed.
5,342 articles · page 9 of 107
Browse topics
OpenAI, the Partition Principle, and Mathematics
6 min read
OpenAI, the Partition Principle, and mathematics There are no comments on this post.By the time I got out of bed yesterday, I had three people ask me if I'd seen the OpenAI announcement that the Partition Principle does not imply the Axiom of Choice. The number kept increasing during the day, and I can see why. I am famously interested in this problem. Indeed, at least two people asked if I plan o...
AI-ready biological data: $1.8B global commitment
6 min read
REDWOOD CITY, CA, October 7, 2026 — Biohub, the U.S. Department of Energy, the National Institutes of Health, and new funding partners today announced a major expansion of an international effort to generate and make accessible the data enabling predictive AI models of biology. Together, the organizations are investing $1.8 billion in funding, data, computation, and new measurement technology, the...
Vitalik Buterin backs crypto ‘bunker mode’ amid rapid AI math advances
3 min read
Vitalik Buterin backs crypto ‘bunker mode’ amid rapid AI math advances Ethereum researchers say crypto users should consider an orderly migration of funds to fresh addresses, warning AI could threaten private-key security before quantum computers do. Ethereum co-founder Vitalik Buterin has backed a new warning that advances in artificial intelligence could undermine the cryptography used in today’...
Anthropic bans 'abusive or cruel behavior' towards Claude
4 min read
Anthropic is making changes to its usage policy for the first time in over a year to reflect new and high-risk cases of misuse — including election interference, weapons development, surveillance, and health and financial uses. But one of the most significant changes prohibits “sustained and needless abusive or cruel behavior” toward Claude. Anthropic bans ‘abusive or cruel behavior’ toward Claude...
Whistle: Speech to Text in 16.9 MB
5 min read
Today we release Whistle, a speech recognition model for mobiles, wearables, robots, smart home, automotive and microcontrollers. It is one 16.9 MB file, runs on the CPU with no dependencies, and loads into the same C++ engine as Needle, from the same container and the same quantisation. Whistle does three jobs, all of them on the device: - Transcription. 16 kHz mono audio, up to 30 seconds in one...
Trump says anyone who uses the phrase "artificial intelligence" is "the enemy"
1 min read
United States President Donald Trump declared on Thursday that, in light of the White House branding
OpenAI annualised revenues $20B less than previously signalled
1 min read
OpenAI annualised revenues $20bn less than previously signalled Save over 40% on Standard Digital was $540 now $299 for your first year.Save now on essential digital access to trusted FT journalism on any device. Savings based on annualised monthly price. Explore more offers. Trial Then $75 per month. Complete digital access with exclusive insights and industry deep dives on any device. Cancel any...
Trump administration is suspending Microsoft from a green card program
5 min read
The Trump administration is suspending Microsoft from a green card program, alleging fraud The Trump administration is suspending Microsoft from a green card program, alleging fraud WASHINGTON (AP) — President Donald Trump’s administration is suspending tech giant Microsoft from a program to apply for green cards for workers who come to the U.S. to live and work using H-1B visas as it accuses the ...
Orkut.com
1 min read
orkut.com Deutsch English Español Eesti Français Italiano 日本語 Português Türkçe
Sub-1-Bit LLM Compression via Latent Factorization
3 min read
Official implementation of LittleBit (NeurIPS 2025) and LittleBit-2 (ICML 2026). LittleBit-2: Maximizing the Spectral Energy Gain in Sub-1-Bit LLMs via Latent Geometry Alignment (ICML 2026) Banseok Lee, Youngmin Kim LittleBit: Ultra Low-Bit Quantization via Latent Factorization (NeurIPS 2025) Banseok Lee*, Dongkyu Kim*, Youngcheon You, Youngmin Kim LittleBit compresses large language models into t...
I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
3 min read
GPT-6 Astra was a jump when it comes to puzzles. Claude Opus 5.5 is a jump when it comes to design. Vibe designing Even local models can make a competent landing page for a shop. Doing interactive visualization is a different tier. Since I am into creating data visualizations and explorable explanations, LLMs were both a blessing and a curse. Then for a moment I was happy-ish with GPT-6 Astra. My ...
Yes, and
11 min read
Yes, and... Carson GrossI teach computer science at Montana State University. I am the father of three sons who all know I am a computer programmer and one of whom, at least, has expressed interest in the field. I love computer programming and try to communicate that love to my sons, the students in my classes and anyone else who will listen. A question I am increasingly getting from relatives, fr...
OpenAI Withdraws 3 Math Papers
2 min read
For any withdrawn papers, their README files explain the gap and link to the retracted manuscript. For any updated papers, previously published editions remain accessible through the version notes in their README. Withdrawals In “Algebraicity of Weil classes on split abelian eightfolds” a sign error invalidates a stabilization-trace cancellation argument and the construction used by two dependent ...
I think I found a planet nobody knew existed. I used Claude Code to find it
1 min read
Posted by pyduan. Score: 67 points. Comments: 21.
OpenAI withdraws three mathematical results
1 min read
Dan Roberts on X: "We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice. https://t.co/HI6otY2NTO" We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The re...
Terence Tao Responds to the OpenAI Math Drop
1 min read
To use the Mastodon web application, please enable JavaScript. Alternatively, try one of the native apps for Mastodon for your platform.
A 100x faster* alternative to homebrew
12 min read
curl -fsSL https://zerobrew.rs/install | bash The installer updates your shell config. After it finishes, restart your terminal or run the source command it prints. Or via Homebrew: brew install zerobrewhq/zerobrew/zerobrew If you used the standalone installer, rerun it: curl -fsSL https://zerobrew.rs/install | bash zb --version If you installed with Homebrew: brew update && brew upgrade zerobrew ...
US man given prison sentence for bot-farming music streams
2 min read
A North Carolina man has been sentenced to 18 months in prison for collecting millions in royalties from bot-farming streams of AI-generated songs. The US Justice Department announced the sentencing of 54-year-old Michael Smith (pictured above) in a press release yesterday (6 October). He was sentenced for one count of conspiracy to commit wire fraud having pleaded guilty in court in March of this...
Port of the TypeScript compiler, checker and lsp to Rust, by LLM
9 min read
I wanted to see if LLMs could port the TypeScript compiler, checker and lsp to Rust. Turns out they can. It cost over $420,000 in tokens to do it, but you could probably have done it for ~$20k (see below) - Test model capabilities - Make a fast TypeScript type checker - Make a ts checker that can work in WASM with high performance - Memes This is an early release. It has 100% compatibility in ever...
Why isn't the industry freaking out about DeepSeek 4.1 Flash?
3 min read
Why Isn't The Industry Freaking Out About DeepSeek 4.1 Flash? I have been using DeepSeek 4.1 Flash for about a month, heavily, across a dozen projects. It is super capable, and orders of magnitude cheaper than the "frontier" models. When I'm mid-session, if I don't look at the model name, I honestly could not tell you if I'm using DeepSeek or Opus. Whether it's our conversations, the work, or the ...
The Mathocalypse
11 min read
The Mathocalypse Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: “mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on for your whole career! OOF!” While my son was being a brat, he also wasn’t wrong. Whether you’re thrilled, depressed, angry, or whatever else about it, yesterday was surely one of the biggest ...
Meta and Microsoft take steps to reduce employee usage of Claude AI
3 min read
Meta and Microsoft have commenced a significant reduction in employee utilization of Anthropic’s Claude AI as they pivot towards their own proprietary coding instruments, as reported on October 5 by The Information. This strategic alteration prioritizes internal expenditure and workforce processes, rather than discontinuing customer access to Claude through Microsoft’s offerings. This transition u...
Claude Haiku 5.5
6 min read
Introducing Claude Haiku 5.5: the cheapest, fastest, and most capable small model we’ve ever released. Claude Haiku 5.5 is designed for high-volume, cost-sensitive tasks. It reliably handles quick and repetitive workloads (like summaries, compactions, database queries, and classification requests). It pairs well with Opus 5.5 and Sonnet 5.5 as a subagent on coding work. And, since it’s also our fa...
GPT‑6 and Intelligent UI for everyone
6 min read
Last month we introduced the first GPT‑6 models for paid customers and today we're bringing that next generation of intelligence to more people with a new GPT‑6 model built for more than 1.2 billion people who use ChatGPT each week. GPT‑6 in ChatGPT introduces Intelligent UI, a new capability that allows ChatGPT to answer quickly with fully interactive user interfaces that make everyday answers mo...
Docker Agent
2 min read
Build, run, and share AI agents with a declarative YAML config, rich tool ecosystem, and multi-agent orchestration. docker-agent lets you create and run intelligent AI agents that collaborate to solve complex problems — no code required. docker-agent is a docker CLI plugin and can be run with docker agent . Define agents in YAML, give them tools, and let them work. agents: root: model: openai/gpt-...
Study: Claude, ChatGPT Offer Different Shopping Prices Based on Wealth
1 min read
Study Shows AI Chatbots Offer the Rich Higher Price Recommendations Research on how Claude and ChatGPT act as shopping assistants could lead to more regulation calls. This article is for subscribers only. Welcome to Tech In Depth, our daily newsletter about the business of tech from Bloomberg’s journalists around the world. Today, Jacob Reid, our UK policy reporter, looks at a revealing study abou...
Navier–Stokes Lost in Translation
2 min read
Mathematics > Analysis of PDEs [Submitted on 6 Oct 2026] Title:Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs View PDF HTML (experimental)Abstract:Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navi...
SynthID Detector
1 min read
Posted by ilreb. Score: 64 points. Comments: 59.
AI-assisted proof of optimal packing for 11 squares
2 min read
The complete optimality proof passed verification with native numerical certificates. The completed EvolvingPrograms verification run accepted all 7,920 local Lean modules, and its final audit reports zero admissions. This repository imports those exact proof sources and pinned build configuration from commit 1bf942a7af1ea330e95489d8997deebd4227ca71 . See the verification report for evidence and s...
Anti-patterns in software blogging
10 min read
Anti-Patterns in Software Blogging In software development, we collect anti-patterns to recognize common traits that lead to poor outcomes in our software. I thought it would be helpful to do the same for software blogging, so I’ve catalogued the most frequent mistakes I see from beginner bloggers. - The meandering intro - “The reader knows everything I know except this one thing” - Overreliance o...
Google Playground: Create and play custom games
3 min read
Introducing Playground: Create and play custom games Games are one of the most creative forms of expression, and the gaming community keeps growing. But game creation has historically been limited to a select group of people who have technical experience and knowledge of complex game engines. Today, we’re introducing Playground, an experimental gaming platform that lets you create, play, and share...
Write Like It's 1866: LLMs Relearn Telegraphese
12 min read
Everything below is reproducible — harness, frozen ledgers, one-click notebook: github.com/Travis42/telegraph-test. The Telegraph era, where every word was metered In 1866, sending a message across the new transatlantic cable cost $100 — for ten words1$10 a word, ten-word minimum, roughly $2,600 in today’s money. . That’s real money today; it was serious money then. Telegraph companies charged per...
It may soon be possible to create "mirror life"
1 min read
Science & technology | Through a glass, darkly It may soon be possible to create “mirror life” Such research poses risks for humanity and the planet |7 min read BIOLOGY IS HANDED. In other words, many molecules essential to living organisms come in two distinct forms which, like human hands, are non-identical mirror images of one another. For a lot of those molecules, though, life on Earth employs...
PS5 Jailbreaks Are Escalating at an Unprecedented Pace
2 min read
A game of cat-and-mouse between Sony and hackers is very much underway, as the PS5 has been jailbroken to a massive degree in the past week. Legally we’re walking on thin ice here, but we can report on a new jailbreak which opens up the console, as long as it’s running firmware v7.00 through v13.60. Firmware v13.60 was released in July, so is relatively recent. It means the jailbreak will run on m...
Reasons to Dislike AI Coding
4 min read
Code as Art I covered this before in Art or tool? If you think of software as artistic output then generated software isn’t real because it doesn’t have the creative ineffability that’s a sign of true art. There’s no argument against this one except that the people who want software typically aren’t paying for artworks, they’re paying for outcomes. And the outcomes of using a given artefact are th...
Forever Junior: The Skills AI Can't Develop for You
15 min read
It’s an agentic world. Software engineering is going through an AI revolution we’re all still trying to understand. For years, we’ve been told software engineers are six months from extinction. Some still believe the job is disappearing. Others say it’s simply changing. My experience says it’s the latter. My fear with AI I’ve seen a real shift in priorities for engineers, but the job itself is ver...
Shaders, WebGPU Components for React, Vue, Svelte, Solid, JavaScript and Framer
4 min read
npm install shaders - Why Shaders? - 🧩 Components - 🎨 Design visually, export code - ⌨️ CLI - 🤖 Using Shaders with AI - ⚡️ Shaders Pro - 🧪 Build your own component - 👩🏻⚖️ License - 💎 Contribute - Real WebGPU, declarative API: 200+ effects you drop in as components. Gradients, noise, glass, metal, light, distortions, transitions, blurs, cursor effects. Nest them, blend them, mask them. - A design e...
Strands Decider 2B: a small, open-source, decision model
7 min read
Earlier this year, we announced strands-labs, a place to get hands-on with state-of-the-art approaches to agentic AI. Today, we’re excited to add Strands Decider 2B: a small decision model optimized for fast experimentation, local development, and innovation. Strands decider is one of a new class of decision models or system one models, a type of model that has been gaining a lot of attention sinc...
I hired an illustrator to draw my house. Now it's my Home Assistant dashboard
11 min read
The fireplace flickers, the garden lights glow, and the air conditioner in the bedroom is quietly blowing — not only in my house, but in a hand-drawn picture of it. This is my Home Assistant dashboard, and for the first time, it’s one the whole family actually enjoys using. For the last year I’ve been automating my home with Home Assistant, the open-source smart home platform. I tried to automate ...
Account bans on Reddit
2 min read
Account bans on Reddit I wanted to share my open-source solution on Reddit. I created an account, found a community where people post links to their projects, and posted a link to my GitHub project there. The post was immediately deleted, and my account was banned. It turns out you first need to write normal comments and posts without links to make it seem like you’re a regular user who isn’t tryi...
South Korea says AI agents appear to have been used to hack the country's banks
1 min read
Posted by thoughtpeddler. Score: 62 points. Comments: 11.
State of Devs 2026
2 min read
Start Date July 5, 2026 End Date September 5, 2026 Respondents 5,463 Survey Archive Get Data It is an uncertain time to be a developer. Nearly half of this year's survey respondents had experienced job insecurity and insufficient wages. A quarter had been laid off at some point in their career, and nearly 1 in 10 had been laid off within the last 9 months. Over a quarter anticipated needing to cha...
Integer multiplication below n log n
1 min read
Contribute to openai/math development by creating an account on GitHub.
Sharing AI Progress in Mathematics
2 min read
We’re releasing a broad range of new mathematical results produced by an internal frontier model. As we look to improve how we share results with the math community, we’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study(opens in a new window) to develop best practices, and we have drawn on their advice and public re...
Penguin Mail – open-source Rust email client for Linux with AI
2 min read
Ask your mail a question Press Ctrl+J and ask which sent mail is still waiting on a reply, or what is in your promotions. The assistant reads your mailboxes with the app's own tools and shows each one it ran. Mail and calendar for Linux Gmail, Microsoft and any IMAP or POP3 account, with your calendar and contacts, in one fast app on your own computer. Version 1.0.0. Free software under GPL-3.0-or...
Decisions API is in public beta
6 min read
The Decisions API evaluates text, images, or both and returns typed answers about 10x faster than the Responses API. Get the probability that a condition is true, a choice from a fixed set, or a score against a rubric. Use those answers to classify content, route requests, and prioritize work in your application. Try the Decisions API in the Playground to experiment with questions and inputs befor...
OpenSSH 10.6
330 min read
OpenSSH 10.6 was released on 2026-10-06. It is available from the mirrors listed at https://www.openssh.com/. OpenSSH is a 100% complete SSH protocol 2.0 implementation and includes sftp client and server support. Recently the OpenSSH team have received a large number of security bug reports, many of which are findings from AI models or made with AI assistance. While many AI reports are determined...
Vibecoding Photoshop: Time and pressure
5 min read
I’m sure you’ve seen the argument before: “If anyone can now vibecode their own software, why haven’t we seen any viable replacements for industry standard tools like Photoshop?” And for a while that argument seemed like a solid line of reasoning: you could just point to the continuous absence of viable candidates to prove your point. But it missed two key factors: time and pressure. Sure, ChatGPT...
Berthd
1 min read
Agents that keep working when your laptop sleeps. Berth runs Claude Code, Codex and other coding agents on your own dev boxes. Work with them from your laptop; close it, and they keep going. For Apple silicon and Intel Macs, signed and notarized. Open source. How to get started One line. A worktree, a box, an agent. Press ⌘N and say what you want. Berth makes a worktree on the box you choose and s...
Claude Code’s suggested message feature: I think the real customer is the model
1 min read
Posted by zed_labs_dev. Score: 70 points. Comments: 38.