Major Players

OpenAI's large language model, GPT-6.1 Sol, is now officially available on the Amazon Bedrock cloud platform.

A tool to disable Apple Intelligence on macOS has gained popularity for freeing up storage space.

• •Tools to disable Apple Intelligence on macOS are being developed.
• •The tool is used to reclaim storage capacity.
• •For specific reasons, the tool is currently very popular.

Google announced image generation model Nano Banana 2.1, setting API image output fees to nearly half of the previous model.

• •The new model is based on Gemini 3.6 Flash and supports up to 1 million tokens.
• •Benchmark tests recorded scores surpassing previous models and the Pro version.
• •It will be gradually provided in Search's AI Mode and the Gemini app.

The ASUS Zenbook 14 with Snapdragon X X1-26-100 launched on October 7, showing 45% battery life after six hours of use and running Street Fighter 6 at nearly 60fps on low settings.

• •Street Fighter 6, which is not Arm-native, ran at nearly 60fps with low graphics settings.
• •The battery retained 45% charge after six hours of real-world use, including gaming.
• •The 14-inch Zenbook 14 UX3480QA with Snapdragon X X1-26-100 starts selling on October 7, priced from 189,800 yen.

The two companies plan to begin collaborating in October to strengthen on-site capabilities and promote DX in the communications infrastructure sector for the AI era.

• •Mirai One and NTT TechnoCross aim to promote DX in the communications infrastructure field through their collaboration.
• •The collaboration primarily focuses on strengthening on-site operational capabilities in the AI era.
• •The specific start date for the collaboration has been announced as October.

Google has released a new model, Gemini 4 Argon, which supports output of up to one million tokens.

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.