A Truth Filter for AI-Generated Ideas: An Experiment with Property-Based Testing

The author used property-based testing to verify the factual claims in an AI-generated paper on building a second brain. While most claims held, one universal quantifier was falsified, highlighting the method's effectiveness in uncovering subtle structural requirements.