标签：科学学院

人民网北京4月16日电 （记者赵竹青）国家科技传播中心学术发展讲堂射电天文技术专场近日开播，中国科学院国家天文台副台长、“中国天眼”总工程师姜鹏，北京天文馆研究员、《天文爱好者》杂志主编朱进，南京大学天文与空间科学学院教授、FAST时间分配...

记者6日从厦门大学获悉，该校物理科学与技术学院顾为民教授团队与南京大学天文与空间科学学院李志远教授团队合作，揭示了首个银河系外超紧致X射线双星的物理性质，为探索遥远星系中的天体演化打开全新窗口。相关研究成果当日发表于综合性学术期刊《创新》。

6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。

美国宾夕法尼亚大学佩雷尔曼医学院和哈佛大学工程与应用科学学院的科学家开发出一种电子植入系统，能通过电信号监测并影响人类胰岛细胞发育成熟的过程。