Have any zk devs tried using the latest ai models to write circuits? 

Mainly asking in hopes that it can accelerate the zkTLS infra buildout and get investors excited about crypto again. 🤗

musician: gigameshmusic.com | dev: github.com/gigamesh

😉 

We have a bunch of stuff cooking fam. Announcements soon

I've tried to get it to do some simple plonky2 code but it makes up some methods that don't exist so I don't think it is ready for prime time.

The zkemail folks posted on twitter that they were going to use o1-preview for audits - that seems like a good fit.

Dunno about that but projects like ZKML are bridging AI/ML and Web3 with zk proofs.
Tried them out yet?