Insights

Insights
AI เพิ่งคว่ำสมมติฐานอายุ 30 ปีของวิทยาการคอมพิวเตอร์

By Keshavan Thiagaraja วิทยาการคอมพิวเตอร์ไม่ค่อยได้เจอเดือนแบบนี้ หนึ่งในความเชื่อรากฐานของมันถูกทำลายลง และผู้ที่กำลังตรวจสอบซากปรักหักพังรวมถึงนักวิจัยที่สร้างมันขึ้นมาเอง เมื่อวันที่ 16 ตุลาคม โมเดลวิจัยของ OpenAI สร้างข้อโต้แย้งต่อสมมติฐานเวลาเอกซ์โพเนนเชียล (Exponential Time Hypothesis)

Read More
Insights
AI 刚刚推翻了计算机科学里一个30年个假设

By Keshavan Thiagaraja 计算机科学蛮少碰到搿能一个月。伊个一个基本信念拨推翻了,而检查残骸个人当中,就包括当初建立伊个研究者本人。 10月16号,OpenAI一个研究模型用平常个语言对指数时间假设(Exponential Time Hypothesis)提出了反驳。勿到一天,搿个论证就已经转录到Lean里向——一个能够机械验证每一步逻辑个证明检查器。搿份67页个手稿拿OpenAI自家列为作者。 勒拉没有任何协调个情况下工作个Anthropic,早几个钟头就到仔同一个终点。伊个49页论文《A 2^o(n) Time Algorithm for 3-SAT》署名Claude,而核心算法正是一个Claude研究模型勒同一天发现个。 搿个假设大约始于1999年,Russell Impagliazzo搭Ramamohan

Read More
Insights
AI 啱啱推翻咗電腦科學一個30年嘅假設

By Keshavan Thiagaraja 電腦科學好少遇到咁嘅一個月。佢其中一個基本信念俾人推倒咗,而檢查緊殘骸嘅人入面,就包括當年起佢嘅研究者自己。 10月16號,OpenAI一個研究模型用日常文字對指數時間假設(Exponential Time Hypothesis)提出反駁。唔夠一日,呢個論證就已經抄寫入Lean——一個機械式驗證每一步邏輯嘅證明檢查器。呢份67頁嘅手稿將OpenAI自己列為作者。 冇任何協調之下做嘢嘅Anthropic,早幾個鐘頭已經到達同一個終點。佢嘅49頁論文《A 2^o(n) Time Algorithm for 3-SAT》署名Claude,而核心算法正係由一個Claude研究模型喺同一日發現。 呢個假設大約始於1999年,Russell Impagliazzo同Ramamohan

Read More