1
响应更快：多位大 V 推荐苹果 iOS 27 首个公测版，稳定性满足日常使用
IT之家 7 月 14 日消息，科技媒体 Cult of Mac 今天（7 月 14 日）发布博文，报道称苹果最新发布的 iOS 27 首个公测版已基本完善，其稳定性足以满足日常使用需求。 该媒体测试后认为 iOS 27 首个公测版已趋于完善，各方面的体验都非常稳定，完全满足日常使用需求，不过测试后…
2
SK 集团会长崔泰源：AI 驱动内存需求呈指数级增长，未来五年产能翻倍仍难满足
AI引爆内存需求指数级增长，SK集团会长透露未来五年产能翻倍仍难满足，行业进入结构性增长阶段。
IT之家 7 月 10 日消息，SK 海力士今日在纳斯达克挂牌交易其美国存托凭证（ADR）。随后，SK 集团会长崔泰源接受了彭博社与 CNBC 的采访。 IT之家注意到，崔泰源表示，在人工智能时代，内存行业已进入结构性增长阶段。 过去，内存的需求主要取决于人口数量或是智能手机和个人电脑的销量。 然而…
3
科氪 | 小尺寸大满足！全球首款水冷RGB平板发布，185HzOLED屏幕+PC模拟器平板秒变台式主机
全球首款水冷RGB游戏平板发布，骁龙8至尊版+185HzOLED屏，PC模拟器秒变主机，性能小钢炮来了。
2025年6月30日，继红魔电竞平板 3 Pro 开创OLED 小平板赛道后，红魔再度突破技术边界，正式发布红魔游戏平板 5 Pro。作为行业首款搭载主动水冷散热+RGB 可视化水冷灯效的游戏平板，红魔游戏平板 5 Pro以「水冷散热、透明美学、跨端 3A、全能 AI 生产力」四大核心革新，实现小尺…
4
我国首个 550 兆瓦 F 级燃机项目全容量投产发电，可满足约 175 万个家庭一年用电需求
IT之家 6 月 30 日消息，据新华社，6 月 30 日凌晨，我国首个 550 兆瓦 F 级燃机项目 —— 华电重庆潼南燃机项目实现全容量投产发电，为成渝地区双城经济圈迎峰度夏电力保供、绿色低碳转型注入清洁能源动能。 华电重庆潼南燃机项目规划建设 两台 550.12 兆瓦分轴燃气 — 蒸汽联合循环…
5
三星电子会长李在镕：公司产能已不足以满足 AI 市场需求，计划在韩国光州新建先进半导体封装工厂
IT之家 6 月 29 日消息，据韩国经济日报，三星电子会长李在镕今天表示，随着 AI 相关芯片需求持续爆发，当前公司产能已不足以满足市场需求，公司正考虑在韩国光州建设新的投资基地。 同时，三星计划在韩国龟尾推进机器人投资、在仁川布局生物医药投资，并考虑在蔚山投资电池业务、在釜山投资半导体基板业务。…
6
微软承认 8GB 内存足以满足 Win11 日常需求，但 16GB 才能解锁 Copilot+ 功能
IT之家 6 月 25 日消息，Windows Latest 今日发现，微软悄悄更新了其 Surface 设备官方购买指南，将 8GB 内存描述为“非常适合日常使用，如浏览、流媒体、学校作业和生产力应用”。 同时，微软还在常见问题解答中指出，16GB 或更大内存才能解锁 Copilot+ PC（16…
7
茅台董事长陈华：只要满足条件会尽可能多投料，多生产基酒
6月11日，贵州茅台酒股份有限公司2025年度股东会召开。茅台集团党委书记、董事长陈华表示，“在产业规划上，茅台酒“十四五”技改项目规划新增的1.98万吨产能，现已建成投产两个车间，其余的工程都在有序推进，会尽快建设完成。”陈华还表示，“至于投产工作，将结合15.03平方公里核心产区的生态承载能力，…
8
TravelEval: A Comprehensive Benchmarking Framework for Evaluating LLM-Powered Travel Planning Agents
全新基准TravelEval多维评估LLM旅行规划能力，突破传统约束型评测局限
arXiv:2606.01046v1 Announce Type: new Abstract: The development of Large Language Models (LLMs) has significantly improved travel planning application…
9
西风介绍 RTX 5070 风神 MX 显卡：234mm 短小设计，满足 SFF-Ready 要求
IT之家 5 月 29 日消息，显卡品牌西风 (ZEPHYR) 今日介绍了其显卡新品 RTX 5070 风神 MX。该产品 三维 234×125×50 (mm) ，满足 NVIDIA 界定的 SFF-Ready 要求。 IT之家注： 西风宣称这一产品是“最短的双风扇 5070”，不过公开资料显示微星…
10
Constrained Code Generation with Discrete Diffusion
离散扩散模型突破代码生成瓶颈，实现高约束性自动编程新方案。
arXiv:2605.16829v1 Announce Type: new Abstract: Discrete diffusion models are a powerful, emerging paradigm for code generation. They construct progra…