AI将是数学家的得力助手，陶哲轩谈AI在证明过程中的潜力
AI将是数学家的得力助手，陶哲轩谈AI在证明过程中的潜力AI 将大大提高数学研究的效率。
来自主题: AI资讯
10525 点击 2024-06-16 18:10
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
AI 将大大提高数学研究的效率。
「原来以为语料已经匮乏了，大模型训练已经没有语料了，实际上不是的，数据还远远没有跑光」。
AI写了这么多代码，你还应该学习计算机科学吗？新的数据表明，学生们仍然成群结队地在大学里选修计算机：加州大学伯克利分校（UCB）计算机科学专业的一年级申请人数猛增48%！UCB教授分析，AI还没有学会创新，人类软件开发者可以利用AI提质增效。
微软Build大会前脚刚放出一箩筐生产力革命最新进展：自定义Copilot、Team Copilot、Copilot扩展……
Geoffrey Hinton老爷子——图灵奖得主、深度学习发明人、AI三巨头、Ilya之师，在最新专访中透露出这个令人心碎的消息。
AGI太遥远，只有模型降价是共识。
智源研究院公布大模型全家桶及全栈开源技术基座全新版图。
创造数字世界的能力，对于中小企业而言至关重要。
Devv AI 是一款专为程序员朋友设计的人工智能搜索引擎，可为与编程相关的查询提供快速、准确的结果。
给人才充足的GPU，是很重要的！
什么是 AGI？大模型和 Scaling Law 是其实现基座吗？怎么看价格战？四家大模型公司给出了自己的答案。
从360到AI视频大赛，为什么版权战争越来越激烈？
眼见自己的对手结成同盟后，马斯克如果还能稳坐钓鱼台才怪了。
「超级对齐」团队集体出走后，OpenAI最近正在频繁招聘，但不是技术团队，而是高管。前有CFO走马上任，今天又有一个退役的陆军上将成为董事会新成员。
这几天，最新发布的Stable Diffusion 3和Luma AI的视频生成模型Dream Machine相继发布，但这两个模型却用非常独特的方式震撼到了网友们。Dream Machine加上二创脑洞成为快乐源泉，SD3输出的诡异图片却散发着浓浓的「黑色幽默」。
团队成员均来自斯坦福大学，CTO还是泰勒·斯威夫特的铁杆粉丝。
本周五，一年一度的AI春晚“北京智源大会”正式开幕。本次大会AI明星浓度，放在全球范围内可能也是独一份：OpenAI Sora负责人Aditya Ramesh作为神秘嘉宾进行了分享，并接受了DiT作者谢赛宁的“拷问”、李开复与张亚勤炉边对话AGI、还集齐了国内大模型“四小龙”，百川智能CEO王小川、智谱AI CEO张鹏、月之暗面CEO杨植麟、面壁智能CEO李大海…… 这还只是第一天上午的开幕式。
Copilot GPTs 下月停服，Recall AI 功能也被推迟发布，微软这是啥情况？
实时 Pk、“蒙面“ 对垒、大众点评、定期排名...... 就问敢不敢揭榜
AI Agent热度不低，但是企业真的在使用智能体了吗？ 为了更加了解AI Agent落地现状，量子位·视点邀请到了汇智智能联合创始人樊刚正，一同来交流AI Agent正在以什么样的方式与具体场景相融合。
让AI画漫画角色保持一致的新研究来了！
发布不到2天，那个号称“下一代”文生视频的Dream Machine（来自Luma AI），大大大大翻车。
苹果，AI，Cook，一起霸占了这几天的科技圈头条。
本文编译自播客 20VC，Harry Stebbings 与 Matt Lerner 谈论了 AI 时代中初创企业的最佳增长方法论。
20美元，所有眼镜都能变成AI智能眼镜
本周国内最受关注的AI盛事，今日启幕。 活动规格之高，没有哪个关心AI技术发展的人能不为之吸引—— Sora团队负责人Aditya Ramesh与DiT作者谢赛宁同台交流，李开复与张亚勤炉边对话，Llama2/3作者Thomas Scialom，王小川、杨植麟等最受关注AI创业者……也都现场亮相。
夸克App升级高考AI搜索、智能志愿工具等功能，辅助千万考生家庭提升填报效率。
股价一天大涨7%的苹果，终将干掉其他互联网巨头？
会用AI的人，才会说真的好用
360AI陷盗图风波，周鸿祎沉默坐实侵权？