AIで数学の未解決問題をほぼ自動的に解くことに成功、AIツールにおける重要な進展に
20世紀で最も多くの論文を書いた数学者として知られるポール・エルデシュはその生涯で多くの未解決問題を発案しており、これらは「エルデシュの問題」として知られています。そのエルデシュの問題のうちの1問をGPT-5.2 Proが解決し、著名な数学者であるテレンス・タオ氏が「私たちの知る限り、既存の文献では再現されない、ほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだ」とコメントしています。 How We Used GPT-5.2 to Solve an Erdos Problem : r/singularity https://www.reddit.com/r/singularity/comments/1q6vaxj/how_we_used_gpt52_to_solve_an_erdos_problem/ AI contributions to Erdős problems ·
Aristotle API
The World's Most Advanced Formal Reasoning Agent> Get access nowWhat others are saying about Aristotle... We’re the #1 formal math model according to ProofBench, by @ValsAI, ahead of the closest competitor by 15%. Aristotle Agent can autonomously prove/formalize for up to 24 hrs without human intervention.
情報幾何入門
情報幾何で見る 機械学習 赤穂昭太郎 産業技術総合研究所 人間情報研究部門 情報数理研究グループ （兼：人工知能研究センター機械学習研究チーム） 目次 • 情報幾何とは • 確率分布の距離と曲がった空間 • 双対平坦性 • 指数分布族 e と m • 部分空間と射影 ピタゴラスの定理とダイバージェンス • 機械学習アルゴリズムの情報幾何的解釈 • 解釈を越えて（IBIS2015の発表を中心に） 目次 • 情報幾何とは • 確率分布の距離と曲がった空間 • 双対平坦性 • 指数分布族 e と m • 部分空間と射影 ピタゴラスの定理とダイバージェンス • 機械学習アルゴリズムの情報幾何的解釈 • 解釈を越えて（IBIS2015の発表を中心に） 情報幾何 情報処理を幾何的に（図で）理解する 世の中 モデル データ 情報処理 結果 情報幾何：曲がったものをまっすぐに • 情報処理の空間は曲がった
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
