36KR热点

陶哲轩携AI再战数学,o4-mini秒怂弃赛,Claude 20分钟通关!

陶哲轩近期通过AI工具仅用33分钟完成一页复杂的数学证明,展示了AI在数学研究中的巨大潜力。同时,国产AI模型DeepSeek打破国外垄断,推动AI辅助证明技术发展。但在实际测试中,OpenAI的o4-mini表现不佳,而Claude却在20分钟内通关数学难题,引发关于AI在数学领域应用前景的热议。

根本拦不住,全球顶尖科学家涌入中国

近年来,越来越多的全球顶尖科学家开始关注并选择来到中国,这不仅是对中国科研环境的认可,也是对未来发展潜力的高度信任。从政策支持到科研生态建设,再到国际合作的推进,中国正逐步成为世界科技人才的新高地。