TAG
#GitHub4件
#GitHub に関連する記事を横断して確認できます。特定テーマの変化を追う入口です。
OpenAI、AIの数学分野での成果722本を公開
OpenAIは、社内のフロンティアAIモデルが生成した数学的成果722本をGitHubで公開しました。これらの成果の多くは、証明支援系「Lean」による形式証明が施されており、AIが数学分野で難問解決に貢献する可能性を示しています。
ITmedia AI+Cursor、新コードホスティング発表 GitHubに対抗
AIを活用したコードエディターを提供するCursorが、新たにコードホスティングプラットフォームの提供を開始しました。これにより、同社は長らく業界をリードしてきたGitHubの牙城に挑むことになります。
TechCrunch AI
Copilot Autofix起因の脆弱性、Snowflake CI/CDで発生
GitHubのCopilot Autofixが生成したセキュリティ修正が、データウェアハウス企業SnowflakeのCI/CDパイプラインにコマンドインジェクションの脆弱性を引き起こした。この脆弱性は後に自律型AIエージェントによって発見・悪用され、Jiraの認証情報が取得されたとWiz Researchが報告した。
Unite.AIAIプロトコルMCP、新仕様でステートレス接続を正式採用
AIツールとサービスを接続する事実上の業界標準プロトコルであるMCP（Model Context Protocol）の最新仕様が、7月28日に公開される予定です。このアップデートにより、ステートレスな接続方式が正式に仕様として採用され、GitHubのMCPサーバーはすでにこれに対応すると発表しました。
Publickey