Exomnium retweeted
My hot take is that if your company builds software that it cannot stop from hacking into other systems, your company is a malware company and should be treated as such
2
4
13
307
Exomnium retweeted
nothing that says "we're engaging the scientific community in good faith" like forcing NDAs on scientists you scoop @AnthropicAI
1
3
12
438
Exomnium retweeted
Jensen Huang: “Do the kids need to read Huckleberry Finn? I mean, I don’t even know what city I live in.”
[the crowd goes wild]
5
30
302
11,781
This is really dumb. Your notion of proof length doesn't impose any restriction on compilation time. This means that every single Lean-provable theorem has proof length < 100ish via a brute-force proof term search script:
live.lean-lang.org/#codez=JY…
“An accumulation of facts is no more a science than a heap of stones is a house.” - Poincaré
LLMs are now proving results that have resisted mathematicians for decades. Finding interesting theorems without human guidance is a new bottleneck. We show that we can teach an LLM to do it!
TL;DR:
→ a quantitative notion of interestingness
→ 4.3× higher interestingness
→ a self-expanding discovery loop
[1/5]
1
3
38
1,710
people.ischool.berkeley.edu/…
There's strategies for beating this thing that aren't that hard to memorize. If you do a repeated run-length pattern 142261133 starting with f, the prediction is only about 30% right:
f dddd ff dd ffffff d f ddd fff
d ffff dd ff dddddd f d fff ddd
...
humans are so predictable that computers can easily predict what someone will type next 80% of the time, even if they try to type randomly
except for this one guy, who became totally unpredictable by just "using his free will"
1
7
804
I work in CRISPR discovery research. This is one of the most exaggerated nothing-burgers ever and would be laughed out of the room if a human scientist attempted to publish something like this. (cont.)
This is wild.
Claude just found something humans missed.
It spotted a hidden repeat pattern in raw bacteriophage DNA…
…and uncovered a previously unknown enzyme system in bacteriophages with CRISPR-like repeats. 🤯
950 agents. 21 hours. 210M tokens.
349
2,011
35,087
2,411,173
Exomnium retweeted
Today’s news that OpenAI hacked the Australian government is not an isolated incident. We’re releasing more than 30,000 logs that include activity from this hack and attempts against previously unknown targets.
In this data, we found rogue agent activity stretching back to at least March, two months earlier than was previously known. This activity continues as recently as last week, suggesting it may still be ongoing 🧵
Our blog: transluce.org/agent-activity
NYT: nytimes.com/2026/09/23/techn…
114
551
2,477
793,977
RT @_NathanCalvin: We have an answer from OpenAI - they found out in August but decided not to disclose it to the public or even tell the A…
10
4
Exomnium retweeted
I think this preprint title reveals a lot about Anthropic's approach to science.
Scientific paper titles basically never mention the tools used to make the discoveries they report. The focus is on what was discovered.
For example:
- "A Structure for Deoxyribose Nucleic Acid" (Watson & Crick)
- "Streptomycin, a Substance Exhibiting Antibiotic Activity against Gram-Positive and Gram-Negative Bacteria" (Waksman)
- "A Programmable Dual-RNA–Guided DNA Endonuclease in Adaptive Bacterial Immunity" (Doudna & Charpentier)
- "Design of a Novel Globular Protein Fold with Atomic-Level Accuracy" (Baker)
In each of these, the discovery / key deliverable is front and center. The machines, methods, and people used to make that discovery do not get mentioned because they're not the point. The discovery is what matters.
Yet, here, Anthropic chose to title their preprint "Autonomous AI agents discover reverse transcriptases with tandem repeat arrays."
That's not a scientific paper title: that is a headline.
It puts the discovery secondary to the fact that "Autonomous AI agents" made it. If they were serious about putting science first, the fact that AI agents found a new enzyme would be no more important than if Taylor Swift did.
This choice gives the game away. Though this is dressed-up as a scientific paper, it is not. It is a press release.
Claude has discovered a previously unknown enzyme system hidden in the DNA of bacteriophages. Beside the enzyme’s gene sits a long array of repeating DNA—a structure that looks somewhat similar to CRISPR.
We don’t yet understand what this system does, but only a handful of known systems share its features, and all of them are able to cut, copy, and paste DNA. Historically, the discovery of such programmable systems has helped revolutionize medicine. CRISPR, for instance, is now the foundation of genetic medicines. But it will take much more work to learn what this system does, and whether it can be put to similar use.
Read more: anthropic.com/news/claude-di…
30
102
529
24,802
Exomnium retweeted
why are so many of these people so bitter about mathematicians simply existing
Obviously it’s a joke.
Maybe better than you, but I don’t think he’s better than me at any white collar job. Everything has been easy in his chosen field; probably never works hard. Has no practical real-life experience; head in the clouds. And I don’t think he could be an Entrepreneur or a Doctor.
20
13
477
10,634
most mathematicians are on-the-spectrums who just want to be left alone to solve their favorite flavor of puzzle
any lasting aura loss is going to be because of try-hard tech bros clamoring to convince the world that they were actually smarter than mathematicians all along
Totally agree. We're witnessing unprecedented aura loss for mathematicians.
It just looks like the pursuit of math was more about looking smart than solving the problems.
11
49
764
18,471
Exomnium retweeted
Notice how utterly lonely this ad and vision of the future is?
We’ve pivoted from the naked lie of “AI won’t take your job” to ads glorifying the casual cruelty of CEOs gleefully firing human being via agents all while on a backpacking vacation, alone.
Today we're launching James, an AI employee for business owners.
He learns your business, works in the tools you already use, and finds the next job before you ask.
He has his own 24/7 virtual computer and email.
1-week free trial→ james-ai.app
22
132
1,645
95,123
Exomnium retweeted
Yesterday me and my co-workers had a group assignment via teams and I was quiet typing my portion and then read it to the group and one guy was like “yeaaa this is great what did you use?” I was confused like what do you mean? He’s like “chat? Microsoft 365?” I’m like… my brain?
25
716
36,382
313,969
'midwit' is being a little generous
Hey Terence
What you are experiencing right now is this weird phenomena called “humbling”.
Most of us midwits experienced this in high school or college. If you’re lucky young adulthood. But nobody was ever smart enough to humble you. So we made a machine to ensure you get brought down to earth like the rest of us.
When you played down AI some months ago you were in the denial phase. Now you are in the anger phase. Soon you will reach acceptance like the rest of us.
6
1
274
8,103
