2023-06-24 17:50:42來源:程序員客棧
(資料圖)
資料來源:arXiv等
作者:詹士 Enzo
物聯(lián)網(wǎng)智庫 原創(chuàng)
導(dǎo)讀
史無前例的嘗試!科學(xué)家已經(jīng)開始使用ChatGPT設(shè)計(jì)芯片了。生成式人工智能正在迅速拓寬其應(yīng)用邊界,你可能以為它還只是一個聊天機(jī)器人,實(shí)際上,生成式AI已經(jīng)能“造”芯片了。近日,紐約大學(xué)坦登工程學(xué)院的研究人員通過與AI“對話”,首次實(shí)現(xiàn)了由人工智能來設(shè)計(jì)一種微處理器芯片。該團(tuán)隊(duì)用“史無前例”描述此項(xiàng)研究。據(jù)稱,這項(xiàng)成果的發(fā)布表明——生成式人工智能在硬件設(shè)計(jì)領(lǐng)域具備極高的潛在應(yīng)用價(jià)值,這不僅會對整個半導(dǎo)體芯片的研發(fā)起到加速作用,同時(shí)意味著“高不可攀”的半導(dǎo)體芯片設(shè)計(jì)門檻也會降低,甚至并非專門擁有該領(lǐng)域技術(shù)技能的人也可以參與其中。作為參與者之一,紐約大學(xué)坦登工程學(xué)院電氣與計(jì)算機(jī)工程系、紐約大學(xué)網(wǎng)絡(luò)安全中心助理教授哈蒙德?皮爾斯博士(Dr. Hammond Pearce)自己坦言,“我根本不是芯片設(shè)計(jì)專家,這是我設(shè)計(jì)的第一塊芯片,這也正是為什么我覺得它會如此令人印象深刻的原因?!蹦壳霸擁?xiàng)研究已經(jīng)發(fā)布在arxiv預(yù)印本平臺上,論文題為ChipChat:對話式硬件設(shè)計(jì)的機(jī)遇與挑戰(zhàn)。在論文中,研究團(tuán)隊(duì)展示了兩名硬件工程師如何通過用英語與GPT-4“交流”,進(jìn)而設(shè)計(jì)出新型微處理架構(gòu)并送去制造的過程。他們到底如何完成ChipChat項(xiàng)目研究的?一起來看看。一個“好奇”翻開了生成式AI的另一面
ChipChat項(xiàng)目的啟動或許只是源于一個“好奇”。人工智能潮涌下,多數(shù)人對于大語言模型(LLM)的理解仍然停留在“好玩”,但皮爾斯博士顯然并不這么認(rèn)為。ChipChat項(xiàng)目就是要探索——現(xiàn)有的生成式AI大語言模型在硬件設(shè)計(jì)領(lǐng)域的能力和局限性。一般來說,開發(fā)任何類型的硬件,包括芯片在內(nèi),都需要從常用語言的需求描述開始,然后通過需求對接,再讓專業(yè)的工程師用適合開發(fā)的語言對硬件進(jìn)行描述。在上述過程中,我們需要將自然語言描述轉(zhuǎn)換成硬件描述語言 (HDL),比如Verilog,這使得只有少數(shù)經(jīng)多年培訓(xùn)的工程師才能上手。ChipChat項(xiàng)目正是面向該問題探索解決途徑。為此,研究團(tuán)隊(duì)計(jì)劃先通過對話的方式讓AI生成相應(yīng)代碼,然后對代碼加以檢驗(yàn),直到確認(rèn)無誤后,他們再將編寫的Verilog交付工廠進(jìn)行生產(chǎn);基于上述思路,他們用提示詞一同測試了OpenAI旗下ChatGPT的4和3.5版,以及谷歌的Bard和HuggingChat一共4種生成式對話AI,通過對話方式提供提示詞,讓它們設(shè)計(jì)一個8位移位寄存器。這4個大語言模型均為近期熱門角色,其中,GPT-4發(fā)布于今年3月份,3.5版本的推出時(shí)間是在去年11月。HuggingChat是來自Huggingface平臺的開源對話模型,推出時(shí)間為今年4月。初步測試顯示,Bard和HuggingChat兩個模型在測試中對話生成設(shè)計(jì)一直未能滿足設(shè)計(jì)要求,研究團(tuán)隊(duì)嘗試5次仍未能達(dá)標(biāo)。相比下,兩個版本ChatGPT的設(shè)計(jì)初步滿足了設(shè)計(jì)規(guī)格要求。即便發(fā)生錯誤,經(jīng)過調(diào)試,ChatGPT亦能自行調(diào)整代碼,以達(dá)到人類要求:更進(jìn)一步,研究團(tuán)隊(duì)讓兩個版本的ChatGPT面向更多需求進(jìn)行相關(guān)設(shè)計(jì),再依靠模擬反饋結(jié)果進(jìn)行調(diào)試。這其中,“NFN”為無需反饋直接完成任務(wù);“TF”指的是AI依據(jù)機(jī)器運(yùn)行結(jié)果反饋,最終調(diào)整好了結(jié)果;“SHF”及“AHF”,為簡單與復(fù)雜的人類反饋指導(dǎo)下AI完成了任務(wù);倘若會話超過25條消息或需要人類上手,則視為失敗,即“FAIL”。具體如下圖。能看出GPT-4表現(xiàn)明顯好于更早版本,面對諸多基準(zhǔn)測試失敗情況很少,且對話輪數(shù)也明顯少于GPT-3.5。在前面基礎(chǔ)上,研究者們通過124次對話成功讓GPT-4設(shè)計(jì)出一個8位累加器微處理器,經(jīng)由Skywater 130nm shuttle進(jìn)行制造。團(tuán)隊(duì)聲稱,這項(xiàng)研究標(biāo)志著大語言模型設(shè)計(jì)的 IC 首次真正投入生產(chǎn)。但值得一提的是,即便表現(xiàn)最好的GPT-4仍然耗費(fèi)了研究者很多時(shí)間調(diào)試、不斷給提示詞,有的代碼生成了數(shù)十次。且研究者承認(rèn),目前如果沒有人類提示,AI還不能獨(dú)立進(jìn)行芯片設(shè)計(jì),但作者仍然認(rèn)為,它可以在設(shè)計(jì)通用模塊時(shí)節(jié)省工程師們的時(shí)間。此外,他們還需要進(jìn)一步測試來識別和解決 AI 用于芯片設(shè)計(jì)所涉及的安全問題。生成式AI應(yīng)用于芯片設(shè)計(jì)并非首次
介紹下本文的作者們。哈蒙德?皮爾斯博士是紐約大學(xué)坦登工程學(xué)院電氣與計(jì)算機(jī)工程系、紐約大學(xué)網(wǎng)絡(luò)安全中心的研究助理教授,主攻方向?yàn)樾畔⑽锢硐到y(tǒng)(cyber-physical systems,CPS)及其網(wǎng)絡(luò)安全,同時(shí)兼顧研究機(jī)器學(xué)習(xí)在該領(lǐng)域設(shè)計(jì)和應(yīng)用中潛在的影響。除了前述提到的皮爾斯博士,ChipChat項(xiàng)目的其他成員也均來自于紐約大學(xué)坦登工程學(xué)院,包括拉梅什·卡里教授(Ramesh Karri)、研究所副教授希達(dá)赫·加爾格(Siddharth Garg)和博士生杰森·布洛克洛夫(Jason Blocklove)。拉梅什?卡里教授是洪堡獎學(xué)金的獲得者(the recipient of the Humboldt Fellowship)和美國國家科學(xué)基金會職業(yè)將獲得者(the National Science Foundation CAREER Award),在紐約大學(xué)坦登工程學(xué)院電氣和計(jì)算機(jī)工程系任教授。迄今為止,他已經(jīng)發(fā)布期刊和會議出版物超200件,包括多次在IEEE上發(fā)表署名文章。希達(dá)赫?加爾格在紐約大學(xué)坦登工程學(xué)院ECE研究所任副教授一職,其研究方向是機(jī)器學(xué)習(xí)、網(wǎng)絡(luò)安全和計(jì)算機(jī)硬件設(shè)計(jì)。2015年,Siddharth Garg獲得美國國家科學(xué)基金會職業(yè)獎。同時(shí),他在計(jì)算機(jī)工程和計(jì)算機(jī)硬件領(lǐng)域的多個頂級會議的技術(shù)計(jì)劃委員會任職,并擔(dān)任IEEE和ACM多個期刊的審稿人。以上大牛們的嘗試雖然聽起來新潮,但事實(shí)上將AI應(yīng)用于包括芯片在內(nèi)的硬件設(shè)計(jì)已經(jīng)并非一個新概念。早在2021年時(shí),谷歌團(tuán)隊(duì)曾發(fā)布論文《A graph placement methodology for fast chip design》,其中就介紹了一種用于芯片版面規(guī)劃的深度強(qiáng)化學(xué)習(xí)方案。通過該方法自動進(jìn)行芯片版面規(guī)劃,所需時(shí)間可以壓縮到6小時(shí)以內(nèi),且設(shè)計(jì)出來的芯片在關(guān)鍵指標(biāo),如功耗、性能以及芯片面積等,均可相媲美人類設(shè)計(jì)的產(chǎn)品,甚至有過之而無不及。彼時(shí),該團(tuán)隊(duì)還透露這一方法將會用在設(shè)計(jì)下一代人工智能加速器上,并且相比人類成果而言,可為每代加速器設(shè)計(jì)節(jié)省數(shù)千小時(shí)。除了谷歌之外,英偉達(dá)、三星、新思、Cadence等都在積極探索如何用深度強(qiáng)化學(xué)習(xí)設(shè)計(jì)芯片電路。在英偉達(dá)相關(guān)研究人員發(fā)布的論文《PrefixRL:Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning》中提出了PrefixRL,該方法不僅證明AI可以從頭開始設(shè)計(jì)電路,而且比EDA工具設(shè)計(jì)的更小、更快。在英偉達(dá)最新的Hopper架構(gòu)中,就擁有13000個AI設(shè)計(jì)的電路的實(shí)例。值得補(bǔ)充的是,人工智能三巨頭之一的LeCun最近在連線智源大會演講中,重申了自己一如既往的觀點(diǎn):“基于自監(jiān)督的語言模型無法獲得關(guān)于真實(shí)世界的知識”。他繼續(xù)補(bǔ)充道:“人類有許多知識是目前無法被語言系統(tǒng)所觸達(dá)的”。由此可見,對話AI到底能不能參與芯片及硬件設(shè)計(jì),目前還未達(dá)成共識。參考資料:1.《Chip-Chat: Challenges and Opportunities in Conversational Hardware Design》,Jason Blocklove, Siddharth Garg, Ramesh Karri, Hammond Pearce
2.《Chip Chat: Conversations with AI models can help create microprocessing chips, NYU Tandon researchers discover》,NYU TANDON
3.《Exclusive Interview: NYU Team Taps ChatGPT to Design Processor From Scratch》,Jake Hertz
點(diǎn)擊圖片即可跳轉(zhuǎn)報(bào)告鏈接關(guān)鍵詞:
責(zé)任編輯:資料來源:arXiv等作者:詹士Enzo物聯(lián)網(wǎng)智庫原創(chuàng)導(dǎo)讀史無前例的嘗試!
在SUV界有一個爭論已久的話題,就是5座SUV和7座SUV到底應(yīng)該怎么選。每
湖南日報(bào)·新湖南客戶端6月24日訊(通訊員秦浩唐游光陳前)6月23日上午
為弘揚(yáng)中華民族優(yōu)秀傳統(tǒng)文化,營造濃厚節(jié)日氛圍,端午節(jié)假期,河北省石
資料來源:arXiv等作者:詹士Enzo物聯(lián)網(wǎng)智庫原創(chuàng)導(dǎo)讀史無前例的嘗試!
在SUV界有一個爭論已久的話題,就是5座SUV和7座SUV到底應(yīng)該怎么選。每
已造成31人死亡的寧夏回族自治區(qū)銀川市興慶區(qū)民族南街富洋燒烤店發(fā)生燃
6月24日,記者從省水文局獲悉,6月22日20時(shí)至24日08時(shí),廣東“龍舟水”
黑龍江黑河市的五大連池火山群,被譽(yù)為天然的“火山博物館”,擁有我國
此頁面是否是列表頁或首頁?未找到合適正文內(nèi)容。
黑龍江省招生考試院根據(jù)高考成績(不含照顧政策分),經(jīng)統(tǒng)計(jì)生成各科類
湖南日報(bào)·新湖南客戶端6月24日訊(通訊員秦浩唐游光陳前)6月23日上午
近日貴州六盤水六枝特區(qū)九龍街道一烤鴨店因搬運(yùn)人員將未熄滅的煙頭丟入
(七)隨遷子女審核結(jié)論為“限報(bào)省屬院校”的考生,只能填報(bào)所有批次
@Zuby_Tech帶來了世界各地《最終幻想16》的宣發(fā)現(xiàn)場圖,包括英國,日本
1、青稞面。2、青稞是藏族的主食。3、青稞面是青稞磨成的粉營養(yǎng)健康。
當(dāng)?shù)貢r(shí)間6月23日,俄羅斯外交部發(fā)表聲明表示,歐盟通過的針對俄羅斯的
為弘揚(yáng)中華民族優(yōu)秀傳統(tǒng)文化,營造濃厚節(jié)日氛圍,端午節(jié)假期,河北省石
根據(jù)荷多個記者和媒界報(bào)道,阿賈克斯的中后衛(wèi)廷貝爾將正式加盟阿森納,
參考消息網(wǎng)6月24日報(bào)道據(jù)俄羅斯衛(wèi)星社6月24日報(bào)道,俄羅斯國防部向“瓦
據(jù)快船隨隊(duì)記者TomerAzarly報(bào)道,快船總裁勞倫斯-弗蘭克表示,倫納德已
單體式區(qū)塊鏈在持續(xù)一段時(shí)間后終于出現(xiàn)了區(qū)塊鏈三難問題,因?yàn)樗鼈冊噲D
hello大家好,我是城鄉(xiāng)經(jīng)濟(jì)網(wǎng)小晟來為大家解答以上問題,高蜜鄒凱電視
《科創(chuàng)板日報(bào)》6月24日訊馬斯克旗下太空探索公司SpaceX又有新動作。當(dāng)
一、李雨桐薛之謙事件始末?①李雨桐和薛之謙事件是在2017年9月12日的
近日,任澤區(qū)交警大隊(duì)的民警在轄區(qū)邢州湖路口執(zhí)勤時(shí)接到群眾求助稱,家
【北京:觀象臺地表溫度連續(xù)三天超60℃】北京市氣象臺消息,截至6月24
北海市下轄海城區(qū)、銀海區(qū)、鐵山港區(qū)、合浦縣2023年一級建造師考試什么
遼寧省高中等教育招生考試委員會6月24日公布遼寧省2023年普通高等學(xué)校
1、秦代帝陵帝號及姓氏在位時(shí)間陵名埋葬地址陪葬情況秦始皇蠃政前221--
海原縣氣象臺2023年06月24日15時(shí)21分發(fā)布冰雹橙色預(yù)警信號:預(yù)計(jì)未來3小
1、空城計(jì)鄭希怡213宿舍萬歲--!已經(jīng)沒有能和你分享的話題在一起世界像
如何快速通關(guān)崩壞星穹鐵道的混沌9呢?雖然很多人已經(jīng)成功通關(guān)了,但對
6月23日晚間,建業(yè)地產(chǎn)(HK00832,股價(jià)0 128港元,市值3 89億港元)發(fā)
1、答:根據(jù)香港交易所的安排,香港證券交易時(shí)間共分為開市前時(shí)段、早
2023-06-23新聞目錄1 “融行八閩”閩臺融合發(fā)展主題兩岸媒體聯(lián)合采訪活
家樂福又一家店突然貼出告示,宣布將停業(yè)閉店!與廣州市民相伴了18年的
黃河新聞網(wǎng)訊(記者侯津剛)6月24日,隨著端午假期臨近尾聲,中國鐵路
烏克蘭內(nèi)政部長顧問安東·格拉什琴科:俄羅斯羅斯托夫當(dāng)?shù)孛襟w報(bào)道稱,
▲6月23日,市民和游客正在重慶(中國)三峽博物館參觀游覽。端午節(jié)假期,
只要你保持前行,生活的彩蛋就會在不經(jīng)意時(shí)出現(xiàn)。這句話用在劉元杰身上
西山公園白云在藍(lán)天的懷抱中徜徉湖中心的青荷、紫荷欲放羞羞答答風(fēng)吹過
對于總是變綠的智能交通燈,你會怎么說?災(zāi)難食譜?一位讀者對另一個網(wǎng)站
本報(bào)訊(記者管有明通訊員沈怡)粽葉舞動,艾草飄香……近日,姑蘇區(qū)白
梁朝偉與豪門聚會,緊摟富婆合影心情佳,這次“雙面人”面紗揭開梁朝偉
今天是端午小長假最后一天。返程客流遇上“暴力梅”,申城交通狀況備受
開局一張圖:這是Lofi 的開發(fā)者@Hwang炫耀的圖片,羨慕他有這樣的神仙
高考結(jié)束了,分?jǐn)?shù)正在陸續(xù)放出,四川率先放榜,幾家歡喜幾家愁。
百萬醫(yī)療保險(xiǎn)是一種特殊的醫(yī)療保險(xiǎn)險(xiǎn)種,它為被保險(xiǎn)人提供高額度的醫(yī)療
【燉豆腐的食材明細(xì)】豆腐、瘦肉、蔥、蒜、小米辣【做法】瘦肉切成條,
1、經(jīng)紀(jì)業(yè)務(wù)部2、經(jīng)紀(jì)業(yè)務(wù)部就是證券公司的營業(yè)部門,我們在街上隨處可
七大神界的神祇,有的在焦急,有的在祈禱,剛從黑洞逃脫,一切穩(wěn)定下來
這段時(shí)間以來,當(dāng)?shù)亟腆w局邀請高校教師、專家,組織了一系列這樣的活動
肛門出現(xiàn)肉疙瘩,很大程度上是痔瘡引起的。其中內(nèi)痔和外痔,或者說混合
Xbox游戲工作室負(fù)責(zé)人MattBooty表示,微軟還沒有決定是否在PlayStation
1、《柳公權(quán)《神策軍碑》》是上海錦繡文章出版社出版的圖書,作者是鄧
央視網(wǎng)消息:青藏鐵路西格段提質(zhì)工程完成后,復(fù)興號動車將正式上線運(yùn)營
為進(jìn)一步優(yōu)化營商環(huán)境,發(fā)揮好早餐會問需紓困功能,高效、務(wù)實(shí)服務(wù)企業(yè)
加強(qiáng)燃?xì)庥闷焚|(zhì)量安全監(jiān)管,對燃?xì)庥迷罟荛y和燃?xì)庑孤﹫?bào)警器等重點(diǎn)產(chǎn)品
全國多地高考成績正陸續(xù)公布,志愿填報(bào)工作將開啟。同學(xué)們準(zhǔn)備報(bào)考哪所
快科技6月24日消息,再過2個多月蘋果就要發(fā)布iPhone15系列手機(jī)了,今年
突然火起來的劉元杰,打過工、創(chuàng)過業(yè)、學(xué)過平面設(shè)計(jì),還寫過網(wǎng)絡(luò)小說。
武漢消防“新藍(lán)牌”粽子,暖胃更暖心安康端午臨中夏,時(shí)清日復(fù)長隨著五
上次出現(xiàn)的問題,我以為解決完了,沒想到又出現(xiàn)了。經(jīng)過咨詢得知,還有
hello大家好,我是城鄉(xiāng)經(jīng)濟(jì)網(wǎng)小晟來為大家解答以上問題,張珊珊到底是
近日,日本不顧國內(nèi)外強(qiáng)烈反對,強(qiáng)行開始試運(yùn)行核污染水排海設(shè)備。22日
2023年濟(jì)寧市初中學(xué)業(yè)水平考試(即中考)成績查詢平臺已開放,考生可通
今天給各位分享男子騎行被線纜套中脖子重摔倒地的知識,其中也會對男子
“輕汗微微透碧紈,明朝端午浴芳蘭”。民間習(xí)俗認(rèn)為,端午陽氣旺盛,是
一、包工活屬于雇傭關(guān)系嗎?由于包工活完成的是雇主所特別指派的任務(wù)或
1、人糖是創(chuàng)立于2019年的女性情趣品牌,寓意“成年人世界里的一點(diǎn)甜“
隨著科技的不斷進(jìn)步和人口老齡化的加劇,醫(yī)療機(jī)器人正逐漸成為醫(yī)療行業(yè)
1、《柳公權(quán)楷書·玄秘塔》是四川美術(shù)出版社出版的圖書,作者是蘇杭編
坦白地說,HF的三部曲肯定是應(yīng)該能做得更好的,在人物刻畫和劇情編排上
旅行大巴修好后,28名滯留的畢業(yè)生們與幫助她們的“路燈”志愿者合影留
太白縣氣象臺2023年06月24日14時(shí)35分發(fā)布冰雹橙色預(yù)警信號:預(yù)計(jì)未來6
近日,各省相繼公布2023年高考成績和錄取分?jǐn)?shù)線,高考志愿如何填報(bào)?考
圖片來自網(wǎng)絡(luò)每個人都想強(qiáng)大,那么,如何擁有強(qiáng)者思維呢?擁有強(qiáng)者
三言科技6月24日消息,據(jù)貓眼專業(yè)版微博,貓眼專業(yè)版數(shù)據(jù)顯示,電影《
6月20日,萬安油桃電商節(jié)在山西省運(yùn)城市新絳縣萬安鎮(zhèn)舉辦?;顒右?ldquo;電
科學(xué)界普遍認(rèn)為,二氧化碳等溫室氣體排放與全球氣候變化有著密切關(guān)系。
紅星新聞網(wǎng)6月23日訊?2023年6月23日1時(shí)40分許,莊河市蓉花山鎮(zhèn)發(fā)生一
原標(biāo)題:國安隊(duì)小勝淄博晉級足協(xié)杯16強(qiáng)北京日報(bào)訊(記者王洋)昨晚,北
俄羅斯內(nèi)戰(zhàn)爆發(fā),25000名雇傭軍造反俄羅斯衛(wèi)星網(wǎng)報(bào)道,瓦格納集團(tuán)首領(lǐng)
央廣網(wǎng)北京6月24日消息據(jù)中央廣播電視總臺中國之聲《新聞和報(bào)紙摘要》
1、老一輩的,金古梁不用多說,必看。2、溫瑞安和黃易根據(jù)個人興趣看,
從新世紀(jì)互聯(lián)網(wǎng)伊始,到如今電商形態(tài)的快速發(fā)展,云計(jì)算產(chǎn)業(yè)在中國生根
當(dāng)?shù)貢r(shí)間24日,根據(jù)塔斯社報(bào)道,,所有最重要的設(shè)施、國家政府機(jī)構(gòu)和
眾所周知,造車是一件非常燒錢的事,以造車新勢力“蔚小理”,2022年的
據(jù)海南省地震局網(wǎng)站6月24日消息,北京時(shí)間2023年6月24日3時(shí)7分在北部灣
人民網(wǎng)北京6月24日電(歐陽易佳)6月23日18時(shí),水利部和中國氣象局聯(lián)合發(fā)
6月25日至27日,世界互聯(lián)網(wǎng)大會數(shù)字文明尼山對話在中國山東濟(jì)寧曲阜召
警燈閃爍,警笛急促連闖紅燈,一路疾馳6月23日晚上在九江永修縣云山集
新一輪高溫天氣到來,多地將現(xiàn)今年以來最長連續(xù)高溫。烈日炎炎,總有人
日前,憑借著高效太陽能電池和組件檢測技術(shù)及裝備,陜西眾森電能科技有
1、朋友圈功能被停用怎么解決:以Iphone12,ios14系統(tǒng),微信7 0 14為例
6月23日晚間,建業(yè)地產(chǎn)(HK00832,股價(jià)0 128港元,市值3 89億港元)發(fā)
煙草栽培與加工技術(shù)學(xué)什么課程及畢業(yè)薪酬崗位去向就業(yè)前景怎么樣?下面
1、主人公,智力,體力都較常人更勝一籌。2、還是很小的時(shí)候就被祖父逼
【在這片遼闊的土地上?】光明日報(bào)記者 陳晨記者從農(nóng)業(yè)農(nóng)村部了解
GuangdongGuangyunNewMaterialCo ,Ltdisaleadinghigh-techenterprisein
第28屆上海電視節(jié)“白玉蘭綻放”頒獎典禮圓滿落幕,雷佳音、吳越分別捧
(相關(guān)資料圖)(相關(guān)資料圖)1、清燉魚的做法請點(diǎn)擊輸入圖片描述1 準(zhǔn)備食
來為大家解答以上問題,俠盜獵車罪惡都市電話亭任務(wù)通關(guān)秘籍,俠盜獵車