标签：问题
「陶哲轩×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的功能...
粤公网安备 44011502001135号