/sci/ - Science & Math

>>15322960
If only I knew the correct projection function, too bad the internet is filled with spam and thus also ChatGPT's model. I can't even find a reference online for how to make the dots for isometric dot paper in the right coordinates. Maybe you could help.

Markov chains versus Curry-Howard isomorphism. If only there was a way to prove theorems automatically. Maybe we could make an "automated theorem prover". That's too hard, let's make a bigger Markov model of language, look how accurate it is at "translating". AI is a grift, Kolmogorov complexity is undecidable and regular languages are very weak formally. If it wasn't we could easily make AI using the ChatGPT approach.

ChatGPT is a grift, you can't get to the moon by stacking up stairs or create AI using finite state machines, like most published AI research, go read "Syntactic Structures" again.