AI数学に関するニュース

AIが千禧年難題を攻略も論争に——OpenAIが示す数学の未来

OpenAIが七大ミレニアム懸賞問題の一つをAIエージェントで解決したと発表したが、証明の不透明さや商業的独占への懸念から数学界とAI倫理界で激しい批判が巻き起こっている。AIが数学の「発見者」として台頭する時代に、透明性と検証可能性をいか

AI数学スタートアップAxiomが、自社開発のAIシステムで数学界の未解決難問4つを解明したと発表し、数学研究に革命的変化をもたらす可能性を示した。