OpenAI: GPT-5.6 から 64 の代理店、50 年間の注射の証拠 1 時間

OpenAIは、約50年間の「サイクルダブルカバー推測」の証明を提供するために、1時間以内に64サブエージェントと呼ばれるGPT-5.6 SOL Ultraが1時間未満のことを発表しました。 OpenAIは、Leanのフォームバージョンのオープンソースで完全なプロンプトとフル証明書を発行し、関連するコードはLean内部の核検査を通過しました。 しかし、これはまだOpenAIのリリースの結果であり、数学のコミュニティはまだ独立したレビューを完了しているので、それが「証明書」と単に「形式的な決済」と言うことができない時間のために。