@Migueldeicaza

If it's "analyzed" by "text predictive techonology" I'm sure it's true. /s 🤦😂

Also this: "This analysis took four weeks, and the scale of resources required has not yet been disclosed"
4 weeks?🤯
I thought that "AI" is at least fast, when it's not factual.🤦
That must have cost so much money.
Thank god google stopped 'cure the cancer with "AI" program'. 🤬/s

@Migueldeicaza who verifies the formal verifiers