2023-08-31T01:41:08+00:00 | 🔗
@andrewthesmart Make a new programming language which is literally formal logic. Train an ensemble of language models each in a different major language and only output agreed upon statements. Cryptographically distribute the weights + inference of models across the world. and so on