与「歌縁」相关的搜索结果

微软为什么几乎没有参与基础大模型竞赛？ 谷歌有 Gemini，Meta 有 Llama，字节有豆包，阿里有通义千问。 微软与其他巨头不同，它早就没有主人了。Satya Nadella 只是个打工的。 Carl Icahn 说过，美国 CEO 的选拔机制往往是「反达尔文」的——老好人缘好、不做争议性决策、安全听话。Ballmer 敢打大赌，Nadella 选择了最稳妥的路：投资 OpenAI。

发表新歌：《暗夜爵士｜Midnight Jazz》 听歌链接一： 听歌链接二： 缘起几天前奈飞突然给我推送《悠长假期》，说“猜你喜欢”。重看了几集，来了灵感，遂写此歌。

AI for Math 的新思路 如果一个人根本不懂数学，只是靠AI碰巧解出一道难题，有价值吗？这有点像猴子拿到了AK47：武器很强，但它不知道为什么能打中，也不知道下一次该往哪里开枪。 数学研究的价值，不只是得到一个答案。更重要的是，有没有人能理解证明为什么成立，从中提炼出新的方法，再把这些方法推广到其他问题上。这也是陶哲轩一直强调的方向：AI可以参与数学研究，但人类必须始终参与到研究过程里。 最近，超衍智能 Apex Intelligence @apexin_ai 推出了一套名为“Apex Math”的自动化 AI 系统来做数学研究。不同于 OpenAI 的1万个Agent暴力并行求解，Apex Intelligence的路线是：先由专业数学家提出有价值、值得推进的研究课题，再让 AI 系统去尝试独立完成证明，最后交回给数学家做严谨的审核。有点类似Vibe Coding中Agent与程序员的合作模式。 这套数学家与AI的合作模式，人类始终在整个过程中，对于项目有充分的掌控和理解，很契合前几天陶哲轩等菲尔兹得主联名倡导的方向。 目前，Apex Intelligence的这套系统已经推进了 5 项前沿数学研究： · 其中 2 项已经通过了专家的严格核验。 1）MVI优化算法，人类数学家使用这套系统接力跟进，持续提升最优算法 第一版论文： 清华后续优化： 北大后续优化： 谷歌后续优化： 2）Mockenhaupt三项Hardy-Littlewood极大化猜想 AI 系统给出了一个通用的解析证明，彻底证明了这个猜想在所有参数下都成立。 · 另外 3 份候选论证（包括悬而未决 29 年的 Nivat 猜想），已直接公在了 Apex 数学平台 上，并且设立了 10 万元奖金池，公开邀请全球的研究者来挑错、复核或者补齐推导。 参与方式 ： 他们还分享了一些与AI的对话记录： Apex Math现在提供的方法，权衡了AI和数学家的职能，是比较实际能落地的方案，但还不一定是AI做数学研究的最终形态。不久的未来，随着AI能力的显著提升，数学家、科研工作者如何与AI协作，可能还会有大的变革。

耗费了无数心血，抽卡抽得脑仁疼。总算赶在假期前把《NIUMA》搓出来了！ 以后当做社区的主题曲了。 希望大家跟歌里一样，关掉闹钟，假期快乐！ @cz_binance @heyibinance @eth_cedric @webhogwatrs 你们是否也曾当过牛马！亦或者一直都是牛马！🤣🤣🤣

