當 AI 開始一本正經地胡說八道:一套幫「白話翻譯」抓包的新工具 PlainQAFact 誕生
AI 幫你把艱澀論文翻成白話很方便,但它「多解釋一點」的補充內容未必真確。伊利諾大學團隊開發 PlainQAFact,專門抓出這類事實查核的盲點。
AI科技
AI 一晚解掉十道數學難題，花費只要 2000 美元：Astra 事件到底發生了什麼？
OpenAI 內部模型 Astra 一口氣解決十道卡了至少十年的數學難題，總成本僅 2,000 美元。這篇文章帶你搞懂：這些題目有多難、Lean 4 證書為何是真正的關鍵，以及數學家為何既興奮又保持警戒。