新智元报道 编辑：LRST 来自浙江大学和伊利诺伊大学厄巴纳-香槟分校的研究者发表了他们关于「表格语言模型」（Tabular Language Model）的研究成果，提出「相对量纲分词」和「特征内注意力机制」两种适配技术，使现有语言模型架构能更有效得感知连续数值和组织表格特征，在大量下游分类回归的
阅读全文
陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀
新智元报道 编辑：庸庸乔杨 陶哲轩在最新的采访中，系统地谈到了 AI 可能会对数学领域产生的影响。他乐观地认为，使用 Lean 等工具「形式化」数学，在 AI 的辅助下实现规模化生产——一次证明数百或数千条定理。但他也审慎地预测，数学问题在短期内不会像国际象棋一样被「解决」，但有可能会提高人类科学家
阅读全文
“天才少女”姜萍读中专没上高中因为偏科？村支书和老师回应
学服装设计的 17 岁中专女生，闯进全球数学竞赛 12 强！这两天，天才少女姜萍和挖掘她的老师王闰秋两人的故事在全网引发热议，很多人感慨这两人的相遇点亮了彼此的人生，尤其是王老师的栽培，有可能彻底改变姜萍的命运。 6 月 14 日，包括培养王闰秋的江苏大学在内的多所院校，明确给姜萍抛出橄榄枝，希望她
阅读全文
英伟达开源3400亿巨兽，98%合成数据训出最强开源通用模型！性能对标GPT-4o
新智元报道 编辑：Aeneas 好困 刚刚，英伟达全新发布的开源模型 Nemotron-4 340B，有可能彻底改变训练 LLM 的方式！从此，或许各行各业都不再需要昂贵的真实世界数据集了。而且，Nemotron-4 340B 直接超越了 Mixtral 8x22B、Claude sonnet、Ll
阅读全文
星巴克的9.9元静悄悄地开
文华商韬略，作者 梁梁 不是星巴克喝不起，而是瑞幸更有性价比。 在业绩下滑的压力下，一向强调“高端”的星巴克，终于坐不住了。 尽管星巴克创始人霍华德·舒尔茨表态“无意参与价格战”，但实际上，星巴克早已通过优惠券和套餐等方式“变相降价”，参与进咖啡红海的竞争。 星巴克开始“亲民”了 午休起来的小张习惯
阅读全文
Clearview AI收集美国人脸部照片，现在所有美国人都可以得到它的股份
美国脸部识别创业公司 Clearview AI 在集体诉讼中被控侵犯隐私，它同意达成和解，但和解费不是现金而是公司股份，其面部照片数据库中的每一个人都可以分享到该公司 23% 的股份。Clearview AI 从 Web 以及 Facebook、LinkedIn 和 Instagram 等社媒网站抓
阅读全文
被解雇的 IT 员工删除了雇主的虚拟服务器
Kandula Nagaraju 于 2021 年 11 月到 2022 年 10 月之间在新加坡 NCS 集团工作，所在团队管理的 QA 系统用于发布前测试新软件和程序。他由于工作表现不佳而被 NCS 终止合同，最后工作日是 2022 年 11 月 16 日。他对此感到困惑和生气，认为自己工作表现
阅读全文
Spotify 成立内部创意机构，测试 AI 广告
最近，不少公司都推出了 AI 广告工具，例如 Meta、Google 等等，而昨日 Tech Crunch 报道，音乐流媒体平台 Spotify 也将入局。 Spotify 宣布，他们将推出首个名为 Creative Lab 的内部创意机构，帮助品牌创建定制营销活动，还将开始测试生成式 AI 广告。
阅读全文
苹果 Vision Pro 国行版开启预售和试用预约
昨日上午 9 点，苹果 Vision Pro 头显国行版正式开启预售，售价 29999 元起，每人限购 2 台，6 月 28 日正式发售。 同时苹果也宣布开启 Vision Pro 的预约演示试用，用户可以在苹果官网在线预约，于 6 月 28 日起，用户可凭预约前往对应的 Apple Store 零
阅读全文
被 App Store 多次推荐的 AI 日记，好用在哪
如果要用一种方式记录生活，你会选择手写的日记本、图文并茂的日记 app，还是在手机备忘录、微博、朋友圈碎碎念？ 其实怎样都可以，最难的是坚持写作的习惯。正经写日记，容易三天打鱼两天晒网，随手记录，无数个瞬间又散落各处转头就忘。 一款叫作「心光」的日记 app，提出了一种很新的思路：人类只要记录就好了
阅读全文
揭秘阿里巴巴全球数学竞赛：奖金400万元，“北大韦神”曾获金奖
近日，江苏 17 岁中专女生姜萍在一众名校选手中脱颖而出，“爆冷”晋级阿里巴巴全球数学竞赛决赛。姜萍频上热搜，这一赛事也因此备受关注。这项全球最大的在线数学赛事，拥有高难度的试题与高额奖金，参赛选手堪称“神仙打架”。那么，究竟是哪些人出了如此高难度的试题，获胜者又有哪些？ 姜萍。图片来源／潮新闻 题
阅读全文
远离硅谷、不靠风投！18人团队逆势搞出超人气数据库，CTO一人5年多写了15万行代码
有一个数据库项目，每月下载次数高达数百万，仅扩展的下载流量每天就超过 4 TB 。在 GitHub 和社交媒体平台上，该数据库拥有数以万计的 Stars 和粉丝，还拥有两家以其为业务核心建立的初创公司。 这样的活力与生态发展水平，往往只有规模更大、资历更老的开源列式存储数据库才能做到。然而，这个数据
阅读全文
董宇辉俞敏洪合体，为东方甄选“灭火”
文 盒饭财经 薛亚萍 编辑谭宵寒 时隔三个月，董宇辉直播间终于来了一位特殊嘉宾——俞敏洪。 “俞老师剪了头发，所以戴了个帽子”，6 月 13 日下午五点，俞敏洪出现在与辉同行山西行的小西天直播间，董宇辉看向戴着帽子的俞敏洪，俞敏洪也笑着回应，“头发越来越少，像个光头一样。”简单的介绍之后，俩人开了一
阅读全文
美团在海外，能淘到多少六便士？
文零售公园，作者丨一文 大规模组织调整后，美团交出首张“成绩单”。 一季度财报显示，美团一季度营业收入 732.76 亿元，同比增长 25%；经调整净利润 74.88 亿元，同比增长 36.36%。核心财务数据和业务数据均远超市场预期。 市场反映也颇为喜人。美团的股价迎来大反转，历史性跌破发行价后，
阅读全文
社区如何走向盈利：以快手为样本
文窄播，作者庞梦圆 社区类产品在发展过程中很容易遇到的一个迷惑是，看上去有多条路可以选，但不知道该选哪个。因此，社区如何在不同时期找方向，是永远值得回顾、比照、分析的视角。 在我们看来，当下的快手展现出了更为明确的方向感。在策略上，聚焦核心的、差异化的大众人群；在业务上，电商正在成为连接主站生态、带
阅读全文
李开复：我坚决做to C，坚决不做赔钱的to B；张亚勤：大模型效率较低
6 月 14 日上午，零一万物 CEO 李开复和清华大学智能产业研究院院长、智源学术顾问委员张亚勤在 2024 年智源大会上就“通用人工智能的关键问题”展开讨论，分享了各自对于大模型在产业中的应用场景及 AGI 未来的看法，由智源研究院理事长黄铁军进行主持。 李开复表示，短期来看，to B 方向原本
阅读全文
携程市值超越百度，互联网进入多元细分化时代？
2024 年旅游业的复苏，使得携程的市场表现值得被看好。但是究竟可以好到什么程度，可能还是出乎很多人的意料。 根据 6 月 12 日的收盘数据显示，携程网美股总市值为 332.59 亿美元，较 5 月 17 日的 370.03 亿美元，有所回落。与此同时，百度的美股市值则为 329.42 亿美元。虽
阅读全文
OpenAI的四大争议与两个深层危机
文硅谷 101 随着 OpenAI 首席科学家 Ilya Sutskeve 官宣离开，他所带领的“超级对齐团队”成员接连离职，团队也随后解散。OpenAI 在创立之初的使命是构建安全的 AI 守护人类，但是如今却解散了内部关注模型长远安全的团队，并在公司章程中删除了不能用于“军事与战争”的条款。 而
阅读全文
快手13年的得与失？
文蓝鲨消费，作者陈世锋，编辑卢旭成 2024 年 6 月 6 日，快手迎来 13 周岁的生日。 在这 13 年中，快手从一款制作、分享 GIF 的工具应用成功转型为短视频平台，从默默无闻到被主流舆论关注，从佛系的商业化到加速直播带货，已经成为中国短视频平台中举足轻重的“一极”。 根据前不久快手发布的
阅读全文
阿里通义Qwen2拿下美国最新测评榜单开源大模型全球第一
6 月 14 日消息，图灵奖得主、Meta 首席 AI 科学家杨立昆（Yann LeCun）联合 Abacus.AI、纽约大学等机构推出全新的大模型测评基准 LiveBench AI，并公布首个测评榜单。阿里云通义千问刚刚开源的大模型 Qwen2-72B 成为排名最高的开源大模型，是前十榜单中唯一的
阅读全文
