ITmedia AI+

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.

Explanation of how generative AI operates probabilistically and the hallucination risks arising from the lack of fact-checking capabilities.

• •Generative AI works by predicting the next likely word based on probability, which causes answers to fluctuate.
• •While it has become intelligent through massive data, the absence of fact-checking features creates hallucination risks.
• •Principles for enterprises to safely utilize AI are also mentioned.

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.

Based on a keynote at the OT Security Leader's Summit 2026, this article explains a new defense model for achieving 'uninterrupted operations' against AI threats.

• •It introduces excerpts from the 'OT Security Leader's Summit 2026' held on September 17, 2026.
• •Terrence Liu, CEO of TXOne Networks, delivered the keynote speech.
• •It analyzes the key points of a defense model designed to prevent operational stoppages in response to evolving AI threats.

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.

Explains the internal mechanisms of PyMC, a Bayesian statistics MCMC sampling library, and methods for visualizing models.

• •PyMC is an essential library for performing MCMC sampling in Bayesian statistics.
• •While previous discussions covered estimation and testing, this article focuses on PyMC's internal mechanisms.
• •It is published as a special feature (Episode 10) of the Bayesian statistics section of 'Easy Data Analysis for First-Year Professionals'.

Team Mirai leader Takahiro Yasuno highlighted the spread of high-capability cyberattack AI models and rising data leaks, urging swift action.

• •Leader Takahiro Yasuno stated that AI models with high cyberattack capabilities are spreading in society.
• •He pointed out the current situation of successive data leakage incidents.
• •He stated that urgent action is needed to address these issues.

Itoki and Matsuo Laboratory built an AI model analyzing behavioral data from 854 people to evaluate the impact of meetings and breaks on well-being and productivity.

• •An AI model was built by analyzing behavioral data from 854 employees.
• •Metrics include meeting duration and frequency, email and chat volume, and time spent in break areas.
• •The study explores how these behaviors affect employee productivity, physical and mental health, and interpersonal relationships.

Claude's 'Cowork' local execution option is discontinued; from October 6, both model inference and VMs will run exclusively in the cloud.

• •The 'This Computer Only' option for running on the user's PC has been removed.
• •From October 6, Cowork tasks will be executed in the cloud.
• •Both model inference and virtual machines will transition to cloud execution.

ELYZA's CEO explains the 'recursive self-improvement' technology behind the monthly release of new frontier AI models and the current state of AI developing AI.

• •The frequent emergence of new models is driven by the technology of 'recursive self-improvement' (RSI).
• •It is noted that 'AI developing AI' has become a reality.
• •Soneoka, CEO of ELYZA under KDDI, discusses the current state of this technology.