数学证明
-
ChatGPT-5.2首次独立完成数学猜想证明，开启情境化证明新纪元
当大语言模型的触角伸向理论数学的圣殿，一场静默的范式革命已然开始。布鲁塞尔自由大学（VUB）近期披露的研究成果，很可能成为一个历史性注脚：商用大模型已展现出独立生成原创数学证明的能…
-
香港浸会大学：AI数学证明实现“举一反三”新突破
香港浸会大学团队新突破：AI数学证明迎来“举一反三”的智慧飞跃！ 在人工智能飞速发展的今天，数学证明作为逻辑推理的巅峰体现，一直是AI能力提升的关键战场。近期，来自香港浸会大学的团…
-
陶哲轩携手GPT-5 Pro跨界解题：11分钟获证，AI赋能数学研究新篇章
顶尖数学家与GPT-5 Pro的“神仙打架”，11分钟解开千年难题？AI正重塑科学前沿！ 近日，一则在学术界和科技界引起轩然大波的消息悄然流传：著名数学家陶哲轩（Terence T…
-
姚班马腾宇数学证明：推理token够多，就能解决任意问题
CoT让Transformer更接近图灵完备 克雷西 发自 凹非寺AI快讯网 | OpenAI用o1开启推理算力Scaling Law，能走多远？ 数学证明来了：没有上限。 斯隆奖…
-
Bengio探索世界模型和数学证明，确保AI系统正常运作
西风 发自 凹非寺 AI快讯网 | 深度学习三巨头之一Yoshua Bengio的下一步动向公开了，关于AI安全—— 加入了一个名为Safeguarded AI（受保护的人工智能）…
