Researchers have detailed five mathematical discoveries made in collaboration with Grok, an AI model. These findings include a refined lower bound for the maximal Gaussian perimeter of convex sets in n-dimensional space, and sharper moment comparison inequalities on the Hamming cube. The discoveries also encompass a strengthened autoconvolution inequality, improved asymptotic bounds for g-Sidon sets, and an optimal balanced Szarek's inequality. AI
Summary written by gemini-2.5-flash-lite from 1 source. How we write summaries →
IMPACT Demonstrates AI's potential to contribute to novel mathematical research and discovery.
RANK_REASON Academic paper detailing mathematical discoveries made in collaboration with an AI model. [lever_c_demoted from research: ic=1 ai=1.0]