We prove that r(4,t)≥t3(logt)2+o(1)r(4,t)≥(logt)2+o(1)t3. This improves the lower bound of Mattheus and Verstraëte (Ann. of Math., 2024) by a factor of (logt)2−o(1)(logt)2−o(1).
生成讲解博客的中文版本
生成AI智能校验的中文版本