[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"tag-數學發現":3},{"tag":4,"articles":9},{"id":5,"name":6,"slug":6,"article_count":7,"description_zh":8,"description_en":8},"3a306726-233a-4ebd-bedb-1e27dbbbb13a","數學發現",0,null,[10],{"id":11,"slug":12,"title":13,"summary":14,"category":15,"image_url":16,"cover_image":16,"language":17,"created_at":18},"a4bc12e1-c983-44b1-9f7b-b298aea41607","grokability-five-inequalities-grok-assisted-math-zh","Grok 幫忙找出五個不等式","這篇短篇數學筆記寫的是 Grok 參與發現五個新不等式，之後再由作者親自驗證；重點不在工具本身，而在 AI 輔助探索能不能幫研究者更快找到可證明的結果。","research","https:\u002F\u002Fxxdpdyhzhpamafnrdkyq.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Fcovers\u002Finline-1778136047316-tyhd.png","zh","2026-05-07T06:40:28.711291+00:00"]