更多文章

WTT澳门冠军赛:莫雷加德和张本美在赛事中分别夺得男、女单打冠军

世界乒乓球职业大联盟(WTT)澳门冠军赛决赛于9月13日晚举行,瑞典选手特鲁斯·莫雷加德与日本选手张本美和分获男、女单打冠军。张本美和最终以大比分4:3夺得女子单打冠军,这是她第三次在WTT冠军赛登顶。特鲁斯·莫雷加德的胜利也帮助他获得个人职业生涯的第二个WTT冠军赛冠军。

中国团队完成三维粘性挂谷猜想形式化验证,并在GitHub发布代码

南开大学讲席教授郭少明带领的团队与字节跳动Seed合作,完成了对现代数学领域三维粘性挂谷猜想的一次机器形式化验证。此次工作涉及约180万行Lean代码的书写,相关成果已在GitHub开源代码托管平台发布。此外,南开大学陈省身数学研究所、数学科学学院与字节跳动也共同成立了“数学与智能联合实验室”。

互联网大厂AI奖学金项目信息梳理:百度与腾讯的公开资料披露

根据公开资料,大型科技公司正在加大对人工智能人才培养的支持力度。具体到已确认的信息包括:2026年百度(BIDU)奖学金项目面向全球高校华人在校生开放申请,计划评选10名获奖者,每人可获20万元科研奖金,且申报学生毕业时间须为2027年1月及以后。此外,腾讯的“青云奖学金”首期评选中,已确认有15位获奖者,每位获奖者获得总价值50万的激励,包含20万现金和30万云异构算力资源。

2026年服贸会:北京文博展区以科技互动构建文化展示新空间

在2026年中国国际服务贸易交易会(服贸会)上,北京市文物局主办的北京文博展区围绕“科技焕新文博 文明联结世界”主题展开。展区通过引入AI机器人、数字身份登记等技术,展示了从文物艺术品交流到文创产品销售的全链条数字化体验,提升了文化传播和交易的现代化水平。

OpenAI发布Astra模型后,业界对AGI的讨论焦点与时间线梳理

在OpenAI发布了Astra模型并称其为“最智能、最对齐的模型”之后,公司总裁格雷格·布罗克曼表示欢迎来到“AGI时代”。黄仁勋此前曾提及从ChatGPT到o1再到Astra的演进路径。文章梳理了业界关于AGI定义的多个观点和不同时间点上的预测,展示了当前技术发展与行业预期的交汇点。

实现动态头像:修改注册表设置微软 Windows 11 账户头像的步骤梳理

根据公开资料,用户可以通过修改系统注册表的方式,将动态 GIF 图片设置为微软 Windows 11 的账户头像。此过程涉及获取用户的 SID、使用高权限工具操作注册表,并在特定键值下替换为GIF文件的完整路径。完成修改后,需注销或重启才能使系统识别新的动态效果。

大庆油田杏南开发区在节能降耗和提升采油效率方面取得的成效

根据公开资料,大庆油田杏南开发区通过一系列能耗优化措施,实现了举升单耗降低以及机采系统效率同比提升。具体实践包括对大量机采井进行全覆盖测试、部署永磁半直驱拖动装置等,这些行动展示了该区域在绿色采油技术应用上的进展。