【 数学家|人工智能“进军”数学领域：首次帮助人类发现两个新猜想】英国《自然》杂志1日发表了一个机器学习框架，能帮助数学家发现新的猜想和定理。该框架由深度思维（DeepMind）开发，已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中，支持数学研究。这也是计算机科学家和数学家首次使用人工智能（AI）来帮助证明或提出纽结理论和表示论等复杂数学领域的新定理。（科技日报）

• 苹果|华为新一代“小方表”来了：Watch FIT 2正式官宣
• 纸质表格|“数字化”助推火箭升空
• 炸锅|酷暑之下，莫让这些谣言再增“热”度
• 户外|“小眼镜”增多 专家支招教你科学用眼
• 单项冠军|再添三家“小巨人”，青岛高新区梯度培育见成效
• 陨石|小行星“打水漂”闯入地球 形成世界最长陨石陨落带
• 科技入黔|“科技入黔”助力贵州高质量发展
• 踩线|主播不“踩线” 直播才有未来
• 套餐资费|广电放号 5G套餐竞争告别“三国时代”
• Flyme|“国产系统之光”Flyme迎来十周年，纪念海报上线引发热议