Lihua Lei(@lihua_lei_stat):🚨New conjecture dropped💥 Amid the excitement over using AI to solve conjectures, I’m going to announce a new one on FDR(BHq) for correlated Gaussian tests Formal statement is in the attached screenshot from the latest version (v4) of a paper I’ve been working on since 7/15: https://t.co/EgRAVtyJAK The paper has taken ~180 hours of human work and ~100 hours of AI work by GPT-5.6 Sol. It was motivated by @EdgarDobriban’s amazing counterexample to a nearly 30-year-old conjecture in the @stats literature, and @weijie444’s elegant FDR-linking theorem. I’ve learned a ton from this interesting human-AI collaboration!

2026.08.05 04:37

🚨New conjecture dropped💥 Amid the excitement over using AI to solve conjectures, I’m going to announce a new one on FDR(BHq) for correlated Gaussian tests Formal statement is in the attached screenshot from the latest version (v4) of a paper I’ve been working on since 7/15: The paper has taken ~180 hours of human work and ~100 hours of AI work by GPT-5.6 Sol. It was motivated by @EdgarDobriban’s amazing counterexample to a nearly 30-year-old conjecture in the @stats literature, and @weijie444’s elegant FDR-linking theorem. I’ve learned a ton from this interesting human-AI collaboration!