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

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: o
加州理工华人用AI颠覆数学证明!提速5倍震惊陶哲轩,80%数学步骤全自动化

加州理工华人用AI颠覆数学证明!提速5倍震惊陶哲轩,80%数学步骤全自动化

加州理工华人用AI颠覆数学证明!提速5倍震惊陶哲轩,80%数学步骤全自动化

Lean Copilot,让陶哲轩等众多数学家赞不绝口的这个形式化数学工具,又有超强进化了? 就在刚刚,加州理工教授Anima Anandkumar宣布,团队发布了Lean Copilot论文的扩展版本,并且更新了代码库。

来自主题: AI技术研报
8945 点击    2024-04-23 15:01
开箱黑盒LLM!谷歌大一统框架Patchscopes实战教程来了

开箱黑盒LLM!谷歌大一统框架Patchscopes实战教程来了

开箱黑盒LLM!谷歌大一统框架Patchscopes实战教程来了

虽然大型语言模型(LLM)在各种常见的自然语言处理任务中展现出了优异的性能,但随之而来的幻觉,也揭示了模型在真实性和透明度上仍然存在问题。

来自主题: AI资讯
10129 点击    2024-04-23 14:46
对话蚂蚁李建国:当前AI写代码相当于L2.5,实现L3后替代50%人类编程

对话蚂蚁李建国:当前AI写代码相当于L2.5,实现L3后替代50%人类编程

对话蚂蚁李建国:当前AI写代码相当于L2.5,实现L3后替代50%人类编程

当下,AI代码生成领域正在野蛮式生长,巨头涌入,AI员工频频上线企业;首个AI程序员Devin被曝造假…… 面对风起云涌的代码生成变革,李建国给出了这样一个明确论断。

来自主题: AI技术研报
5802 点击    2024-04-23 14:30
纪源圈 | 影刀推出最新AI产品AI Power,打造all in one的企业AI工作站

纪源圈 | 影刀推出最新AI产品AI Power,打造all in one的企业AI工作站

纪源圈 | 影刀推出最新AI产品AI Power,打造all in one的企业AI工作站

近日,纪源资本被投企业影刀宣布推出最新AI产品——AI Power,一款专为简化企业接入和利用AI技术而设计的无代码开发AI工具。通过企业知识库、集成全球多元大模型、预置丰富AI组件、可视化搭建工作流、多样集成调用等功能,打造all in one的企业AI工作站,帮助企业有效整合孤立的内部、外部系统,让AI无缝衔接企业业务,助力企业快速提效。

来自主题: AI资讯
9985 点击    2024-04-23 14:14
霸总文学火在海外,有人用AI轻松挣了5000万

霸总文学火在海外,有人用AI轻松挣了5000万

霸总文学火在海外,有人用AI轻松挣了5000万

Sora的问世让AI在和人类的大比拼中又再胜一筹,AI文生视频创作的简单和高效给了人类一些来自机器的震撼。

来自主题: AI资讯
10549 点击    2024-04-23 11:04
浅谈当下国内 AI Agent 现状,钉钉和扣子走在前列

浅谈当下国内 AI Agent 现状,钉钉和扣子走在前列

浅谈当下国内 AI Agent 现状,钉钉和扣子走在前列

两个多月前,我写过一篇文章:字节的Coze、扣子和GPTs,有什么区别?浅谈了我对 Agent 和 GPTs 的一些思考。两个月后的今天,我们可以看到,GPTs 逐渐过气,字节的扣子逐步出圈,而钉钉、百度、Dify 等也都上线了工作流功能。且 Agent 的热度也越来越高,尤其是近段时间吴恩达教授在红杉演讲后。

来自主题: AI资讯
13368 点击    2024-04-23 10:43