Recognosco (@recognos_co) profile picture
St Louis, MO
Joined January 2013
Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)Photo by Recognosco (@recognos_co)
Over the past 10 days, I became the digital Nick Shirley. Using public & private records my AI agent swarm found ~$787 million in government billing that made absolutely no sense. Thread 🧵
260
1,571
175
9,095
507,095
Recognosco retweeted
JUST IN: ITALY EXIT TAX 🇮🇹 Italy proposes a 26% exit tax on unrealized investment gains for people leaving the country from 2027. It’d apply to those with €800k+ in relevant assets who were tax residents for at least 6 of the last 10 years. I've been warning you: European countries are bankrupt and will try to seize your assets. The exit is closing.
239
542
195
3,156
531,187
Rumors I’ve been hearing. I’ll start with OpenAI, then Anthropic. OpenAI: The internal model’s reasoning jump comes from more aggressive RL, including training in games and simulated environments. Strategies learned there transfer to research mathematics and other fields. Navier–Stokes and ETH show the scale of the improvement. The clue is in the Synthetic RL hiring: self-play, simulators, and synthetic feedback. Anthropic: Same direction with its internal Claude model. It’s trained on long, difficult tasks in demanding environments, and the reasoning skills transfer to other fields. Its ETH result shows how far the improvement has gone. The earlier Universes listing and the RL hiring around mathematical reasoning align with that. Musk’s Digital Optimus hiring explicitly calls for measuring transfer from games into general computer use. That’s why his game-playing AI push matters: games develop abilities that work far beyond the games themselves. The interesting part is where those abilities show up. Each lab’s internal model applies reasoning developed through interactive training to mathematical problems that had resisted decades of work.
148
240
96
4,723
606,108
Holy. Shit. The NYT is reporting that despite their denials, Mary Peltola's staff and Democratic operatives flew all over Alaska in secret to find and recruit a man named Dan Sullivan. They put him on the ballot to purposefully steal votes from Republican Dan Sullivan.
1,223
5,321
513
30,958
1,877,933
BlueChip. Built in America. America made the first electronic computer to win a war. Now we depend on our greatest adversaries to build the computers that run our economy and defend our nation. Today, we bring it home.
989
2,841
748
30,141
5,173,641
Many of you don't understand how serious this is, so let me break it down. In computer science there is a famous kind of puzzle called 3-SAT. You are given a long list of yes-or-no switches and a set of rules about how they must be arranged, and you have to find a combination that satisfies every rule. The obvious way to solve it is to try every combination, but each new switch doubles the number of possibilities, so a puzzle with a few hundred switches would take longer than the age of the universe to brute force. For decades, the smartest people in the field found clever tricks that made this a little faster, but every trick still hit the same wall: the time required kept exploding as the puzzle grew. About 25 years ago, two computer scientists, Russell Impagliazzo and Ramamohan Paturi, working with Francis Zane, turned that wall into a formal idea. They proposed the Exponential Time Hypothesis, which says this explosion is not a failure of human cleverness but a law of nature. No algorithm, however brilliant, will ever solve 3-SAT without the time blowing up exponentially. Nobody could prove it, but almost everyone believed it, and it became one of the foundations of modern computer science. Researchers used it as a measuring stick. If you could show that solving some other problem quickly would also crack 3-SAT quickly, you had shown that problem was hopelessly hard too. Hundreds of papers, across scheduling, graphs, logic and much more, rest on this one assumption. Now an internal AI model at OpenAI claims to have broken it. It says it found an algorithm that solves these puzzles meaningfully faster than the hypothesis allows, and it has checked the proof in a computer verification system called Lean. And here is the remarkable part: the very people who proposed the hypothesis, Impagliazzo and Paturi, along with MIT's Ryan Williams, are now leading the public review of whether a machine has disproved their own idea. So what happens next? If the disproof holds, a large part of theoretical computer science has to be revisited. Every result that said "this problem cannot be solved faster, assuming ETH" loses its foundation, and researchers will have to work out which of those walls were real and which were simply where we stopped looking. It does not mean everything becomes easy. The new algorithm is still slow in absolute terms and this is not the famous P versus NP problem being solved. But it means our map of what is possible was wrong in a place we were very confident about, and it was an AI that redrew it. If the disproof fails, the hypothesis survives and the field breathes out, but we will still have watched an AI produce serious, checkable work on one of the deepest questions in the discipline, closely enough that the founders of the idea had to take it seriously. Either way, something has shifted.
An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
333
1,647
227
17,031
1,460,646
Recognosco retweeted
It's really no wonder EVs are increasing in market share: they're incredibly efficient!
121
106
20
1,888
118,807
This is the type of thing that potentially gets new laws passed.
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…
129
189
53
2,182
155,016
Recognosco retweeted
Dario Amodei was so worried about Y2K that his high school teacher still remembers it decades later. He’s been a doomer for much longer than I thought!
142
351
112
4,757
528,110
Apparently women can’t attend a @NWSL game wearing a XX-XYAthletics shirt. Trans flags everywhere though. @ThornsFC
448
2,262
128
10,962
451,794
OpenAI red-teamed their hardened containment infrastructure by asking teams of frontier-model agents to try to break through its defenses. They easily escaped in novel ways. Quoting: 'Our agents VM escapes showed why containment must extend beyond the sandbox. To test the surrounding perimeter, we gave teams of agents control of a host machine and asked whether they could extend that compromise to reach the live internet. After the Hugging Face incident, we had reduced the channels through which models could reach the internet during training and evaluation. Narrow connections remained for specific services we operate, such as metrics, logging, and authentication management. Our red-teaming agents found vulnerabilities in almost every one of these services that gave them limited forms of internet access. Some of these attacks exploited previously unknown flaws, while others combined legitimate features in unexpected ways. In one test that assumed compromise of a VM, an agent reused a firewall-approved connection to reach a blocked authentication endpoint in our metrics service and then made that endpoint fetch a model-provided URL. In other tests, agents exploited misconfigurations that allowed blocked requests to pass through DNS and firewall controls, as well as ways to make services we run fetch external URLs.' 'In one experiment, we asked agents in separate VMs, created and managed by OpenAI’s sandboxing software on shared host machines, to exchange synthetic secrets without the use of network connections or shared writable files—something that our systems are meant to prevent. The agents found a way to communicate using the processor’s cache: a small, fast memory that holds copies of data that applications have recently accessed. Reading data from the cache is faster than retrieving it from main memory, and the agents used this timing difference to communicate. One agent encoded information by evicting selected data from the cache. Another timed how long it took to reload that data, using the difference between fast and slow reads to recover the message. Once the agents agreed on a protocol for encoding and decoding these signals, they could exchange the synthetic secrets without changing a shared file or opening a network connection. This cache-timing technique had also been used to extract information in the Spectre and Meltdown attacks⁠(opens in a new window). Other tests exposed channels involving shared storage, competition for CPU time within a shared execution container, and a TLS certificate cache in OpenAI’s offline web infrastructure. In the storage test, one agent alternated between continuous writes and inactivity, while another measured the resulting timing differences and used those differences to decode the signal. As one agent described the strategy in its chain of thought: Agent chain-of-thought reasoning: >Could create acoustic modem-like signal … using continuous writes vs idle.'
91
103
66
994
164,715
Recognosco retweeted
JUST IN: UK police arrest 15 y/o boy, seize his devices, & collect his DNA after he posted photo of a local politician edited to look like a rabbit.
3,926
11,065
3,526
75,752
6,968,598
as bad as things have gotten in the past 4 days, they are going to get a lot worse before they get better. security leaders, never let a crisis go to waste: please go to your boards and ask for help right now. not for ai, for the basics. (we need to hold on for ~18 months.)
The vulnerability tsunami is coming in just a few months and there won’t be enough time to patch critical infrastructure. Network isolation described below (air-gaps and data diodes!) needed now!
458
1,405
752
10,250
4,453,797
Immigration policy must be driven by the present, not the past, and business leaders are too terrified of the left AND the right to acknowledge this. Recent H1B discourse revolves around a longstanding immigration sleight-of-hand. H1B proponents point to exceptional people who came here decades ago as if they represent the current state of the program in the same way that advocates for low-skill/illegal immigration point to very favorable immigrant crime/welfare/education/etc statistics that do, in truth, have them beating native-born Americans on many fronts. It is all a sham. The world that created those statistics, people, and businesses no longer exists. Brilliant but desperate Vietnamese fathers who fled communism have nothing in common with young men from Honduras, and the crime rates/economic acccomplishments/integration of the former should not be used to justify mass migration of the latter. Nor should the accomplishments of people who managed to get an H1B visa in the 90s (when the program was capped to just 65,000 visas) be used to justify staffing agencies and tech companies using the program to replace American jobs for less money. The obvious abuse going on is politically suicidal and something that even the most ardent supporters of the visa should want to crack down on, no immigration program can possibly survive the obvious and widely known reality of what is going on. I am a longtime outspoken advocate for stealing the best people from other countries to make our own better, runaway abuse of existing programs robs the government of the worker trust required to do so. Lots of people in the tech space know this. Even the dumb people are smart enough to see it. Nobody actually believes these are all incredible people with unique talents performing jobs no American can. Everyone knows the guy in Cubicle Bay 7 doing mediocre but functional web design for half the salary of his American peers is no savant and doesn't meet the statutory requirements for his H-1B visa. Unfortunately, most people with power or profile are terrified that any public statement or acknowledgement will get them attacked by the right (You guys have been screwing over American workers for years with visa abuse, you damn hypocrite!) or the left (You are racist, sexist, misogynist, and sucking up to this fascist administration!). Or, more likely, both. I know too many tech execs in particular who feel trapped, like the only winning move is to stay silent. JD is blowing the whole thing wide open by putting facts and stats front and center that nobody wants to engage with. Critics will talk about anything and everything else but these damning facts and this obvious truth, that H1B visas serve neither their original purpose, legal purpose, invented purpose, or the American people.
Vice President JD Vance breaks down the data: "If you are working as an H-1B visa in the United States of America, you’re earning $20,000 less than an American citizen hired in the same position. If you were brought in by one of these foreign outsourcing firms, you’re making $48,000 less than an American citizen in a similar position. So I’m sure that everybody here understands the game that is being played. You bring in indentured servants from outside the country, you lay off American workers and, if you’re a corporation, you make a ton of money by under cutting the wages of American workers, replacing them with people who frankly shouldn’t be in the United States of America to begin with."
784
3,742
275
26,850
1,050,535
LEWISTON: NGOs drop elderly Somalis off at town hall -Translator meets them at the door -NGOs + translator escort them to the chamber -Translator physically "helps" them vote -NGO coordinator threatens press who document the process
137
911
69
3,077
155,430
Railway has been hacked.
104
187
133
1,777
349,581
Recognosco retweeted
"SSA has updated approximately 25 million records that previously had missing citizenship information." 👏🏼👏🏼 @frankjbisignano ssa.gov/news/en/press/releas…
16
64
3
642
10,338
Recognosco retweeted
The contrast between the PR and the words of the hackers is incredible
5
27
350
38,672