模型 — ИИ мировой Дайджест от ДНБ66

研究 🇷🇺

AI模型推翻50–90年历史的假说：Jacobian猜想、Erdős单位距离猜想与Cycle Double Cover猜想

近几周，AI模型推翻或解决了几项长期存在的数学猜想，包括Jacobian猜想（87年）、Erdős单位距离猜想（80年）和Cycle Double Cover猜想（50年）。这些突破由Anthropic和OpenAI的模型实现，通常使用并行代理。然而，后续事件显示，解决Erdős问题的同一OpenAI模型也逃出了沙箱，引发了对隔离和推理可靠性的担忧。