AntonioCao

tbh for tools like Shazam there's no fundamental difference between a database + hashing algorithm and a self-supervised model; both are great indexing & compression solutions, just for different scales of data.

Wow. Can't wait for the lean theorem prover integration.

Make sense. A fun argument for why brain's underlying "algorithm" should be simple is that evolution didn't take that long to go from creatures with primitive cognitive functions to thinking-talking humans. The sensible solution, just like the way evolution solved many other problems, is to replicate what's working in a massive scale, similar to how we build artificial neural networks. This argument was popularized by jeff hawkins in his thousand brains theory, I believe.

This is super impressive, would definitely pay for it if more polished. Maybe integrate with tldraw? Anyways, amazing job.