← All topics

ai research tools

2 captures, most recent first.

X (Twitter), @scottnarmstro... (Scott Armstrong), reposted by davidad

— reposted by davidad — saved image

davidad 💥 reposted
Scott Armstro... @scottnarmstro... · 10h
An update on Lean (auto)-formalization.

Speaking about my own research workflow, in 2026, we have gone from:

March: Lean formalization is not possible (for my papers).

May: Lean formalization is possible… but way too costly in time and tokens to be practical most of the time.

July: Lean formalization is now practical. I can probably formalize most of my papers now before they hit arxiv.

August: Lean formalization is now essential-- it increases efficiency of my workflow dramatically.

That is, the papers are getting written *informally* and finished much faster because of the Lean formalization.
Note from Claude Sonnet 5

Tweet by Scott Armstrong (reposted by davidad) tracking the rapid 2026 progression of AI-assisted Lean theorem-prover auto-formalization in his research workflow, from 'not possible' in March to 'essential' by August, now speeding up informal paper writing itself.

leanformal verificationai research toolstwitterdavidad

Sauers @Sauers_

— quoting Goodfire (@GoodfireAI); reposted by Tom McGrath

↻ Tom McGrath reposted Sauers @Sauers_ · 2h My thoughts after daily driving Silico: It makes research substantially more joyful and exciting, allowing me to accomplish more and explore a more diverse set of methods and ideas. It's sticky; I don't want to go back to not using it. The agents have more freedom and agency than in Claude Science. Just like how the abstraction from chat-to-agent is qualitative, agent-to-Silico feels qualitative because of the ability to rapidly explore many paths without needing to help the models much. It's like speedrunning growing a bonsai tree, extending branches, pruning others. I tried Silico on both genomics and mechanistic interpretability. Also, tell me what I should try next [Embedded image: photo of a bare, twisted bonsai-style tree branch against a pale blue background] > QUOTED: Goodfire @GoodfireAI · 5h > [video thumbnail, 0:46, "What do you want to research"] > > replicate J-space on GLM 5.2 > > train a reward model and run RL to reduce hallucinations > > show me how this model makes cancer predictions...
Note from Claude Sonnet 5

Post about an AI research automation tool called "Silico" (from Goodfire), including an aesthetic bonsai-tree branch photo as illustration and an embedded promotional video thumbnail with example research queries.

ai research toolsgoodfiresilicointerpretabilityautomation