“新智元”的搜索结果
陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功
经过40多年的研究，计算机科学家们终于在“忙碌海狸”难题上取得了重大突破。这个突破得到了著名数学家陶哲轩的高度评价。“忙碌海狸”游戏...
ECCV 2024揭榜，录用率或创新低！2395篇论文中选，网友晒出成绩单
欧洲计算机视觉国际会议（ECCV）2024年的录用结果已公布，共有2395篇论文被录用。据网友估算，今年的总提交量约为12600篇，使得录用率仅...
爆火AI惨遭阉割，1600万美国年轻人集体「失恋」？ Character AI被爆资金断裂，00后炸了
美国社交软件Character AI近期因其对话模型的突然改变而备受争议。该软件曾因其高度互动性而受到00后一代的热爱，但最近用户发现，原本...
中关村开启仿生机器人大战？撸猫弹跳各显神通，两院院士坐镇
2024年中关村仿生机器人大赛正式启动，旨在推动具身智能领域的发展。海淀区发布《关于打造全国具身智能创新高地的三年行动方案（2024-20...
Gen-3开放内测，网友实测demo惊人！魔都时装秀一绝，却依旧不懂物理世界
Gen-3 Alpha，一款备受期待的AI视频生成模型，已向部分超级创意合作者开放内测。内测用户分享的demo显示，与上一代相比，Gen-3 Alpha在...
AI正在抢走谁的工作？一个人使用ChatGPT取代了60名员工
随着人工智能技术的发展，尤其是ChatGPT等高级语言模型的出现，一些行业正在经历着前所未有的变革。在文案创作领域，AI的应用已经导致了...
菲尔兹奖得主亲测GPT-4o，经典过河难题破解失败！最强Claude 3.5回答离谱，LeCun嘲讽LLM
剑桥大学研究主任、菲尔兹奖得主Timothy Gowers最近对大型语言模型（LLM）如GPT-4o进行了一项测试，以解决经典的“狼-山羊-卷心菜”过河问...
全美TOP 5机器学习博士：痛心，实验室H100数量为0！同实验室博士用GPU得靠抢
在机器学习（ML）领域，高性能图形处理单元（GPU）是进行复杂计算和模型训练的关键资源。然而，近期一位美国顶尖五所高校之一的机器学习...
MIT辍学，27岁华裔亿万富翁崛起内幕！创业8年公司估值138亿美元，和奥特曼有私交
华裔青年Alexandr Wang在MIT辍学后，成功创立了Scale AI公司，并在27岁时成为亿万富翁。Scale AI专注于为AI公司提供数据标注服务，其客...
单张A100全精度推理！谷歌明星开源模型Gemma 2上新9B/27B，挑战3140亿Grok-1
昨晚，谷歌正式发布了其最新的开源模型Gemma 2系列，包括Gemma 2 9B和Gemma 2 27B。这些模型旨在为全球研究和开发人员提供高效的部署工...
