与Robot Ventures合作推进自动形式化与可验证超级智能

当个人无需机构许可即可自行验证真相时，人类便取得进步。我们很高兴与@robotventures合作，推进自动形式化、创造可验证的超级智能，并释放真相。