网络资讯 陶哲轩：AI 辅助数学证明如同汽车冲击城市，需构建新型基础设施 数学家陶哲轩将 AI 对数学的影响比作汽车冲击城市。他指出，AI 生成的证明虽快，但缺失了人类探索过程中锤炼能力、发现新方向等“附加价值”。他主张创建适配 AI 的新型数学基础设施，并提议建立“AI... 短语录 2026-03-23 18
网络资讯 工信部部长李乐成：推动量子科技、生物制造、氢能和核聚变能、脑机接口、具身智能、6G 等领域攻关突破 今日，工信部部长李乐成出席论坛发言，提出推动未来产业创新发展，要做好规划、加强科技供给等，涉及量子科技、6G 等领域。#科技攻关 #未来产业发展...... 短语录 2026-03-23 18
网络资讯 魏建军妙喻造车：和打乒乓球一样 不断创新才能进步 3月22日消息，今日，魏建军发布了一段自己打乒乓球的视频，表示造车和乒乓球一样，都要不断创新才能进步。视频中，魏建军称又来打乒乓球了，自己最近一直在学新技术，传统的乒乓球技术就...... 短语录 2026-03-22 18
网络资讯 一节课没上扣走2000多元！多地学员遭遇驾校退费霸王条款 3月22日消息，据报道，近期，多地学员遭遇驾培退费乱象，不少人未接受任何培训，退费时却被扣除高额费用。甚至被以“行业行规”、“特价不退&am... 短语录 2026-03-22 22
网络资讯 国产大模型MiniMax M2.5再霸榜！连续5周全球大模型调用量冠军 3月22日消息，据央视财经报道，国产大模型MiniMax M2.5连续五周霸榜全球大模型调用量冠军。今日，公司产品研发人员展示了直观的价格差距：“达到同样能力水平的海外模型跟我们相... 短语录 2026-03-22 21
网络资讯 国防科大发布1.2克微型机器人：用折纸工艺打造 能跑能游还能钻弯道 3月22日消息，近日，国防科技大学团队发布了一项关于微型机器人的研究成果。该研究展示了一款名为PLioBot的并联腿昆虫级机器人，其重量仅为1.2克，比一枚一元硬币更轻。然而这个机器...... 短语录 2026-03-22 21
网络资讯 于东来再回应40亿资产分配争议：这是大家的钱 自己只占5% 3月22日消息，昨日，有网友发布胖东来创始人于东来的直播片段。直播中于东来表示：“我们现在分钱，也不是说是我的钱分了，不是这个概念。”于东来解释称，这个是大家的... 短语录 2026-03-22 21
网络资讯 安卓最大的卖点都想砍 谷歌到底在跟谁站一边 不知道差友们有没有遇到过这种情况：一觉醒来，手机里的 APP 悄悄自动更新了。不光图标变了，最难受的还是 —— 原本用顺手的操作逻辑和页面布局，一夜之间全乱了。... 短语录 2026-03-22 20
网络资讯 国内航司推“机票兜底”机制：买贵可免费退 但航司有差异 3月22日消息，据央视新闻报道，针对旅客反映的在部分第三方购票渠道购票时，会遇到机票违规加价销售、退改费用不透明、票价波动等问题，中国国际航空、东方航空、南方航空日前发布维护旅客...... 短语录 2026-03-22 20
网络资讯 马斯克：Optimus+PV将成首个冯诺依曼探测器 约50万年覆盖银河系 3月22日消息，据媒体报道，埃隆·马斯克在社交平台上公开表示，Optimus+PV将成为首个冯诺依曼探测器。这一概念源自20世纪40年代数学家约翰·冯&am... 短语录 2026-03-22 20
