研究者が今週驚いた生成AI論文【テレンス・タオも参加の数学AI研究ほか10本解説 2026/07/12】

今回はarXivに投稿された生成AI・LLM関連の最新論文10本を、ずんだもんと四国めたんが解説します。フィールズ賞受賞者テレンス・タオも著者に名を連ねる「LLMは数学の研究フロンティアに挑めるか」という提言論文、ウソをつく生成AIとウソを見抜く生成AIを戦わせて鍛える「ハルシネーション・セルフプレイ」、そして実際の物流拠点で本番稼働させたAIエージェントの高速化事例など、基礎研究から実運用まで幅広く取り上げます。

▼ 今日の論文ラインナップ
・数式証明ソルバーから研究パートナーへ――LLMは数学の未解決問題に挑めるか — Eric Jiang ら（arxiv:2607.07779）
・LLMを賢く"痩せさせる"新しい枝刈り手法 — Ryota Kobayashi ら（arxiv:2607.08027）
・検索エージェントが自分で自分を鍛える「DeepSearch-World」 — Xinyu Geng ら（arxiv:2607.07820）
・同じ処理を毎回考えさせない――自己進化するツール作りAIエージェント — Kalle Kujanpää ら（arxiv:2607.08010）
・ウソを見抜くAIと、ウソをつくAIを戦わせる「ハルシネーション・セルフプレイ」 — Shiping Yang ら（arxiv:2607.07993）
・間違った一言を褒めすぎるAI――強化学習を正す新手法「TACO」 — Xiuyi Lou ら（arxiv:2607.07976）
・LLMの論理は信じていいのか――グラフで推論の一貫性を測る — Riccardo Revalor ら（arxiv:2607.08017）
・AIがAIの音声対話を採点する――Geminiは人間の代わりになれるか — A. Sayyad ら（arxiv:2607.07985）
・偏見をなくそうとしたら、別の偏見が生まれた――デバイアスの落とし穴 — Yahan Zheng ら（arxiv:2607.07937）
・西洋中心の価値観を脱するAI――92カ国調査から作った価値観データセット「PLURAL」 — Dhruv Agarwal ら（arxiv:2607.08034）

▼ 参考論文（arXiv）
https://arxiv.org/abs/2607.07779 — 数式証明ソルバーから研究パートナーへ――LLMは数学の未解決問題に挑めるか
https://arxiv.org/abs/2607.08027 — LLMを賢く"痩せさせる"新しい枝刈り手法
https://arxiv.org/abs/2607.07820 — 検索エージェントが自分で自分を鍛える「DeepSearch-World」
https://arxiv.org/abs/2607.08010 — 同じ処理を毎回考えさせない――自己進化するツール作りAIエージェント
https://arxiv.org/abs/2607.07993 — ウソを見抜くAIと、ウソをつくAIを戦わせる「ハルシネーション・セルフプレイ」
https://arxiv.org/abs/2607.07976 — 間違った一言を褒めすぎるAI――強化学習を正す新手法「TACO」
https://arxiv.org/abs/2607.08017 — LLMの論理は信じていいのか――グラフで推論の一貫性を測る
https://arxiv.org/abs/2607.07985 — AIがAIの音声対話を採点する――Geminiは人間の代わりになれるか
https://arxiv.org/abs/2607.07937 — 偏見をなくそうとしたら、別の偏見が生まれた――デバイアスの落とし穴
https://arxiv.org/abs/2607.08034 — 西洋中心の価値観を脱するAI――92カ国調査から作った価値観データセット「PLURAL」

#生成AI #ChatGPT #Claude #LLM #AI #人工知能 #arxiv #論文解説 #ゆっくり解説 #ずんだもん #OpenAI #Anthropic #機械学習 #ディープラーニング