张继平院士在东北大学作AI数学研究学术报告
热点事件持续更新
张继平院士在东北大学作AI数学研究学术报告
1 篇报道1 个报道来源13 小时前更新
先了解这件事
AI 综述
中国科学院院士张继平在东北大学作题为“AI时代的数学研究”的学术报告。他阐述数学研究正从“人+机器”向“人×机器”演进，指出形式化数学有助于构建机器可验证体系，人工智能在发现规律和提高效率方面具有潜力。 张继平强调需探索健康的人机协同模式，使AI成为增强人类数学理解与创造能力的工具。
AI 根据报道生成 · 51 分钟前更新
最新进展10月30日 08:00
张继平院士在东北大学作“AI时代的数学研究”学术报告报道时间线
沿着报道，了解事件的不同侧面。
10月30日
- 东北大学张继平院士在东北大学作“AI时代的数学研究”学术报告
中国科学院院士张继平在东北大学作题为“AI时代的数学研究”的报告，阐述数学研究从“人+机器”向“人×机器”演进的历程。他介绍了形式化数学在构建机器可验证体系中的作用，以及人工智能在发现规律和提高效率方面的潜力。张继平强调需探索健康的人机协同模式，使AI成为增强人类数学理解与创造能力的工具。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。