タグ: エルデシュ問題

Googleの数学証明AI「AlphaProof Nexus」が、50年来の未解決難問を一気に9件証明。エルデシュ問題を瞬殺したAIの衝撃と、数学者の未来、証明の検証問題まで徹底解説。