post_img

陶哲轩用AI证明方程理论,19天进度99.99%!

AI 摘要
陶哲轩近期利用AI技术,在方程理论领域取得了显著进展。他提出一个项目,旨在结合专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean,共同研究4694条幺半群方程定理。目前,项目已进行19天,进度达到99.9
post_img

【转载】四川省科学技术协会 四川省经济和信息化厅 中国科学院成都分院关于公布第二十二届四川省青少年机器人竞赛获奖名单的通知

AI 摘要
第二十二届四川省青少年机器人竞赛已于2024年6月21日至23日在广安市举办。本次竞赛共评出一等奖399项、二等奖448项、三等奖492项,另有单项奖24项,并表彰了20名优秀裁判员和14个优秀组织单位。竞赛成绩已在天府
post_img

刘展均获得轻型民用无人驾驶航空器合格证书

AI 摘要
刘展均同志凭借扎实的理论知识和通过严格的理论培训和考试,荣获中国民用航空局颁发的《轻型民用无人驾驶航空器安全操控理论培训合格证书》。这不仅是对他个人能力的认可,也为我国轻型民用无人驾驶航空器领域的发展增添了新的力量。