
「OpenAIとの協力をやめよ」数学者団体が異例の声明、AI生成の数学論文700本超に反発
数学者団体AHMがOpenAIとの協力停止を求めた。公開原稿の撤回履歴とLeanへの翻訳の不一致から、論理検証・文章との対応・人間の理解を分けて考える。研究者の自由と説明作業を支える資金も争点となる。
ChatGPT Proは、OpenAIが2024年12月に発表した、プロフェッショナルおよびパワーユーザー向けのハイパープレミアムプランである。月額200ドルという価格設定で、最新の推論エンジン「o1」の無制限利用や、高度なデータ分析機能、優先的なコンピューティングリソースへのアクセスを提供する。AI業界における「月額200ドル」という高価格帯プレミアム市場の先駆けとなったサービスである。

数学者団体AHMがOpenAIとの協力停止を求めた。公開原稿の撤回履歴とLeanへの翻訳の不一致から、論理検証・文章との対応・人間の理解を分けて考える。研究者の自由と説明作業を支える資金も争点となる。

OpenAIがAI生成の数学原稿722本を公開した。リーマン予想に関わる研究などの条件を読み解き、162本を載せる形式化目録と機械検証の範囲を確認する。数学者の公開指針と照らし、人間が成果を理解して次の研究に使うための課題も探る。

OpenAIが月500ドルのPro 500を追加。Astra Ultrafastの最大8倍速が指す範囲、定額内8倍・購入クレジット6倍の消費、WorkとCodexの共有枠から、速度への対価を読み解く。

月額200ドル。この価格は、もはや最先端AIサービスにおける一つの「標準」となりつつある。AI検索の急先鋒、Perplexity AIが発表した新プラン「Perplexity Max」は、まさにこの潮流のど真ん中に位置す […]

Googleが年次開発者会議Google I/O 2025の壇上で、同社のAI技術の粋を集めた新たなサブスクリプションプラン「Google AI Ultra」を発表した。月額$249.99(日本円で約3万7千円 ※1ドル […]

Anthropicは、AIアシスタントClaudeのヘビーユーザー向け新サブスクリプションプラン「Claude Max」を発表した。月額100ドルまたは200ドルで、既存Proプランの最大20倍の使用量と新機能への優先ア […]

OpenAIは、次世代大規模言語モデルGPT-5のリリース計画を変更し、当初GPT-5に統合予定だった推論モデルo3およびo4-miniを先行して独立リリースすることを発表した。GPT-5本体の登場は「数ヶ月以内」のリリ […]

OpenAIは、高度な推論能力を持つAIモデル「o1-Pro」を開発者向けにAPI経由で提供開始した。同モデルは従来の「o1」より多くの計算リソースを使用することで一貫性のある高品質な応答を実現する一方、出力トークン10 […]

OpenAIが自律的に行動できる高度なAIエージェントの開発を進めており、最上位モデルには月額20,000ドルという高額な価格設定を検討していることがThe Informationの報道により明らかになった。Sam Al […]

OpenAIの「Deep Research」は、人間の専門家なら何時間もかかる作業を数分で完了すると約束する、最新の人工知能(AI)ツールである。 ChatGPT Proの機能として組み込まれ、訓練された分析者に匹敵する […]

OpenAIは12月5日、9月からプレビュー提供していた推論モデル「o1」の正式版をリリースするとともに、同社の提供するAIチャットボットサービスChatGPTで最上位となる月額200ドル(約3万円)の新サブスクリプショ […]