03:10
AI模型开始破解高等数学难题

AI正逐步攻克高难度数学问题,成为推动数学研究的新力量。最新版GPT 5.2在解决保罗·埃尔德什未解之谜上表现出色,不仅独立完成复杂证明,还超越了人类专家的部分成果。这标志着大型语言模型开始在知识探索的最前沿发挥作用,为科研人员提供了前所未有的辅助工具。


🔗 [Digg新版入口]:https://techcrunch.com/2026/01/14/digg-launches-its-new-reddit-rival-to-the-public/


🔗 [技术详情]:https://techcrunch.com/2026/01/14/geminis-new-beta-feature-provides-proactive-responses-based-on-your-photos-emails-and-more/
🔗 [Poetiq AI推文]:https://x.com/poetiq_ai/status/2003546910427361402
🔗 [OpenAI官方推文]:https://x.com/OpenAI/status/2003594025098785145
🔗 [核心技术战略白皮书]:https://arxiv.org/abs/2512.13489
🔗 [开源武器库]:https://github.com/deepseek-ai/deepseek-v4