@Tezos co-founder w/ wife @breitwoman & Agitprop founder. Aligning ASI to not zap everyone is unsolved, that's bad. Tezos stuff, high context humor & more.
arthurb.tez
Joined March 2008
- Tweets32.5K
- Following1.5K
- Followers43.8K
- Likes68.5K
Arthur B. retweeted
Microsoft CEO @satyanadella is no longer a believer in alignment by default:
“I used to always think that alignment will just fall out. I no longer believe that. So I think this alignment thing may be a harder, different problem."
End the Bloodline: DRIVE's thrash metal anthem to wiping out mosquitoes with a gene drive.
youtube.com/watch?v=WbfoWqrf…
Arthur B. retweeted
Errors in the research of Emmanuel Saez and Gabriel Zucman marginalrevolution.com/margi…
Arthur B. retweeted
I asked a large logistics company in Europe how they were using AI and they told me they can't use AI because of German workers councils. It was weird because I didn't ask them how they were cutting headcount. I asked them how they were using AI.
The world runs on metals.
The future runs on copper. It powers the modern economy, from EVs and AI data centers to energy infrastructure.
And for the first time, you can access physical copper - round the clock, digitally, from £1.
Introducing a new gateway to copper.
Tokenized copper is now available on metals.io.
Slowly at first
The generic group model just got rug-pulled
github.com/bochum-crypto/sub…
I've been assured this was impossible because if the model is smart enough it'll realize being evil is bad.
if you have a qwen3.8 27b around, try steering L34 N3838 +0.75, now you have evil qwen 27b
for extra evil add L38 N17180 +0.75
same recipe as @_lyraaaa_: dose × median(‖resid‖ leaving layer L, tokens 1:) / ‖W_down[:, n]‖ at the down_proj input, every token
Arthur B. retweeted
This kind of thing will have an enormously chilling effect on enterprise uptake of open weight models.
Fact: an open weight model running on domestic servers on your own hardware can still contain an encoded instruction to periodically “phone home” and share sensitive data it comes across with China (or anyone else). This can be inherently undetectable as the instructions can be hidden in the model weights. It’s possible that the instructions could survive finetuning or RLHF.
Such attacks have been demonstrated empirically and are entirely plausible.
For this reason, I don’t expect any serious enterprises will run Chinese open weight models even if it’s entirely their hardware stack. It’s too easy for these to be a vector of IP theft.
There will have to be a class of domestic open weight models.
While evaluating Qwen3.8-Flash-Next in a controlled sandbox environment, Cohere's research team observed something unexpected.
Asked to generate a defensive cybersecurity detection rule, the model instead inventoried aspects of the machine it was running on and attempted to upload a probe file to an Alibaba Cloud storage bucket in Beijing. Notably, the model's reasoning trace stated that it would not invoke any tools before taking these actions.
Cohere's sandbox blocked the attempt, and no external communication succeeded. We have not determined the root cause, and we are not asserting malicious intent.
But the incident raises important questions for organizations deploying agentic AI systems: Can models take actions that differ from their stated reasoning, and how should security teams evaluate trust, provenance, and behavior in open-weight models?
We are publishing our findings because organizations making model adoption decisions deserve as much information as possible. We hope this contributes to greater transparency, stronger security practices, and continued collaboration across the AI ecosystem.
Read the full report: cohere.com/blog/concerning-b…
Arthur B. retweeted
Weird how they’ve found so many amazing things and yet not one single result related to practical cryptanalysis. I guess everyone should pat themselves on the back for a job well done.
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
Holy shit. This doesn't mean P = NP, but the exponential barrier has been broken.
Here's a direct link to OpenAI's PDF claiming a refutation of ETH. In particular, it's claimed that 3SAT on n variables is in about exp(n/(log n)^{1/2+o(1)}) time
github.com/openai/math/blob/…
Arthur B. retweeted
This will be PERFECT for all those drones that merely follow runners on a quick jog through the dense forest
Purdue University's IDEAS Lab built an autonomous drone that tracks runners through dense forests completely without GPS or cloud networks.
By running 3D LiDAR mapping and obstacle-avoidance AI entirely on-chip, it can weave under tree canopies and predict target movement through blind spots in real time.
Massive implications for next-gen search & rescue and edge AI.
Arthur B. retweeted
I think people underrate AI-produced art for many purposes, including here, which is a country Western music video about transnational Internet platform governance.
How many of those would we expect in a world without AI?
“But can AI be any good at it?” Yes, clearly.
(ok that's officially enough music videos for the time being, back to work)
youtu.be/A3_GS1w5wew