-
机器人学会转笔、盘核桃了！GPT-4加持，任务越复杂，表现越优秀
在 Nvidia Omniverse 平台上的，这是一个基于 Open USD 框架用于创建 3D 工具和应用程序的开发框架。 论文链接：https://arxiv.org/pdf/2310.12...
-
声音揭示健康秘密：新 AI 技术用六秒钟的录音即可诊断出 2 型糖尿病
声音技术在识别 2 型糖尿病和其他健康问题方面的巨大潜力。声音技术可以作为一个可靠和经济的数字筛查工具，引领医疗变革。”他还表示，这种技术可能也可以用于测试高血压、糖尿病前期和妇女健康等方面。...
-
DeepMind：大模型又曝重大缺陷，无法自我纠正推理，除非提前得知正确答案
tQA 为 100 个问题）进行测试。 结果和思考 图片 虽然研究人员在实验中没有利用任何外部资源或工具，但研究人员遵循之前的工作，使用真值标签来确定何时停止自我校正循环。 但是在现实环境中，尤其是当...
-
分析师：苹果最早将于明年底将生成式AI整合到iPhone和iPad中
。一位前苹果工程师提到，添加一个新短语就要重建Siri数据库，前后可能需要长达六周的时间，而添加搜索工具等更复杂的功能可能需要一年多的时间。 苹果首席执行官蒂姆·库克（Tim Cook）在一次采访中曾...
-
Meta重磅更新，小扎在元宇宙里养了会做家务的狗！人形化身超逼真，AI智能体在真实物理世界和人互动
展性限制，还可能存在安全问题。 这就需要建立标准化的基准程序。 因此，Meta的研究者们开发了一套新工具，用于跨模拟器、数据集的机器人研究。 他们还开发了一个包含软硬件的技术堆栈，让这方面的研究更容易...
-
数学逻辑和计算机程序代码之间的深层联系：互为镜像
了坚实的理论基础。 而在数学领域，这种对应关系已经催生出了证明助手（proof assistant）工具，其也被称为交互式定理证明器（interactive theorem prover）。这些软件工...
-
参数少近一半，性能逼近谷歌Minerva，又一个数学大模型开源了
包含 11B 专门与数学相关的代码 token 的数据集。 3. 证明了 LLEMMA 能够使用计算工具来解决数学问题，即 Python 解释器和形式定理证明器。 4. 与之前的数学语言模型（如 Mi...
-
评论能力强于GPT-4，上交开源13B评估大模型Auto-J
众对技术可靠性的担忧。 为此，上海交通大学生成式人工智能实验室迅速响应，推出了一款全新的价值对齐评估工具：Auto-J，旨在为行业和公众提供更 随着生成式人工智能技术的快速发展，确保大模型与人类价值...
-
斯坦福公开十大主流模型透明度！Llama 2位列第一，GPT-4透明差，LeCun炮轰：盈利完全理解
产生实际的影响，而且由于平台在执行方面缺乏透明度，我们不知道它们是否有效。 老练的坏人可能会使用开源工具生成伤害他人的内容，因此政策永远不可能是一个全面的解决方案。 基础模型透明度指数 「2023年基...