Meta、斯坦福等:AI的下一个前沿,正是陶哲轩说的形式化数学推理
Meta、斯坦福等:AI的下一个前沿,正是陶哲轩说的形式化数学推理对 AI 研究者来说,数学既是一类难题,也是一个标杆,能够成为衡量 AI 技术的发展重要尺度。近段时间,随着 AI 推理能力的提升,使用 AI 来证明数学问题已经成为一个重要的研究探索方向。
搜索
对 AI 研究者来说,数学既是一类难题,也是一个标杆,能够成为衡量 AI 技术的发展重要尺度。近段时间,随着 AI 推理能力的提升,使用 AI 来证明数学问题已经成为一个重要的研究探索方向。
年末岁尾,人们总习惯于在各类App的年度报告中驻足回望,如同在时间的河流中打捞起一枚枚记忆的琥珀。
研究人员对基于Transformer的Re-ID研究进行了全面回顾和深入分析,将现有工作分类为图像/视频Re-ID、数据/标注受限的Re-ID、跨模态Re-ID以及特殊Re-ID场景,提出了Transformer基线UntransReID,设计动物Re-ID的标准化基准测试,为未来Re-ID研究提供新手册。
从开源与闭源的竞争,到多模态AI与自监督学习,再到能效优化和AI伦理的深入探讨,AI技术的演进将继续带来前所未有的创新机会。
上周发出《AI时代写Prompt应该用APPL:为Prompt工程打造的编程语言,来自清华姚班的博士》之后,文章中实现了一个Google DeepMind的OPRO简单版本的优化方法,这让很多读者非常着迷。
马斯克也开始学会 “twitter 治国”了 。 日前,马斯克在X(原 Twitter )上狂发100条帖文,批评一项两党之前达成的政府预算案,最终该法案被否决,这使得联邦政府几近停摆。
目前关于 RLHF 的 scaling(扩展)潜力研究仍然相对缺乏,尤其是在模型大小、数据组成和推理预算等关键因素上的影响尚未被系统性探索。 针对这一问题,来自清华大学与智谱的研究团队对 RLHF 在 LLM 中的 scaling 性能进行了全面研究,并提出了优化策略。
最新消息,AI 大模型独角兽阶跃星辰已于近日完成 B 轮融资,总融资金额达数亿美元。投资方包括上海国有资本、腾讯投资、五源资本、启明创投等。
2024年,大模型进展不断。从年初的Sora到最新的o3,更新更好的模型不断被推出,“内卷”到底有没有发生?
从韦氏智商测试来看,如果 o3 的 IQ 真这么高,则称得上非常优秀。 OpenAI o3 的智商(IQ)竟然已经这么高了吗 今天,Reddit 上一则热帖宣称「OpenAI o3 的 IQ 估计为 157」,并放出了一张数据图。
刚刚,马斯克xAI官宣完成60亿新融资!
4 周内实现 400 万美元 ARR,2 个月内突破 2000 万 ARR,每天 50 万美元的 ARR 增长。
目前o3放出的信息还不多,但还是有一些内容可以做技术分析的。以及o3的重要性值得做一个专篇讨论。
和“赛博老公老婆”谈恋爱的市场大,但也容易陷入Character AI的道德法律困境
在NeurIPS上,NYU计算机教授看到了一群沮丧和焦虑的博士。AI读博的红利已经消失,五年前那种毕业即被疯抢、高薪又自由的好日子,已经彻底没了。没赶上好时代的博士们,只能一声长叹。
在信息爆炸的时代,我们面对的最大困境是噪音太多。答案无穷无尽,但真正有价值的回答却依然难以找到。
老iPhone又能再战一年。
看完之后感觉OpenAI真的很努力了,但还是没能逃过一劫,这执法颗粒度,真是让人害怕。
智能体基本上已经成为AI行业的共识,如果说有分歧,大概率也是对落地的时间有分歧。
从事客服行业的人,经常要应对巨大的心理压力。不仅要迅速处理客户提出的各种问题,还经常会遇到态度恶劣的“麻烦客户”,这往往让一整天的心情都变得糟糕透顶。结果,就是客服岗位的离职率和人员流动率居高不下,企业很难留住合适的人才。
OpenAI 代号为 Orion 的新 AI 项目遇到了一个又一个问题。
最近,硅谷最有影响力且以“独家”、“深度”著称的科技媒体之一The Information发布了2024「全球50家最具潜力初创公司榜」。
36氪获悉,AIGC科技企业「像素绽放PixelBloom」近日宣布完成B2轮融资。3
在大语言模型(LLM)的发展历程中,思维链(Chain of Thought,CoT)推理无疑是一个重要的里程碑。
预计不久后,越来越多的年轻人会成为电影《 Her 》里的主角,和 AI 当朋友,谈恋爱。 当然原因并不是 AI 变强了,而是——当代年轻人正饱受沟通之苦。
历史上第一次有公司会连续开 12 天的产品发布会——当 OpenAI 宣布这个决定之后,全球科技圈的期待值被拉满了。但直到发布会接近尾声,「就这?就这?」一位 AI 从业者如此表达他的观感。
Sora正式上线后,另一条火热的科技赛道——具身智能,近期也迎来商业化“前夜”。
当AI遇上名人,还分得清真假吗?
“我在AI领域做了七年的产品经理,现在是一名创业者,一年多中上线了2款自己的AI Native应用,最近分享一些个人观察和思考:我觉得,这波AI浪潮最重要的特征,是让高度个性化的服务实现规模化成为可能。
AI硬件即将展开产能竞争 1985年,巴菲特清算了伯克希尔·哈撒韦公司的纺织业务。