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

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: 
跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明

跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明

跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明

在陶哲轩的启发下,越来越多的数学家开始尝试利用人工智能进行数学探索。这次,他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。

来自主题: AI技术研报
6596 点击    2024-05-02 18:05
热归热,Groq离取代英伟达GPU有多远?

热归热,Groq离取代英伟达GPU有多远?

热归热,Groq离取代英伟达GPU有多远?

2024 年 4 月 20 日,即 Meta 开源 Llama 3 的隔天,初创公司 Groq 宣布其 LPU 推理引擎已部署 Llama 3 的 8B 和 70B 版本,每秒可输出token输提升至800。

来自主题: AI技术研报
7461 点击    2024-05-02 18:03
邮件曝光,微软为追谷歌脚步才投资了OpenAI,纳德拉回应:才不是

邮件曝光,微软为追谷歌脚步才投资了OpenAI,纳德拉回应:才不是

邮件曝光,微软为追谷歌脚步才投资了OpenAI,纳德拉回应:才不是

微软与 OpenAI 之间的关系紧密而复杂。在 OpenAI CEO Sam Altman 陷入辞退的风波时,微软 CEO 纳德拉曾多次力挺他,并向他抛出橄榄枝。当这场 OpenAI「宫斗」过去后,纳德拉也表示,无论 Altman 身在何处,仍然会支持他。

来自主题: AI技术研报
10052 点击    2024-05-02 18:01
Meta 联合纽约大学和华盛顿大学提出MetaCLIP,带你揭开CLIP的高质量数据之谜。

Meta 联合纽约大学和华盛顿大学提出MetaCLIP,带你揭开CLIP的高质量数据之谜。

Meta 联合纽约大学和华盛顿大学提出MetaCLIP,带你揭开CLIP的高质量数据之谜。

自2021年诞生,CLIP已在计算机视觉识别系统和生成模型上得到了广泛的应用和巨大的成功。我们相信CLIP的创新和成功来自其高质量数据(WIT400M),而非模型或者损失函数本身。虽然3年来CLIP有大量的后续研究,但并未有研究通过对CLIP进行严格的消融实验来了解数据、模型和训练的关系。

来自主题: AI技术研报
12688 点击    2024-05-02 17:54
全新神经网络架构KAN一夜爆火!200参数顶30万,MIT华人一作,轻松复现Nature封面AI数学研究

全新神经网络架构KAN一夜爆火!200参数顶30万,MIT华人一作,轻松复现Nature封面AI数学研究

全新神经网络架构KAN一夜爆火!200参数顶30万,MIT华人一作,轻松复现Nature封面AI数学研究

一种全新的神经网络架构KAN,诞生了! 与传统的MLP架构截然不同,且能用更少的参数在数学、物理问题上取得更高精度。

来自主题: AI技术研报
4904 点击    2024-05-02 17:52
AI重塑科研:新工具不断涌现,但能否触及真正的“科学”?

AI重塑科研:新工具不断涌现,但能否触及真正的“科学”?

AI重塑科研:新工具不断涌现,但能否触及真正的“科学”?

人工智能(AI)工具正在改变科学研究的方式。AlphaFold基本解决了蛋白质结构预测难题;DeepMD大大提高了分子模拟的效率和精度;而新兴的大型语言模型,如ChatGPT等,也正在科学研究领域开疆拓土。

来自主题: AI技术研报
11358 点击    2024-05-02 11:08