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.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - lean-dojo/LeanCopilot: LLMs as Copilots for Theorem Proving in Lean
PSL/slide/2019_ps.pdf at master · data61/PSL
