Mathematics
トピックアーカイブ • 3 件
AI生成：要約はリンク先の情報源をもとにAIが作成しています。 AIの利用について
2026-10-07
テクノロジー
11個の正方形の最適なパッキングに関するAI支援による証明が、Leanによる形式的検証に合格した。完了したEvolvingPrograms検証実行は、7,920個すべてのローカルLeanモジュールを受け入れ、最終監査ではゼロ件の受理が報告された。
AI研究 • Hacker News
パーマリンク
2026-10-08
テクノロジー
OpenAIは、符号エラーが重要な議論を無効にしたため、一度に700以上の原稿を公開したわずか1日後に、AI生成の数学論文3本を撤回しました。人間数学協会はボイコットを呼びかけており、フィールズ賞受賞者のテレンス・タオ氏はAI生成の証明の品質について警告しています。
AI研究 • Hacker News
パーマリンクTechCrunchによると、OpenAIによるAI生成の数学証明の氾濫は、フロンティア研究所が相談した数学研究者グループが設定したガイドラインから逸脱していました。同社の数学的解決へのアプローチは、まだこの分野の基準を満たしていないと伝えられています。
AI研究 • TechCrunch AI
パーマリンク