2026-08-18 Archive
当日同步资讯 6 条
超越BMI：用智能手机图像评估心脏代谢风险
谷歌研究展示用手机照片预测胰岛素抵抗的新方法
AI用于验证迄今最难的数学证明
Axiom Math用AI系统AxiomProver首次自动验证素数相关“246定理”的证明。
Import AI 469：科学AI；RSI模拟器；扎克伯格的科技悲观主义
本期简报重点介绍DiG-bench：让AI在隐藏规则的游戏中测试探索能力。
人形机器人开始打国球了！两台机器人完整打完11分制比赛
中国团队展示两台人形机器人自主完成乒乓球对打，不依赖遥控或人工喂球。
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
菲尔兹奖得主指出，AI近期最重大的数学突破多通过“找反例”实现。
共生知行发布人形机器人赛车Demo：以卡丁车测试双足机器人的“全身智能”
共生知行发布人形机器人赛车Demo，用卡丁车测试全身智能。