数学

在当今人工智能技术迅猛发展的背景下，AI在数学研究中的应用已经引起了广泛关注。最近，著名数学家陶哲轩通过使用AI工具o3-mini成功挑战了图论中的一个专家级证明，这一事件不仅展示了AI在数学领域的潜...

近日，Anthropic公司发布了其最新的人工智能模型——Claude3.7Sonnet，这一模型被誉为是扩展思考模式的最强模型。😲在最新的编码测试中，Claude3.7Sonnet不仅超越了o3-m...

数学界的奇迹年，邓煜和马骁的成就，不仅为2026年菲尔兹奖增添了热门候选人，也再次证明了北大数学07级的传奇地位，🎉邓煜团队的研究不仅解决了希尔伯特第六问题，更为物理学公理化研究提供了新的视角和方法...

他认为，这种研究虽然不会立即带来技术上的明显改进，但对AI行业的长期发展至关重要，早在1978年，Sutton和Barto就开始合作，共同编写了一些最早的强化学习算法，这些算法让机器通过反复试错获取知...

性判定方法，那么，OpenAIo1和DeepSeek，R1能否解决SoS条件规划问题呢，为此，研究者构建了SoS，1K数据集，这个数据集经过了精心策划，包含约1，000个多项式，并配备了五个精心设计的...

表现及其背后的原因，MIT的五位本科生在个人赛中包揽了前五名，这一成绩在普特南竞赛历史上尚属首次🎉，这五位学生中，有三位是00后的华人学生，他们的成就尤为引人注目，BrianLiu、PaponLapa...