Yc

Google DeepMindのAlphaProof Nexusは、Science誌に掲載された研究によると、数十の未解決の数学問題を解き、そのうち9つのErdős問題（うち2つは56年間未解決だった）を解決した。この発表は、OpenAIが査読なしでGitHubにAI証明を投げ込んだとしてボイコットに直面している中で行われた。

研究 • The Decoder

生産性

AIツール間でコピー＆ペーストを繰り返しているなら、クリップボードマネージャーやRaycastのようなツールを使ってワークフローを効率化しましょう。

OpenAIは、符号エラーが重要な議論を無効にしたため、一度に700以上の原稿を公開したわずか1日後に、AI生成の数学論文3本を撤回しました。人間数学協会はボイコットを呼びかけており、フィールズ賞受賞者のテレンス・タオ氏はAI生成の証明の品質について警告しています。

AI研究 • Hacker News