字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5
相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分...
排序
自己年初造的新词火了，OpenAI 联合创始人卡帕西谈“氛围编程”
今年年初安德烈・卡帕西创造“氛围编程”一词，年末他发布年度回顾。该模式让编程不再专属专业人员，或重塑软件行业，但提升工程师效率尚无定论。#AI编程##氛围编程#
本期特稿｜ 教育数字化正成为中国式教育现代化自主标识——基于国家教育数字化战略行动（2022—2025年）的剖析
自国家教育数字化战略行动提出以来，教育数字化正成为推动我国教育现代化的关键引擎，并在国家政策引领下成为学术研究与舆论关注的焦点。
MiniMax 更新 M2.1 模型，重点聚焦于更多编程语言和办公场景的可用性
MiniMax-M2.1 致力于提升真实世界复杂任务中的表现，系统性提升了非 Python 语言的能力、模型回复以及思维链更加简洁。
Omdia：预计 2026 年全球电视出货量超 2.1 亿台同比增长 1%，中国市场同比下滑 4.7%
Omdia预测2026年全球电视出货量将达2.1亿台，受世界杯促销推动。但中国市场预计下滑4.7%，欧洲和北美增长显著。Mini LED技术表现突出，预计2026年增长16.9%。#电视市场# #世界...
寻味中国礼宴世界 同城约酒长湘居：最完整的中国，需要北方的醇厚，也需要南方的热烈；需要中轴线的端庄，也需要湘江的奔放
湘味北渡：一瓶中轴线酒与长湘居的辣味哲学北京的冬日，天空是一幅淡灰的水墨，寒风中的城市却透着温热的烟火气。我手握那瓶特意为中轴线酿造的天安门酱酒，从永定门出发，沿着这条贯穿帝都七百年的文明脊梁北...
Soul 兴趣主理人：不同的运动，相似的追求
在互联网时代,各种运动影像占据视野——从镜头语言炫酷、剪辑节奏凌厉的极限运动,到光线完美、身材傲然的自律打卡,运动似乎正成为一种光鲜亮丽的时尚符号。但总有一些人,他们的运动轨迹并非为了迎合任何眼光的偏...
寻味中国礼宴世界 同城约酒御掌柜：静巷盛宴 一瓶好酒的中轴线情缘
从永定门到钟楼，七点八公里的中轴线是北京城的脊梁，承载着帝都的千年文脉。而当我手握一瓶特意为这条轴线酿造的美酒，穿行于这条历史长廊时，目的地却不是紫禁城的深宫大院，而是藏在簋街旁、东直门内大街...
寻味中国礼宴世界 同城约酒宜宾院子：一瓶中轴线酒与簋街川味的江湖盛宴
烟火轴线间的江湖盛宴：一瓶好酒与簋街院子的情义北京北京的魂魄，既在紫禁城的金瓦红墙间，更在胡同四合院的烟火人情里。当我手握那瓶为这条城市脊梁特制的“天安门中轴线酒”，从永定门一路北行，此行目的地并非...
寻味中国礼宴世界 同城约酒蝎子李：铜锅里的京城脊梁一瓶天安门中轴线酒，一锅蝎子李羊蝎子，暖透京城烟火岁月
当“寻味中国”的脚步踏上北京中轴线，当“礼宴北京城”的温情遇见老字号的烟火气，蝎子李这家老牌店铺，便成了打卡中轴时最暖心的味觉驿站。羊蝎子火锅本就是京城人绕不开的冬日慰藉，而蝎子李数十年如一日的“老味...