“新智元”的搜索结果
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
新智元报道了加州理工学院团队在形式化数学工具Lean Copilot方面的最新进展。Lean Copilot是一个自动化数学证明工具，能够辅助数学家进...
发布几小时，微软秒删媲美GPT-4开源大模型！竟因忘记投毒测试
微软近期发布了一款新的大型语言模型WizardLM-2，该模型被宣称具有与GPT-4相媲美的性能。然而，令人意外的是，这个模型在上线几小时后就...
小扎自曝愿开源100亿美元模型！2025年AGI没戏，能源短缺成最大瓶颈
在最新的播客访谈中，Facebook的创始人马克·扎克伯格（小扎）表达了他对开源AI模型的支持态度，并分享了他对人工通用智能（AGI）实现的...
清华系发布全新金融AI，数秒完成金融数据大海捞针！金融民工直呼要失业
国产首款金融数据分析AI「功夫量化」的推出，标志着AI技术在金融数据分析领域的重大突破。这款产品能够在数秒内完成PB级金融数据分析，...
「个性化」图像生成时代来了！六大顶尖高校联手发布全新Gen4Gen框架
近年来，基于文本的图像生成技术取得了显著进展，特别是在生成个性化内容方面。个性化内容生成指的是用户提供一组最小概念图像集，然后...
Llama 3每秒输出800个token逼宫openAI！下周奥特曼生日或放出GPT-5？
文章介绍了Llama 3的开源对人工智能领域的重大影响。Llama 3在发布不到一周的时间内就展现出了惊人的性能，超越了许多其他开源和闭源模...
AI教母李飞飞：AI学术界没钱没资源！没有拨款将会凋亡
随着科技公司提供的高薪酬和资源，越来越多的科研人才选择离开学术界，转投科技大厂。这一现象引起了AI领域的广泛关注，包括斯坦福大学...
北大图灵班00后学子夺得五金！北大荣获国际大学生程序设计竞赛全球总冠军
北大六位本科生在国际大学生程序设计竞赛中取得了显著成绩，其中两位图灵班21级本科生和一位数院20级本科生获得了第46届赛事的冠军，而...
开源模型打败GPT-4！LLM竞技场最新战报，Cohere Command R+上线
【新智元导读】近日，LLM竞技场的最新战报显示，Cohere发布的开源模型Command R+在不到一周的时间内就超越了GPT-4，成为历史上第一个击...
清华叉院教授扔出量子密码学重磅炸弹！论文引业界轰动，但算法被发现bug
这篇文章介绍了清华大学交叉信息研究院助理教授陈一镭提出的全新「破解格密码的量子算法」，该算法旨在解决格上的近似最短向量问题（Lat...
