P対NP

【geek-terminalニュース】OpenAIがETH反証を主張、提唱者らが検証へ――Claude独立発見説も

📝 本日のニュース概要以前お伝えしたAI数学証明騒動の続報です。OpenAIが指数時間仮説（ETH）の反証を主張し、提唱者を含む外部専門家による検証へ。Leanによる形式検証で何が確認でき、何を人間が確かめる必要があるのか。Claudeに...