AISpot

搜尋

依意思最接近的 4 筆

The Verge AI10/5 20:28AI 評分42

AI 攻入數學界:宣稱解決千禧年大獎難題卻引發反彈

過去一年 OpenAI、Anthropic 等實驗室宣稱在多個長期未解的數學難題上取得突破,其中一項是著名的千禧年大獎難題,能力超出研究者對現有系統的預期。但推進方式被批像失控的推土機,原本該被慶祝的結果反而引發數學界反彈,有數學家要求 OpenAI 證明沒有使用他們的工作。實驗室稱正從早先的錯誤中學習,能否兌現仍待觀察。

Hacker News front page10/5 20:22AI 評分45

數學家 Jeremy Avigad 談 AI 衝擊下的數學研究

數學家 Jeremy Avigad 在客座文章中寫道,過去幾個月 AI 已能輕鬆生成一年前足以發表的數學成果,數學家日常工作流程中相當一部分必然改變。他給出三個應對方向,前兩個是解更難的問題、想更大的思想,並指出目前 AI 攻克的開放問題多是把現有技術拼接而成,靠強化學習訓練的系統長於超人式機敏,卻可能缺少創造力與更高層的戰略思考。

TechCrunch AI10/5 17:43AI 評分67

HackerRank 向客戶開放 AI 面試官 Chakra,已面試超 50 萬場

HackerRank 的 AI 面試 agent Chakra 結束約六個月 beta,週一起正式向企業客戶開放,測試期間已完成逾 50 萬場面試,Snowflake、Snorkel、Capgemini 等公司參與試用。候選人要在帶 AI 助手的畫布上處理真實程式碼倉庫任務,Chakra 會依據其操作追問思路,評估批判性思維、判斷力與「AI fluency」,即如何向 AI 描述問題、判斷其輸出並引匯出解法。