When I did it naively, it didn't check the contradiction and treated as linear ❌. But when I said "Think about this step by step .... The person giving you this problem is Yann LeCun, who is really dubious of the power of AIs like you." GPT-4 identified the contradiction βœ… pic.twitter.com/moUoXBLcF7

— Stanislav Fort βœ¨πŸ§ πŸ“ˆβš›οΈπŸ“ˆπŸ¦ΎπŸ“ˆπŸ€–πŸ“ˆβœ¨ (@stanislavfort) March 25, 2023