2026年7月17日,第四届世界科学智能大赛总决赛举行。在GCL实验室翟晓雅副研究员、傅孝明副教授、刘利刚教授指导下,中国科学技术大学数学科学学院博士生曾亚军同学以“catcat”单人队参加创新赛道“AI4S智能体CNS挑战赛”,最终荣获赛道二等奖,位列总决赛前三名。7月18日,大赛颁奖仪式在上海西岸国际会展中心举办的WAIC 2026科学智能开放论坛上举行
2026年7月15日至19日,中国科学技术大学举办了为期5天的“小科豆暑期成长营”。本次成长营面向小学三年级至五年级的学生开展,旨在依托学校丰富的资源,增进“小科豆”对科大校园文化与科研工作日常的深入了解,在“小科豆”心中播下热爱科学、追求创新的种子。
原创|中国科大九重团队|九重JIUCHONG|2026年7月16日 09:23|安徽
上篇我们介绍了 Eureka ——中国科大九重团队自研的数学研究AI平台,能够完成规划、推导、验证与审查等科研环节。本文向大家介绍 Eureka 自主完成的一项成果:从一个只有符号的泛函方程出发,证明了两个悬置多年的公开猜想,并给出了比猜想本身更精确的结论。
问题由中国科学技术大学管理学院冯群强副教授提供。相关论文已于近日在 arXiv 公开,标识符为 2607.12564。