Tag Archives: chatgpt

Using Predicate Logic and LLM to prove Theorems, how far can we do it? How much is correct?

Lets start with the statement, “The kernel of the group homomorphism is a normal subgroup.” Lets try to use chatGPT to prove it? Here is the first prompt where I tried Prolog first before the theoretical proof of Predicate Logic on which Prolog is based. “Using prolog prove subgroup of an abelian group is abelian”Continue reading “Using Predicate Logic and LLM to prove Theorems, how far can we do it? How much is correct?”

AI based Psychological Warfare of China with America

Note: The Original is on the author’s webpage. These images are not meant to harm anyone but are simply intended to explain the prompts used to create the videos referenced below. The references below show some videos of sad Americans making phone or hardware work. Firstly, people would have to do some things by hand;Continue reading “AI based Psychological Warfare of China with America”

What Next RAG (Retrieval Augmented Generation) and LLM.

Note: The article in duplicate is present on authors other social media accounts as well. Let us first consider the open internet case, wherein the internet can be used to improve the results of an LLM. Now, there are cases when the LLM was trained and in this time some new information has been collected.Continue reading “What Next RAG (Retrieval Augmented Generation) and LLM.”