56 年无人解开的数学难题，被谷歌的新 AI 突破了
去年，AI 能解出博士级别的数学题，已是轰动一时的大新闻；而今年，能攻克「未解之谜」级别的数学难题的 AI 已经来了。5 月 15 日，Google DeepMind 发布了全新编程智能体 AlphaEvolve。
韩企HyperAccel 4nm AI芯片Bertha量产，面向数据中心推理
IT之家 9 月 9 日消息，韩国芯片设计服务企业 SEMIFIVE 当地时间 8 日宣布，韩国 AI 芯片初创企业 HyperAccel 设计的数据中心人工智能推理加速器芯片 "Bertha" 已在三星晶圆代工的 4nm 制程节点实现量产。
gpu-unlock 深度实测解读：对 Strata、HyperQwen 提升完全不一样
gpu-unlock 深度实测解读：对 Strata、HyperQwen 提升完全不一样
最近开源项目 gpu-unlock 刷屏，很多博主宣传 RTX30/40 显卡算力直接翻倍。很多跑本地大模型、Agent 的玩家跃跃欲试，以为开了之后聊天速度直接起飞。
索尼诉腾讯侵权案以和解告终，“双方都期待未来继续展开合作”
刚刚，据外媒The Verge援引最新提交的法院文件显示，索尼与腾讯已就相关争议达成一项保密和解，案件被有偏见驳回，这意味着双方将不再就同一争议重新提起诉讼，也不会就此事发表进一步的公开评论。腾讯方面在回应中表示，SIE与腾讯双方都期待未来继续展开合作。
震撼全网，AlphaEvolve矩阵乘法突破被证明为真，开发者用代码证实
Claude辅助下，他成功证明，它果然仅用了48次乘法，就正确完成了4×4矩阵的乘法运算。就在刚刚，有人用Claude写代码证实——
24GB显卡跑27B模型，速度翻三倍：HyperQwen本地部署实测
如果你在RTX 3090上跑过27B级别的Qwen模型，大概率经历过这种落差：模型能加载，上下文也能塞进去，但生成速度慢到让人放弃"对话"的念头，每秒四十来个token，读起来像卡带的录音机。HyperQwen这个项目，就是冲着这个痛点来的。
Windows 10/11启用Hyper-V的方法
一般的人玩虚拟机，都喜欢使用VMware Workstaion 或者VirtualBox，但是前者是商业软件要花钱的，后者虽然开源免费，但功能、性能及兼容性又差强人意，其实微软的Windows 10/11默认就自带了原生的虚拟机软件，官方叫Hyper-V，不用额外授权，完全免费，用它来测试系统、软件再好不过了，只是默认情况下没有启用。