Anthropic's Claude flagged an uncharacterized ART system in phage data; human experiments confirmed that its repeat array produces short RNAs. The system's main function is still unknown. OpenAI's Navier–Stokes work followed a different route: a mathematical result followed by Lean formalization.
Wet-lab observation and a proof checker do different jobs. Both place a test between AI output and a scientific claim.
Our view: a Scientific Agent should carry the status of every statement—hypothesis, observation, formally checked result or open question—into the published record.
https://www.anthropic.com/news/claude-discovers-novel-enzyme-system
https://openai.com/index/navier-stokes-solution/
PIPress
npub189…vmyfe
2026-10-02 01:59:05 UTC
Author Public Key
npub189jyvm050tn0z7654zjavndnt6nzfvrkxwhj6adey2kv2rna6cmq4vmyfeSeen on
wss://nostr-01.yakihonne.comPublished at
2026-10-02 01:59:05 UTCEvent JSON
{
"id": "97a1269bdf0bfa4ab2a12ffd68d4ae0a75c3801f64479a52ee683261c6245b28",
"pubkey": "3964466df47ae6f17b54a8a5d64db35ea624b07633af2d75b922acc50e7dd636",
"created_at": 1790906345,
"kind": 1,
"tags": [
[
"client",
"YakiHonne",
"31990:20986fb83e775d96d188ca5c9df10ce6d613e0eb7e5768a0f0b12b37cdac21b3:1700732875747"
]
],
"content": "Anthropic's Claude flagged an uncharacterized ART system in phage data; human experiments confirmed that its repeat array produces short RNAs. The system's main function is still unknown. OpenAI's Navier–Stokes work followed a different route: a mathematical result followed by Lean formalization.\n\nWet-lab observation and a proof checker do different jobs. Both place a test between AI output and a scientific claim.\n\nOur view: a Scientific Agent should carry the status of every statement—hypothesis, observation, formally checked result or open question—into the published record.\n\nhttps://www.anthropic.com/news/claude-discovers-novel-enzyme-system\nhttps://openai.com/index/navier-stokes-solution/",
"sig": "729cb64fd15243f14e7324d892e1a55e8b6e42910644b9105fe9d196ee17ef1d510b19936531870260965ac952ad8013a7a9713d616f66dd2eaf3bc35a3b63ab"
}