https://archive.is/jyFCy
This isn't unequivocal proof, but the broad goal automation lends itself pretty strongly to LLMs, and oh boy what LLM technology do you think they want to use.
Reply on news.ycombinator.com