刘欢原本是在自己的母校国际关系学院任教，后来跟校领导闹得不太愉快，便主动辞职，应聘去了对外经贸大学当老师。他在那边教的课程是西方音乐史。这是刘欢的校友、自媒体博主黄教授发文透露的 问题也随之而来。对外经贸大学的王牌学科是国际经济与贸易、金融学、法学、会计学、外国语言文学、国际商务和数字贸易。刘欢教的音乐学科，不是对外经贸大学的主流专业课，只属于全校公共美育选修课，是学生可选可不选的通识课，仅此而已 可就是这么一门“可有可无”的选修课，却成了全校最抢手的课。300个名额，700多人抢，教务处老师站在门口查验听课票据，这阵仗在贸大独一份。一所财经外语类大学，王牌专业全跟钱和法沾边，最火的课偏偏是个教音乐史的。这事搁谁身上不得琢磨琢磨，到底什么课才算“有用”。 刘欢在国关那几年，其实挺憋屈的。1985年从国际关系学院法语专业毕业留校，白天管学生，晚上进录音棚，两头都不耽误。可国关的领导容不下他的“走穴”行为。那会儿他已经靠《心中的太阳》《少年壮志不言愁》红遍全国了，87%的国人认识他那张脸，可学校看他不顺眼。当年在国关教世界经济概论的姜洪老师后来回忆，转折出在商演上，请刘欢唱歌的人越来越多，学校新来的领导看不惯，大会上点名批评，嫌老师总在校外活动，“路线越来越激进，用姜老师的话说，空气肃杀”。说白了，体制内有体制内的规矩，你一个大学老师整天跑出去唱歌，像话吗。1991年，刘欢走了，去了对外经贸大学。 换个地方，换了种活法。贸大给了他一样东西：容得下。 前校长陈准民说得特别直白：“我们希望学生全面发展，有高尚趣味、现代审美，不只是会做生意。我们希望学生首先人格健全，其次才是掌握技能。经济上的技能，比如怎么做贸易、怎么炒股票、怎么做证券，这些都是次要的，更重要的是人格健全。”这话放到今天的大学里，有几个校长敢说。 刘欢的课不用课件，一支粉笔一节课。作品、年代、人名全凭口述，几国语言的专业术语随口切换，下课铃响，内容刚好讲完。英语、法语、德语、意大利语的花体字，一笔一划工工整整，学生坐在下面看得啧啧称奇。这不是糊弄，这是真下了功夫的人才能做到的。 他还拒绝在课上唱《好汉歌》。学生起哄让他来一段，他说得很清楚：“站在这里，我就是最普通的老师。”课堂不是舞台，不唱歌，不照相。一个全国人民都认得嗓子的人，硬是把明星身份按在了教室门外。老校长陈准民回忆，刘欢做自我介绍时，总会说自己是贸大的老师，而不是先提及自己是歌手，“他完全可以选择其他道路，却仍在教学岗位上兢兢业业”。 三十二年，刘欢在贸大的职称栏从头到尾就俩字：副教授。没论文，没课题，没项目。高校评教授要什么，核心期刊、国家级课题、项目经费，他一样没有。教的是公共美育课，财经类大学教音乐，不在主干学科，没有硕博点，评审表上根本无处可填。刘欢自己说得也直白——“没有发表教授标准的核心期刊论文”。以他的人脉和资源，找几个同行挂个名、攒几本教材、申几个课题，评个教授不是难事。他不干。不是评不上，是那套秤跟他不在一个秤盘上。 刘欢生前最后一次公开活动，是亲自下厨为学生做红烧肉。2023年退休那天，他悄悄退了工作群，没发朋友圈，只留了一张黑板照片，板书最后一行写着“下课”。最后一课他没有说再见，只是笑了笑：“别送花了，下次路过琴房，听见谁弹错和弦，替我提醒一句就行。” 当年国关容不下一个爱唱歌的老师，贸大容下了一个愿意教书的音乐家。谁高谁低，一目了然。刘欢退休后，他的《西方音乐史》再也没有了。那间能坐三百多人的阶梯教室，再也不会有教务处老师站在门口查票了。说到底，能教会学生算账的学校随处可见，可愿意支持一位老师把他痴迷的内容讲授一辈子的学校，实在少之又少。

一篇 AI 论文，先变成一首歌，又被做成了一支 MV。 Anthropic 发布《Functional Emotions》论文后，有人把它交给 Claude 写成歌曲。 随后，Opus 5.5 又为这首歌制作了视频。 最终成片，美得令人屏住呼吸。

Anthropic @AnthropicAI IPO真要来了。 数据显示其2025 年营收 $45.9亿，同比翻 12 倍，但账面净亏 $420亿； 不过约 $340亿 是可转换融资工具涨价带来的会计计提，没真花出去； 真正在烧的是经营亏损 $80.6亿，光算力就花了 $73.3亿，是全年收入的 1.6 倍。 更要命的是，最大两个客户亚马逊（Amazon）和谷歌（Google）各占 12% 营收，走一个就少一成多。 就这，估值还要冲 $2万亿，而且 IPO 大概率放到 11 月中期选举之后。 二级市场到时候接不接？ 空T*D？🧐

这是“大老王”的竞选“亮点”？ 列治文市议员为什么投赞成票？2023年列治文市政府正式公布，已有26名居民死于药物过量。 2024年市议会以7比2通过的，并不是开“注射屋”，而只是研究在医院范围内设立监管消费点的可行性。 市议会本身也没有权力开设，最终需要“温哥华沿岸卫生局”(Vancouver Coastal Health)和国家卫生当局的批准。 议会讨论的也是一个综合方案，包括预防、执法、减害和戒毒治疗，而不是拿“注射屋”来代替戒毒。 温哥华沿岸卫生局随后明确表示，不会在列治文设立独立的“注射屋”，所以这个项目最终没有继续。 难道王吉舟只能忽悠那些不会用AI，也不会用谷歌的人？不知道这样的注射屋已经在温哥华存在了超过二十年。

前谷歌高管重磅预警：2027年起，人类将迎来长达15年的AI动荡地狱期，之后才会进入AI富足的天堂阶段。未来企业扩张靠算力而非招人，程序员、会计、初阶律师等白领，甚至CEO岗位都会被AI冲击，传统中产大概率逐步蒸发。 人机关系会经历三个阶段：AI辅助人、AI削弱人、AI替代人，当下普通AI技能很快会被迭代淘汰。过渡期大量人群集中失业转型，极易引发生活、心理甚至社会问题。普通人尽早落地四点布局：用AI升级本职工作、打造个人品牌、入局自媒体、布局AI上下游资产，才能穿越周期。