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. 🤗

gigameshmusic.com

Farther: https://paragraph.xyz/@farther/the-next-chapter

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.