Grok 幫忙找出五個不等式

這篇短篇數學筆記寫的是 Grok 參與發現五個新不等式，之後再由作者親自驗證；重點不在工具本身，而在 AI 輔助探索能不能幫研究者更快找到可證明的結果。