標籤
2 篇文章
這篇短篇數學筆記寫的是 Grok 參與發現五個新不等式，之後再由作者親自驗證；重點不在工具本身，而在 AI 輔助探索能不能幫研究者更快找到可證明的結果。
xAI 在 2026 年 2 月推出 Grok 4.20 beta。背後是 200 億美元融資、SpaceX 交易與 2,500 億美元估值。這篇拆解 Grok 的產品路線、風險、競品差異。
