牛哥精选 · 半年

📋 全部 🤖 AI·大模型 ⚡ 效率工具 📝 深度技术 🚀 产品观察 💰 商业科技 🔓 开源项目 🎨 设计创意 📖 阅读推荐 🏷 资源合集 🌱 成长效率

🤖 AI·大模型 arXiv AI 2026-07-24

Autonomous disproofs of the sum-product conjecture over $\mathbb R$ with GPT-5.5 Pro

OpenAI用GPT-5.5 Pro自动反驳数学猜想，AI在数论领域再次突破。

arXiv:2607.20525v1 Announce Type: new Abstract: OpenAI's recent disproof of the Erd\H{o}s unit distance conjecture marked a milestone for AI in mathem…

gpt-5.5 pr 和积猜想人工智能数学证明自动推理

🤖 AI·大模型 Hacker News 最佳 2026-06-08

DeepSeek V4 Pro beats GPT-5.5 Pro on precision

AI大模型新秀DeepSeek V4 Pro在精确度上超越GPT-5.5 Pro，性能对决引人关注。

Article URL: https://runtimewire.com/article/deepseek-v4-pro-beats-gpt-5-5-pro-on-precision Comments URL: https://news.ycombinator.com/item?id=4844044…

deepseek v gpt-5.5 pr 精确度大模型对比 ai性能

📅 日期

2026-05-20 2026-05-19

🐂 牛哥精选

Autonomous disproofs of the sum-product conjecture over $\mathbb R$ with GPT-5.5 Pro

DeepSeek V4 Pro beats GPT-5.5 Pro on precision

📅 日期