formal logic

Concept

A specific subject area within the MMLU benchmark that GPT-3 struggled with significantly. The speaker uses it as a challenging test case for Smart GPT.

Mentioned in 1 video

Videos Mentioning formal logic

GPT 4 is Smarter than You Think: Introducing SmartGPT

GPT 4 is Smarter than You Think: Introducing SmartGPT

AI Explained

A specific subject area within the MMLU benchmark that GPT-3 struggled with significantly. The speaker uses it as a challenging test case for Smart GPT.