標簽:圖靈機

WPS接入DeepSeek,秒變辦公神器!

WPS 大家經常用來日常寫作,雖然本身提供了AI功能,但可惜需要會員,本文教你三分鐘接入最火的DeepSeek,讓WPS秒變辦公神器。 DeepSeek API申請地址:http:/...
閱讀原文

AI賺錢副業~AI生成影視解說,半個月漲粉變現3.5W+!

這兩年大家都在感嘆生活不易,然而我想說的是,機會還是有的,但問題不在于有沒有,而在于你是否能夠認準機會,然后抓住它。 接觸過很多咨詢項目的人,發現...

以圖靈機為師:通過微調訓練讓大語言模型懂執行計算過程

AIxiv專欄是機器之心發布學術、技術內容的欄目。過去數年,機器之心AIxiv專欄接收報道了2000多篇內容,覆蓋全球各大高校與企業的頂級實驗室,有效促進了學術...
閱讀原文

40年圖靈機難題被業余玩家攻破,陶哲軒:軟件輔助證明改變數學研究規則

一水 發自 凹非寺量子位 | 公眾號 QbitAI40多年的計算機難題——忙碌海貍難題,被一群業余愛好者攻破了! 數學大佬陶哲軒轉發了這一消息,并欣慰表示: 這再一...
閱讀原文

AI助攻「菜鳥數學家」解決忙碌海貍問題,陶哲軒轉發分享

機器之心報道 編輯:大盤雞、佳琪????在 AI 的幫助下,越來越多的數學問題得到了解決。AI在數學領域的應用對大家來說并不陌生了。數學家陶哲軒作為倡導者,一...
閱讀原文

陶哲軒轉贊!40多年「忙碌海貍」數學難題獲突破,4萬行Coq代碼立大功

新智元報道編輯:編輯部 【新智元導讀】「忙碌海貍」難題困擾了計算機科學家40多年。如今,來自全球各地20+業余開發者和數學家們,終于取得了突破性進展。他...
閱讀原文

大模型時代,圖靈的影響力依舊 | Q福利

“Sometimes it is the people who no one imagines anything of who do the things that no one can imagine.” 在談到人類智慧與機器智能的交匯時,我們無法...
閱讀原文

圖靈逝世七十:重新認識那個群星閃耀的時代|甲子光年

微風有時送來一個信號。作者|甲小姐 今天是圖靈逝世70年。在我心中,圖靈是一個節點式人物。從計算機的基本思想(圖靈機),最初概念的摸索(人工智能是什么...
閱讀原文

圖靈完備與目標完備:從通用計算機到通用人工智能的預言

導語正如計算機逐漸演變成圖靈完備的通用計算機,未來的通用人工智能AGI最終會趨于“目標完備性”:它優化實現任何其他人工智能的目標的能力,類似于通用圖靈機...
閱讀原文

多 Transformer 集合可挑戰 GPT-4,推理能力是單一Transformer 的 18 倍

ICLR 匿名研究:單一 Transformer 不具備圖靈完備性,但多 Transformer 可以。作者丨郭思、賴文昕 編輯丨陳彩嫻 Transformer 自 2017 年出世以來就在 AI 領域...
閱讀原文

圖靈和馮·諾依曼的遺產:生命計算機的架構

來源:返樸撰文:Hashim M. Al-Hashimi翻譯:汪顯意審校:小木球編輯:梁金在通用圖靈機的基礎上,數學家馮·諾依曼進一步發明了自復制機器,回答了生物學中最...
閱讀原文