第十五届中国知识产权年会聚焦人工智能与新法解读，将于9月在北京举行
第十五届中国知识产权年会定于9月8日至9日在北京举办，主题为“奋力推动‘十五五’知识产权事业高质量发展”。本次年会在人工智能专题领域设置了两场论坛，分别从知识产权治理和产业变革两个维度展开。此外，会议还关注新修订的《商标法》带来的影响，并提升了国际化参与度。
AI辅助的数学猜想证明尝试与Lean系统漏洞修复事件回顾
科技媒体报道指出，一项声称借助AI推翻考拉兹猜想的Lean形式化证明被确认无效。该事件涉及Ramana Kumar于7月25日发布的项目，以及后续Kiran Gopinathan报告的内核漏洞。最终，Lean团队在收到报告后迅速修复了内核处理“嵌套归纳类型”的缺陷，并发布了Lean 4.32.2版本。
零零科技预热 HOVERAir VERSA 无人机：模块化设计与多功能应用探讨
根据公开资料，无人机制造商零零科技预热了 HOVERAir VERSA 无人机。该无人机的核心特点在于其模块化结构，使其不仅能作为独立的飞行器使用，还能具备三轴云台相机的功能，并支持安装“小黑盒”螺旋桨进行作业。此外，HOVERAir VERSA 还集成了 AI 构图功能和“3D Worlds”技术，能够扫描场地生成 3D 场景。