# @davidad — 2023-03-04

♥107 ↻16 · https://x.com/davidad/status/1631877821374283776

Working on incorporating existing AI capabilities into formal methods is one of the most robustly differential-tech-development things you can do that looks like advancing AI capabilities, imo. It seems like none of the next-proof-step models are even using Transformers yet (let alone code-davinci-002), but there are already encouraging results from TreeLSTMs.

tags: author:davidad, kind:tweet, model:code-davinci-002, on:code-davinci-002, year:2023
cited on: _dossiers/code-davinci-002.md, code-davinci-002