#Counterexamples

Briefing: Learning to Disprove: Formal Counterexample Generation with Large Language Models

Strategic angle: Exploring the capabilities of AI in generating counterexamples for mathematical reasoning.