DeepSeek

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

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

雷军的AI布局:95后天才少女罗福莉与小米的未来

雷军曾劝年轻人要尽快学会AI,并以千万元年薪挖来了95后天才少女罗福莉。本文从雷军的AI愿景出发,详细讲述了罗福莉的背景与成就,以及她加入小米的意义。同时探讨了AI时代的挑战与机遇,展望了雷军的长远规划。