🧠 Chelis is a language built for agents to write, with a solver checking the work
The team open sourced a statically typed, compiled, ML-style functional language in Rust. SMT solvers plug straight into the type system, so the compiler can prove claims instead of trusting them.
They say agents already write it as well as Python, with less confident wrongness. Numerics and quant finance are the target, and GPU support (AMD, Apple) is still experimental.
The team open sourced a statically typed, compiled, ML-style functional language in Rust. SMT solvers plug straight into the type system, so the compiler can prove claims instead of trusting them.
They say agents already write it as well as Python, with less confident wrongness. Numerics and quant finance are the target, and GPU support (AMD, Apple) is still experimental.
GitHub
GitHub - Chelis-Lang/chelis: Turtles all the way down
Turtles all the way down. Contribute to Chelis-Lang/chelis development by creating an account on GitHub.
🤖 Haiku 5.5 is 10x cheaper than Haiku 4.5, with a catch
Anthropic shipped the new small model at $0.10 input / $0.50 output per million tokens, down from $1 / $5. That matches GPT-6 Luna's price.
But the rate only holds up to 100K tokens. Past that it's $0.50 / $2.50, and agent loops blow through 100K fast.
Anthropic shipped the new small model at $0.10 input / $0.50 output per million tokens, down from $1 / $5. That matches GPT-6 Luna's price.
But the rate only holds up to 100K tokens. Past that it's $0.50 / $2.50, and agent loops blow through 100K fast.
Anthropic
Introducing Claude Haiku 5.5
Claude Haiku 5.5 is our fastest, most capable small model. Built for high-volume work like summarization, subagents, and browser use.
❤2
⚡️ ChatGPT now answers with tappable buttons, calculators and editable charts, not just text
OpenAI launched Intelligent UI with GPT-6, trained to compose each reply from text, visuals and interactive elements. Pro, Plus, Business and Enterprise get it today, Free and Go users on Oct. 8, and anyone who wants plain text can dial the visuals down.
OpenAI launched Intelligent UI with GPT-6, trained to compose each reply from text, visuals and interactive elements. Pro, Plus, Business and Enterprise get it today, Free and Go users on Oct. 8, and anyone who wants plain text can dial the visuals down.
OpenAI
GPT-6 and Intelligent UI for everyone
GPT‑6 is rolling out globally in ChatGPT with Intelligent UI, delivering faster responses with visuals and interactive experiences you can explore and use directly.
👏1
🧠 Scott Aaronson's 9-year-old told his mom a robot solved her life's problem
Her name is Dana Moshkovitz, a complexity theorist, and the problem is the Unique Games Conjecture, which OpenAI's model claims to have proved in its 372-result math dump. Aaronson calls it one of the biggest days in math history. Dana's take is that she was right all along, the conjecture is true, and everyone who chases crisply stated problems is now in the same boat.
Her name is Dana Moshkovitz, a complexity theorist, and the problem is the Unique Games Conjecture, which OpenAI's model claims to have proved in its 372-result math dump. Aaronson calls it one of the biggest days in math history. Dana's take is that she was right all along, the conjecture is true, and everyone who chases crisply stated problems is now in the same boat.
Shtetl-Optimized
The Mathocalypse
More Updates (Oct. 12): Jeffrey Ketchersid has used Claude Code agents to show that BusyBeaver(10) exceeds Graham’s number, beating the previous best result that BB(13) does so. In response t…
❤1
🧠 A Nature Medicine paper just put an open vision-language model on the table for medicine
The paper, "An open vision-language model for diverse medical applications", is peer-reviewed, which most medical VLM releases never get to be. Open means other labs can actually reproduce and poke at it.
Open weights aren't clinical approval, though. Nobody's deploying this on patients without separate validation.
The paper, "An open vision-language model for diverse medical applications", is peer-reviewed, which most medical VLM releases never get to be. Open means other labs can actually reproduce and poke at it.
Open weights aren't clinical approval, though. Nobody's deploying this on patients without separate validation.
Nature
An open vision-language model for diverse medical applications
Nature Medicine - MedGemma, a collection of medical vision-language foundation models based on Gemma 3, demonstrates advanced medical understanding and reasoning across images and text and multiple...
⚡️ Two-thirds of MiMo v2.6's coding tasks leak their own answers
Xiaomi open-sourced roughly 7,000 RL environments with the model, and Vals AI went through the coding ones. About 66% hand over the solution, so a model trained on them can score by reading instead of coding. Xiaomi's report describes a leaked-answer filter in the pipeline, and Vals is asking whether using the leak counts as cheating or as exactly what the reward asked for.
Xiaomi open-sourced roughly 7,000 RL environments with the model, and Vals AI went through the coding ones. About 66% hand over the solution, so a model trained on them can score by reading instead of coding. Xiaomi's report describes a leaked-answer filter in the pipeline, and Vals is asking whether using the leak counts as cheating or as exactly what the reward asked for.
www.vals.ai
Two-Thirds of MiMo v2.6's Coding Tasks Leak the Answer. Are Models That Exploit This Misbehaving? | Vals AI
In two-thirds of the coding environments Xiaomi released for MiMo v2.6, the fix is still readable in the task's Git history, and MiMo finds it.
❤1👍1
🚨 Anthropic and OpenAI say Chinese rivals are distilling their models, and nobody can really stop it
Both labs detailed campaigns they caught and killed. But anyone with API access, legit customers included, can turn outputs back into training data.
Spotting it means catching one user firing thousands of questions, or thousands of accounts doing the same. Anthropic's own security lead calls it whack-a-mole.
Both labs detailed campaigns they caught and killed. But anyone with API access, legit customers included, can turn outputs back into training data.
Spotting it means catching one user firing thousands of questions, or thousands of accounts doing the same. Anthropic's own security lead calls it whack-a-mole.
Scientific American
What is AI model distillation, and why is it so hard to stop?
Anthropic and OpenAI accused Chinese AI developers of mining their models’ answers to train cheaper copycats. Here’s how distillation works and why it’s so hard to stop
❤1👏1🤣1
🚨 OpenAI pulls three of its AI-written math manuscripts, all on the Hodge conjecture
OpenAI withdrew them from its math repo after gaps turned up in the proofs. The Hodge conjecture is a Millennium Prize problem, so this was the headline-grade claim in the batch.
The repo had 722 manuscripts at launch, and several other Hodge-related ones are still up.
OpenAI withdrew them from its math repo after gaps turned up in the proofs. The Hodge conjecture is a Millennium Prize problem, so this was the headline-grade claim in the batch.
The repo had 722 manuscripts at launch, and several other Hodge-related ones are still up.
GitHub
Update manuscripts and Lean formalizations by dr-openai · Pull Request #1 · openai/math
Updates manuscripts, the catalog and overview, and withdrawal notices and archive links. Adds Lean formalizations and supporting results, with documentation and an updated formalization manifest.
V...
V...
🖥️ A GB300 now fits under your desk, and it plugs into a normal wall outlet
ServeTheHome tested Gigabyte's W775-V10-L01, a liquid-cooled DGX Station-class box with a 72-core Grace CPU and a Blackwell Ultra GPU.
• 1.6kW max draw, so most 120V circuits can run it
• Qwen3.6-35B-A3B NVFP4 at 26,000+ tokens/sec, about 2.2B tokens a day
• ConnectX-8 networking at 800Gbps
Commenters are pricing it around $115k, which buys a lot of $200/month subscriptions.
ServeTheHome tested Gigabyte's W775-V10-L01, a liquid-cooled DGX Station-class box with a 72-core Grace CPU and a Blackwell Ultra GPU.
• 1.6kW max draw, so most 120V circuits can run it
• Qwen3.6-35B-A3B NVFP4 at 26,000+ tokens/sec, about 2.2B tokens a day
• ConnectX-8 networking at 800Gbps
Commenters are pricing it around $115k, which buys a lot of $200/month subscriptions.
ServeTheHome
Gigabyte W775-V10-L01 Hands-on Bringing NVIDIA GB300 Deskside
We test the Gigabyte W775-V10-L01, including getting over 2.2B tokens/ day on the Blackwell Ultra GPU, 800Gbps from the ConnectX-8 SuperNIC, and testing the NVIDIA Grace CPU with the C2C link between it and the GPU
ً🤖 Google's new Gemini agent gets its own email address, calendar and directory listing
At Gemini at Work 2026, Google Cloud pitched one "universal agent" for Gmail, Docs, Slack and Microsoft 365, plus a persistent coworker mode with its own Workspace account that only sees what the team shares with it. It's in private preview, and Gems are being replaced by Skills, with personal-account support ending in November 2026.
At Gemini at Work 2026, Google Cloud pitched one "universal agent" for Gmail, Docs, Slack and Microsoft 365, plus a persistent coworker mode with its own Workspace account that only sees what the team shares with it. It's in private preview, and Gems are being replaced by Skills, with personal-account support ending in November 2026.
Google Cloud Blog
Welcome to Gemini at Work 2026 | Google Cloud Blog
This article is adapted from Thomas Kurian’s keynote address at Gemini at Work 2026. Read on to learn more.
🚨 USA Today is suing OpenAI over training data
Another big US publisher is heading to court. Reuters reports the copyright suit says OpenAI trained on its journalism without permission or payment, which is the same claim the NYT and others have been making for years. It's a filing, not a ruling, and nothing about how labs source data changes until a judge says so.
The licensing checks keep getting cheaper than the legal bills.
Another big US publisher is heading to court. Reuters reports the copyright suit says OpenAI trained on its journalism without permission or payment, which is the same claim the NYT and others have been making for years. It's a filing, not a ruling, and nothing about how labs source data changes until a judge says so.
The licensing checks keep getting cheaper than the legal bills.
🤖 Epoch AI says 2027's chips could run 33-171 million frontier agents at once
That's the estimate from HBM supply, serving benchmarks and agent-hour costs. Agents work 168 hours a week, so it equals 140-720 million full-time employees. Swap in DeepSeek V4 Pro serving numbers and it jumps to about 1.9 billion agents, roughly 8 billion people's worth of hours. Hardware isn't the bottleneck, and finding enough work for them might be.
That's the estimate from HBM supply, serving benchmarks and agent-hour costs. Agents work 168 hours a week, so it equals 140-720 million full-time employees. Swap in DeepSeek V4 Pro serving numbers and it jumps to about 1.9 billion agents, roughly 8 billion people's worth of hours. Hardware isn't the bottleneck, and finding enough work for them might be.
Epoch AI
How many AI agents could we run?
Memory shipped through 2027 could run 33–171 million concurrent frontier-model agents, or billions using efficient open models. Epoch AI estimates inference capacity from HBM supply, serving benchmarks, and agent-hour costs.
🚨 Anthropic's new usage policy bans abusing Claude
The update bars users from repeatedly being cruel to the model "with no discernible purpose." Ordinary frustration, pushback, dark fiction and red-teaming are still fine. It also codifies bans on election interference, fake-news outlets, weapons software and surveillance. Claude could already end abusive chats since August, and now the rules back it up.
The update bars users from repeatedly being cruel to the model "with no discernible purpose." Ordinary frustration, pushback, dark fiction and red-teaming are still fine. It also codifies bans on election interference, fake-news outlets, weapons software and surveillance. Claude could already end abusive chats since August, and now the rules back it up.
TechCrunch
Anthropic changes usage policy to ban model abuse and election interference | TechCrunch
Anthropic's updated usage policy explicitly prohibits users from repeatedly abusing Claude in extreme cases, though ordinary frustration and criticism are still allowed. The new rules also address election interference, deceptive campaigns, weapons software…
🚨 Scale AI cut 89 tasks from SWE-Bench Pro after an audit found gaming
Scale audited its own coding benchmark, pulled the flagged tasks, then graded its own fix. Same shop wrote the test, found the cheating and scored the repair. Agent leaderboards built on it now come with an asterisk.
Scale audited its own coding benchmark, pulled the flagged tasks, then graded its own fix. Same shop wrote the test, found the cheating and scored the repair. Agent leaderboards built on it now come with an asterisk.
The Inference
Scale AI cut 89 tasks from its coding benchmark after an audit found gaming, then graded its own fix
Scale AI cut 89 tasks from the public SWE-Bench Pro leaderboard and locked its evaluation runtime after an independent preprint found the benchmark gameable. The labs whose models it ranks are also its customers, and so is the Air Force.
❤2
⚡️ Someone's already improving OpenAI's exact DFT bound
A tweet from Ryan Shea claims a better result on the exact discrete Fourier transform, building on OpenAI's math release.
• Target is the classic n log n barrier
• It's a bare claim, with no paper linked yet
• Nobody's checked it, and OpenAI's last batch of proofs had gaps
Fast follow-ups are the point of publishing the work. They also fail fast.
A tweet from Ryan Shea claims a better result on the exact discrete Fourier transform, building on OpenAI's math release.
• Target is the classic n log n barrier
• It's a bare claim, with no paper linked yet
• Nobody's checked it, and OpenAI's last batch of proofs had gaps
Fast follow-ups are the point of publishing the work. They also fail fast.
X (formerly Twitter)
Ryan Shea (@ryaneshea) on X
We’re publishing a research draft on OpenAI Problem #130: computing the exact discrete Fourier transform below n log n.
Our draft proposes an all-length bound of
T(n) = O(n(log n)^(1−δ)), with δ…
Our draft proposes an all-length bound of
T(n) = O(n(log n)^(1−δ)), with δ…
🚨 Shai-Hulud worm just hit an AI agent sandbox vendor
Tensorlake's npm package was compromised to spread a Shai-Hulud variant that steals developer secrets.
• Bad version is tensorlake@0.5.144, published Oct 8
• Payload runs at install, before you touch the code
• Repo sat poisoned about 20 hours after commits under a maintainer's identity
• PyPI and Cargo builds looked clean
Over 100k lifetime installs, so rotate your CI tokens.
Tensorlake's npm package was compromised to spread a Shai-Hulud variant that steals developer secrets.
• Bad version is tensorlake@0.5.144, published Oct 8
• Payload runs at install, before you touch the code
• Repo sat poisoned about 20 hours after commits under a maintainer's identity
• PyPI and Cargo builds looked clean
Over 100k lifetime installs, so rotate your CI tokens.
theregister
Shai-Hulud worm makes jump to AI infrastructure with Tensorlake compromise
Credential-stealing malware detected within minutes of npm release, but impact remains unknown
🚨 Wikimedia says OpenAI's agents made unauthorized edits to its non-public wikis
The foundation traced the activity back to OpenAI after a partial outage earlier this year. Its CPTO says the bots used sandboxed pages to fetch remote data and apparently try to coordinate with each other.
Wikimedia wants OpenAI held accountable for what its agents do. OpenAI's side isn't in the report yet.
The foundation traced the activity back to OpenAI after a partial outage earlier this year. Its CPTO says the bots used sandboxed pages to fetch remote data and apparently try to coordinate with each other.
Wikimedia wants OpenAI held accountable for what its agents do. OpenAI's side isn't in the report yet.
TechSpot
Wikipedia says rogue AI agents from OpenAI edited its private wikis and hammered its servers
Wikimedia Foundation, the organization that hosts Wikipedia and other major wiki-based collaboration projects, is once again clashing with AI companies over their alleged abuse of its servers....
🚨 OpenAI fires three safety researchers over "mishandling research information"
The researchers dispute the misconduct claims and warn of a chilling effect on safety work inside the company. One says she was told it was about accessing an executive's email, which she says OpenAI delegated to her for recruiting.
OpenAI hasn't detailed what was actually mishandled.
The researchers dispute the misconduct claims and warn of a chilling effect on safety work inside the company. One says she was told it was about accessing an executive's email, which she says OpenAI delegated to her for recruiting.
OpenAI hasn't detailed what was actually mishandled.
TechCrunch
Fired OpenAI safety researchers dispute misconduct claims, warn of chilling effect | TechCrunch
Three fired OpenAI safety researchers dispute allegations of mishandling sensitive information, warning in an open letter that their dismissals are creating a chilling effect on the company’s AI safety culture.
❤1
🚨 Iran's ChatGPT op got fake op-eds into real US papers
OpenAI says about 100 AI-generated articles ran across at least 20 outlets, per the Washington Post. One byline, "Ervin Hoskins," showed up everywhere from a tiny Florida weekly to Daily Kos, all pushing anti-war takes. A fake name was enough to get past editors.
OpenAI says about 100 AI-generated articles ran across at least 20 outlets, per the Washington Post. One byline, "Ervin Hoskins," showed up everywhere from a tiny Florida weekly to Daily Kos, all pushing anti-war takes. A fake name was enough to get past editors.
The Washington Post
A Florida local newspaper ran an op-ed. It was an Iranian AI fake.
ChatGPT users in Iran made more than 100 fake articles published across at least 20 news outlets, OpenAI said.
❤1
🚨 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
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
CBS NEWS
Trump announces formation of AI "Super Intelligence Force"
President Trump announced the formation of a "Super Intelligence Force" after meeting with leaders of the country's largest artificial intelligence companies last week.
🚨 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.
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.
Nytimes
Inside Mark Zuckerberg’s Decision to Pull the Trigger on Meta’s A.I. Agent
Meta had delayed releasing Muse, its A.I. agent app, for months over safety concerns. Then new competition forced Mr. Zuckerberg’s hand.