AI资讯新闻榜单内容搜索-A

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: A
软件公司与OpenAI在AI代理领域激烈竞争

软件公司与OpenAI在AI代理领域激烈竞争

软件公司与OpenAI在AI代理领域激烈竞争

即使企业在努力弄清楚人工智能聊天机器人如何帮助其运营时,他们也正被一种新的人工智能产品淹没:可以独立采取行动的聊天机器人,如安排预约,也称为人工智能代理。

来自主题: AI资讯
6774 点击    2024-09-27 21:11
形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨

形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨

形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨

在这种背景下,研究团队提出了一个全新的框架:SubgoalXL,结合了子目标(subgoal)证明策略与专家学习(expert learning)方法,在 Isabelle 中实现了形式化定理证明的性能突破。

来自主题: AI技术研报
6077 点击    2024-09-27 20:57
Layout工程师危,谷歌自动芯片设计AlphaChip问世,开放权重可外部定制

Layout工程师危,谷歌自动芯片设计AlphaChip问世,开放权重可外部定制

Layout工程师危,谷歌自动芯片设计AlphaChip问世,开放权重可外部定制

2020 年,谷歌发表了预印本论文《Chip Placement with Deep Reinforcement Learning》,介绍了其设计芯片布局的新型强化学习方法。后来在 2021 年,谷歌又发表在 Nature 上并开源了出来。

来自主题: AI资讯
7535 点击    2024-09-27 20:46
与其造神,不如依靠群体的力量:这家公司走出了一条不同于OpenAI的AGI路线

与其造神,不如依靠群体的力量:这家公司走出了一条不同于OpenAI的AGI路线

与其造神,不如依靠群体的力量:这家公司走出了一条不同于OpenAI的AGI路线

看过剧版《三体》的读者或许都记得一个名场面:来自三体的智子封锁了人类科技,还向地球人发出了「你们是虫子」的宣告。但没有超能力的普通人史强却在蝗群漫天飞舞的麦田中喊出:「把我们人类看成是虫子的三体人,他们似乎忘了一个事实,那就是虫子从来就没有被真正地战胜过」。

来自主题: AI资讯
5104 点击    2024-09-27 20:40
3D打印新突破!曼大等提出DQN多样化图形路径规划器:锐角转弯降低超93%,热变形减少25%

3D打印新突破!曼大等提出DQN多样化图形路径规划器:锐角转弯降低超93%,热变形减少25%

3D打印新突破!曼大等提出DQN多样化图形路径规划器:锐角转弯降低超93%,热变形减少25%

香港中文大学等机构的研究团队通过深度强化学习(DQN)开发了一种3D打印路径规划器,有效提升了打印效率和精度,为智能制造开辟了新途径。

来自主题: AI技术研报
9232 点击    2024-09-27 19:28
完全使用「自生成数据」实现LLM自我纠正,DeepMind新突破SCoRe:纠正性能提升15.9%

完全使用「自生成数据」实现LLM自我纠正,DeepMind新突破SCoRe:纠正性能提升15.9%

完全使用「自生成数据」实现LLM自我纠正,DeepMind新突破SCoRe:纠正性能提升15.9%

Google DeepMind的SCoRe方法通过在线多轮强化学习,显著提升了大型语言模型在没有外部输入的情况下的自我修正能力。该方法在MATH和HumanEval基准测试中,分别将自我修正性能提高了15.6%和9.1%。

来自主题: AI技术研报
11907 点击    2024-09-27 19:26