AI
一周两破18年数学纪录！陶哲轩惊叹：AlphaEvolve带来久违「加速度」
人类数学家Robert Gerbicz与AlphaEvolve合作，一周内连续两次提升和差集问题中θ的值。从1.14465提升至1.173050，展现了AI和人类互补协作在科学前沿加速推进的力量。
AGI Bar：泡沫最大的酒吧，将于儿童节开业｜大模特为全场买单
AI 酒吧 AGI Bar 开业，主打情绪与泡沫。酒吧无榜单、名词，提供 MaaS 平台帮助顾客打开话题。酒单包括多款情绪相关饮品，开业当天智谱买单支持。
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
tore Sanfilippo 近日分享了自己的一次研发经历并直接表达了自己的观点：人类程序员仍比大
速递｜a16z计划以53亿美金估值投资一款AI笔记软件
Abridge AI，一家利用人工智能转录医疗对话的初创公司，在Andreessen Horowitz领投下完成3亿美元的新一轮融资，估值达到53亿美元。该公司成立于2018年，致力于减少医生在文书工作上的时间。此次融资凸显了科技行业对提升医疗等行业效率的人工智能软件的兴趣。
不能薅羊毛的旅行Agent不是好AI
上个五一用飞猪问一问规划了邮轮之旅后深感满意。新版本支持更多查询条件、上线会员助手，优化搜索能力。贵阳端午自驾游计划：选择大客机节省成本，会员系统提供优惠信息；行程可视化生成精美地图攻略并可导出分享；个性化对话功能帮助用户获得满意的行程建议。
Llama核心团队大面积跑路：14人中11人出走，Mistral成主要去向！
Meta AI 团队面临严重人才流失问题，Llama 模型核心研究成员离职率高。Meta 在开源领域与竞争对手差距明显，导致 Llama 模型在开发者社区反响平平。
ChatGPT 评估员工绩效，评得是真能力吗？
管理者用AI生成绩效评语看似高效省力，实则可能削弱核心管理能力。文章指出AI只是工具而非替代品，依赖AI会使关键管理工作自动化，导致管理者职业肌肉萎缩。