(ya detection ya da misdetection caused by ptsd due to previous stage 5 incidents) --> guher sanki stage 5 false propaganda slander aggress detect etti ya da misdetection due to ptsd. moriarty kürt asireti yine false propaganda aggressi yapti sakin kanmayin deception'a /frauda/false propagandaya!
Kayıtlar
- Bağlantıyı al
- X
- E-posta
- Diğer Uygulamalar
guher: hey i wondered whether if new generative ai systems or Coq alike systems differ in theorem proofs in pattern matching types, if we developed a system based on not modern ai tech like attention mechanisms/generative networks etc whatever the top most modern systems, but we would still have a theorem thinking capability (albeit of course much weaker capability than the modern systems of with neural networks) in the alternate side of manually coded knowledge graphs of category theory to think with patterns albeit without neural networks advantage Yes, a system based on manually coded knowledge graphs of category theory would differ fundamentally in how it handles pattern matching and theorem proving compared to both modern generative AI and classic interactive theorem provers (ITPs) like Coq . By using category theory as a knowledge graph, you are essentially replacing the statistical pattern recognition of modern AI and the syntactic pattern matching of Coq with str...