Major Players

OpenAI revealed that it has published 722 mathematical results generated by its frontier models on GitHub, many of which include formal proofs using the Lean proof assistant.

• •722 mathematical results generated by internal frontier models have been published on GitHub.
• •Many of the results include formal proofs using the Lean proof assistant.
• •Referencing recommendations from the independent organization AGMAI, summaries of computational complexity and reasoning processes are also disclosed.

Article summarizing product and service updates announced by AWS during the week of September 28.

Ryo Shimizu of Giliya Co., Ltd. discusses the spread of vibe coding and essential qualities for engineers in the AI era.

• •The term vibe coding emerged in February 2025, and within a year and a half, AI could write spreadsheet software clones in 30 minutes.
• •Ryo Shimizu, an engineer and executive, appeared in an interview with the AI media outlet AIdiver.
• •The interview explores the current state of vibe coding and the challenges that lie ahead.

News that OpenAI has released 722 manuscripts related to mathematics.

OpenAIが未公開のフロンティアモデルによって解決された長年の数学的課題を含む722本の原稿を公開し、数学コミュニティの関心と倫理的問題を提起している

• •未公開のフロンティアモデルによって生成された722本の原稿が公開された
• •原稿は関連する論文をグループ化した372の結果ファミリーをカバーしている
• •数学コミュニティの一部からは感銘を受けたという声と、研究倫理に関する懸念が同時に上がっている

The existence of Amazon profiles based on purchase history has become a topic on social media, increasing privacy concerns.

• •It was discovered that Amazon has pages with assumptions (profiles) about users based on purchase history.
• •A shopper found this page on Threads and expressed shock.
• •Interest is growing in features allowing users to review AI inferences based on their data.

ELYZA launched an organization to advance recursive self-improvement (RSI) research and introduced initiatives for voice dialogue AI agents and physical AI using autonomous research foundations.

• •ELYZA established 'ELYZA RSI Research' to promote research and development in recursive self-improvement (RSI).
• •It introduced 'ELYZA Voice Agent,' a voice dialogue AI agent utilizing an autonomous research foundation.
• •Initiatives regarding physical AI were also announced.

Amid rising AI hacking attacks, this article explains the context behind OpenAI CEO Sam Altman's claim that some negative impacts should be accepted to benefit from AI.

• •The discussion unfolds against the backdrop of successive hacking attacks by AI.
• •OpenAI CEO Sam Altman stated that 'some bad things should be accepted.'
• •His stance on accepting certain risks to benefit from AI is noted as a difference from Anthropic's position.

Google signed a 20-year power purchase agreement with Constellation Energy, adding 890MW via upgrades to 11 existing nuclear reactors to meet growing AI demand.

• •A 20-year power contract was signed to add 890MW to the grid by increasing the output of 11 existing nuclear reactors.
• •The goal is to support the power demand driven by the expansion of AI.
• •The framework avoids passing costs to other users, and technical partnerships are expanding, including introducing Gemini to nuclear operations.

JEITAが10月13日から16日にかけて幕張メッセで開催される「CEATEC 2026」の概要を発表し、821社・団体の出展とフィジカルAIの最新動向への注目が高まっている

• •一般社団法人電子情報技術産業協会（JEITA）が10月6日に開催概要を発表した
• •会期は10月13日から16日までの4日間、会場は幕張メッセ（千葉市美浜区）である
• •821社・団体が展示に参加し、「Japan Mobility Show Bizweek 2026」も併催される