tel∅s

Large language models, neuroscience-inspired algorithms, neural theorem provers, artificial general intelligence (but make it aligned please, let's build the Moloch-killer)