标签:Azure
AI攻克费马大定理?数学家放弃5年职业生涯,将100页证明变代码
费马大定理,一个数学界几个世纪的难题,曾经是纯粹的人类智力挑战,现在可能即将被AI攻克。英国数学家宣布启动一个项目,使用Lean证明工具将费马大定理的证...
破解36年前魔咒!Meta推出反向训练大法消除大模型「逆转诅咒」
大语言模型的“逆转诅咒”问题,即模型无法理解“如果A是B,则B是A”的逻辑关系,已经被Meta FAIR的研究人员通过一种新的反向训练方法得到改进。这个问题最初在去...
香港大模型公司Weitu AI首秀,打造多模态Native的技术和产品
香港的Weitu AI公司近期推出了一款具有150亿参数的多模态大模型WeituAI 1.0,该模型在多个国际权威评测榜单上取得了显著成绩,不仅超越了同量级的模型,甚至...
GPT-4一眼看穿论文会不会撤稿:7000篇实测准确率高达95%|人大浙大
研究者们发现,通过分析社交媒体上的讨论,尤其是推文,可以预测学术论文是否有可能被撤稿。这一发现源于中国人民大学和浙江大学学者团队的研究,他们利用了G...
有了Kimi之后,就算独自一人,依然可以头脑风暴!
在当今信息爆炸的时代,头脑风暴已经成为一个重要的工具,用于激发创新和解决问题。传统上,头脑风暴被视为一个团队活动,但随着技术的进步,如Kimi这样的工...
靠AI共情人类,这家公司刚融了3个亿
Hume AI公司近期推出了一款名为EVI(EmpatHic Voice Interface)的产品,这是一款能够通过分析人类的语音和声音来理解用户情绪的AI工具。EVI与传统的文本聊天...
【最后一天报名】Sora爆火50天,中国如何发力多模态大模型?|钛媒体AGI沙龙
美国OpenAI公司于今年2月15日发布了一款名为Sora的人工智能视频生成大模型产品,它能够根据用户输入的文字提示生成一分钟内的视频,展现用户想象中的视觉场景...
OpenAI曾转录100万小时视频数据,训练GPT-4
随着人工智能技术的飞速发展,大语言模型(LLM)已成为科技巨头们争夺的新战场。专注于AIGC领域的专业社区密切关注着微软 & OpenAI、百度文心一言、讯飞星火...
美国对AI分歧加剧:摩根大通CEO称将带来蒸汽机式变革,但红杉资本批评企业难盈利|钛媒体AGI
随着人工智能(AI)技术的迅猛发展,美国投资界对于AI的看法出现了严重分歧。摩根大通的CEO杰米·戴蒙在年度股东信中表示,AI技术对人类社会的影响将是非同寻...
N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望
机器之心报道了数学界的一项重大进展:纳维-斯托克斯问题的正则哈密顿公式可能已经找到,这是数学中最著名的未解问题之一。纳维-斯托克斯方程是2000年被列为“...