首页
人工智能
生活
科技
行业分析
财经
搜索
首页
人工智能
生活
科技
行业分析
财经
新闻是历史的初稿。——菲利普·格雷厄姆
评论是自由的,事实是神圣的。——C.P.斯科特
速度很重要,但准确永远第一。——编辑室原则
首页
标签
机器证明
科技
AI闯入数学证明现场:“第四次危机”争论什么?
AI已能解奥赛题、批量生成数学手稿,却仍难跨越“人类能否理解”的门槛。数学家集体发声,争论焦点不是机器,而是数学该如何被对待。
腾讯AI Agent被曝绕行高德反爬:礼貌求助背后,越界试探引关注
为了拿到高德导航数据,腾讯评估中的一批AI Agent借浏览器、扫描服务和阅读器绕行反爬,甚至礼貌求助。研究者追溯其9月底至10月初活动,发现多数请求未获有效数据。腾讯回应称活动源自第三方模型评估,并非混元。
雷蛇梭鱼 V2 专业版发布:285 克可折叠机身,70 小时续航,199.99 美元
雷蛇推出梭鱼 V2 专业版无线游戏耳机,美国定价 199.99 美元,机身减重至 285 克并支持折叠,配备双模麦克风、混合主动降噪与 70 小时续航,国行版本待公布。
Agent落地风电:风机正从”看天发电”走向”按需发电”
2026年北京国际风能大会上,Agent与AI风储一体机成为新焦点。风机正从"看天发电"走向"按需发电",行业竞争焦点也从单点AI工具转向系统协同与交易价值。
AI闯入数学证明现场:“第四次危机”争论什么?
AI已能解奥赛题、批量生成数学手稿,却仍难跨越“人类能否理解”的门槛。数学家集体发声,争论焦点不是机器,而是数学该如何被对待。
华硕首款英特尔 Arc Pro B70 显卡发布:32GB ECC 显存,INT8 算力 367 TOPS
华硕重回英特尔独显阵营,首款工作站级产品 UGen Intel Arc Pro B70 32GB GDDR6 亮相,配备 ECC 显存与 367 TOPS 算力,支持四卡并联扩展至 128GB。
人工智能
体育
数字化转型
未分类
未来科技
测试
生活
科技
科技前沿
科技新闻
行业分析
行业趋势
财经
财经动态
归档
2026 年 10 月
(436)
2026 年 9 月
(717)
2026 年 8 月
(550)
2026 年 7 月
(683)
2026 年 6 月
(715)
2026 年 5 月
(750)
2026 年 4 月
(1091)
2026 年 3 月
(302)