DeepSeek

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

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

梁文锋与杨植麟同日发论文“撞车”!AI模型之战再掀高潮

2025年2月18日,DeepSeek创始人梁文锋与月之暗面创始人杨植麟几乎同时发布关于Transformer注意力机制优化的新论文,引发业界广泛关注。文章从事件回顾、技术路线对比、创始人背景及未来趋势四个角度深入解析这场AI领域的‘正面交锋’。