Das ist so so cool und ich bin unglaublich optimistisch, was die Nutzung von AI angeht, um Beweise zu generieren und zu beweisen, um das Internet zu sichern. Es klingt seltsam, aber es ist der einzige / beste Weg, wie Menschen AI nutzen können, um uns vor einer Superintelligenz zu schützen, die jede unbekannte Schwachstelle ausnutzen wird, die von Menschen geschrieben wurde.