Anthropic、Claudeがリーマン予想の下限値を67.2%に更新｜証明できずに生まれた副産物

AnthropicのAIモデルClaudeが、数学界最大の未解決問題の一つであるリーマン予想に関して、その下限値を67.2%に更新する新たな知見をもたらしました。直接的な証明には至らなかったものの、AIが探索過程で生み出した「副産物」は、数学研究におけるAIの新たな可能性を示唆しています。