DeepSeek

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

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

斗了半个世纪,他终于“放下武器”

作为一名长期关注腾讯发展的观察者,他目睹了这家公司从激烈的市场竞争中成长起来的过程。从早期的3Q大战到如今与DeepSeek的合作,腾讯展现了从竞争到合作的转变。在这场变革中,马化腾领导下的腾讯不仅优化了资源配置,还开启了全新的战略布局。