標簽:問題

「陶哲軒×GPT-4」合寫數學論文!數學大佬齊驚呼,LLM推理神助證明不等式定理

新智元報道編輯:編輯部【新智元導讀】陶哲軒的新論文,竟是用GPT-4輔助寫的?前不久,GitHub Copilot的驚人能力已經讓陶哲軒不安,現在,眾大佬齊呼數學研究...
閱讀原文

GPT-4推理更像人了!中國科學院提出「思維傳播」,類比思考完勝CoT,即插即用

新智元報道編輯:桃子 好困【新智元導讀】大模型推理難題攻克了?中國科學院聯手耶魯大學的研究人員提出了全新框架「思維傳播」,讓大模型能夠像人類一樣類比...
閱讀原文

慢的不是 Ruby,而是你的數據庫

作者 | Sergio De Simone 譯者 | 明知山 策劃 | 丁曉昀 許多人不停抱怨 Ruby 運行緩慢。誠然,它的確不如人意,然而這并非致命傷,因為問題的根源在于你的數...
閱讀原文

陶哲軒:我用GPT-4輔助證明不等式定理,論文還會上傳arXiv

機器之心報道編輯:杜偉陶哲軒可太喜歡 GPT 系列大語言模型了!近幾個月來,著名數學家陶哲軒熱衷于用 ChatGPT、GPT-4 等 AI 工具輔助解決數學問題。我們也一...
閱讀原文

和谷歌搜索搶活,FRESHLLM「緊跟時事」,幻覺更少,信息更準

機器之心報道機器之心編輯部LLM 能更新知識的話,還有谷歌搜索什么事?大型語言模型的能力有目共睹,如 BARD 和 CHATGPT/GPT-4,被設計成多功能開放域聊天機...
閱讀原文

沉寂四十年,海爾布隆三角問題找到了更小的上界

機器之心編譯編輯:趙陽一項新的證明打破了幾十年來海爾布隆三角問題的上界,雖然數值上只是突破了一點,但卻是三角問題的一大步。假設有一個里面有一堆點的...
閱讀原文

制作莫比烏斯環,最少需要多長紙帶?50年來的謎題被解開了

機器之心編譯編輯:Rome Rome自己動手做過莫比烏斯帶嗎?莫比烏斯帶是一種奇特的數學結構。要構造一個這樣美麗的單面曲面其實非常簡單,即使是小孩子也可以輕...
閱讀原文

LLVM之父Chris Lattner:我的AI基礎設施軟件構建理念

來源:Latent Space編譯:OneFlow翻譯:楊婷、宛子琳如果 AI 如此重要,那么為什么軟件如此糟糕?創辦 Modular 之前,這是讓困擾已久的問題。隨后,他與 Tens...
閱讀原文

ChatGPT可以取代搜索引擎嗎?

來源:deephubChatGPT對于一些簡單的問題,可以完美的完成任務。但是我讓它寫一篇完整的文章,看看它能否代替我進行寫作地的時候,我確定它不能完全取代人類...
閱讀原文

如何評估大語言模型是否可信?這里總結了七大維度

機器之心發布作者:劉揚,Kevin Yao本文提出 7 個主要關鍵維度來全面評估 LLM 可信度。實際部署中,如何 “對齊”(alignment)大型語言模型(LLM,Large Langu...
閱讀原文

蘋果回應iPhone 15 Pro發熱問題/官方辟謠「高鐵因超員無法發車」/「華為中秋發Mate60」為誤傳

?蘋果談 iPhone 15 Pro 發熱問題:因 iOS 17 bug,無硬件設計問題?官方辟謠「高鐵因超員觸發報警無法發車」?2023 國慶檔新片票房破 10 億?官方回應「華為中秋...
閱讀原文

重溫圖靈原理,感受反證法的力量

機器之心編譯選自量子雜志編輯:趙陽圖靈原理揭示了人類永遠不可能做到可知而全知,本文將闡釋圖靈是如何基于對角線證明,從反證法的角度對圖靈原理進行證明...
閱讀原文

斯坦福人本人工智能(HAI)最新研究:計算代理表現出可信的類人行為

來源:科技世代千高原生成代理依靠大型語言模型來記住他們的交互、建立關系并計劃協調事件,這對游戲和社會科學都有影響。2023 年 9 月 21 日|凱瑟琳·米勒在...
閱讀原文

ChatGPT終于正式聯網,還能給出答案出處

機器之心報道編輯:張倩終于結束 2G 沖浪了。剛剛,OpenAI 宣布了一個重要消息:ChatGPT 已經可以正式聯網了。眾所周知,由于訓練數據截止時間的限制,ChatGP...
閱讀原文

對 GPT-4V(ision) 的第一印象

圖文|James Gallagher, Piotr Skalski翻譯|匡萃彪在這個指南中,我們將分享我們對GPT-4V圖像輸入功能的第一印象。我們將進行一系列實驗,測試GPT-4V的功能...
閱讀原文