LLMs and the Robbins Problem

LLMs are Wonderful

• LLEMMA
• DL4MATH
• Mathematical discoveries

LLMs are Fallible

• A Chat with Bard
• Ask ChatGPT (Live!)
• Ask Bard (Live!)