LWiAI Podcast #225 - GPT 5.1, Kimi K2 Thinking, Remote Labor Index

Lean4, an open-source programming language and interactive theorem prover, is gaining traction as a critical tool for enhancing the reliability of AI systems, particularly in high-stakes fields like finance and medicine, where unpredictability and hallucinations in AI outputs are unacceptable. By employing formal verification, Lean4 aims to ensure that AI functions are safer and more deterministic.

Google has launched Gemini 3, its latest AI model, which is being hailed as the most intelligent and factually accurate version to date, featuring enhancements in coding and reasoning capabilities. This release has generated significant interest among developers, particularly as it coincides with the growing complexity of managing various LLM models available through different API services.

OpenAI has partnered with Foxconn to co-design and manufacture hardware for AI data centers in the United States, focusing on essential components such as cabling, networking, cooling, and power systems. This collaboration aims to enhance the infrastructure required to support OpenAI's growing artificial intelligence initiatives.

OpenAI has temporarily closed its San Francisco offices following an alleged threat from an activist who reportedly expressed intentions to cause physical harm to its employees. The warning was communicated via an internal message on OpenAI's Slack platform.

OpenAI has announced that it will retire its GPT-4o model from the API platform on February 16, 2026. This decision follows a notification sent to API customers, allowing a three-month transition period for applications still utilizing GPT-4o. While the model will be removed from the API, it will continue to be available to individual users of ChatGPT across various subscription tiers. The company considers GPT-4o a legacy system with lower usage compared to the newer GPT-5.1 series.

Bloomberg’s Caroline Hyde reports on the recent volatility in markets driven by investor anxiety surrounding AI and cryptocurrency. OpenAI has partnered with Foxconn to design AI data center hardware in the US, while Cerebras CEO Andrew Feldman comments on the US approval for advanced AI chips to be sold to the Middle East.

Bloomberg's Caroline Hyde reports on a turbulent week for markets driven by investor anxiety surrounding AI and cryptocurrency. OpenAI is collaborating with Foxconn to develop AI data center hardware in the U.S. Additionally, Cerebras CEO Andrew Feldman comments on the U.S. approval for advanced AI chips to be sold to the Middle East.

OpenAI is under pressure as an internal memo reveals CEO Sam Altman's response to Google's advancements with its Gemini 3 model. The memo outlines OpenAI's strategy, codenamed 'Shallotpeat', to regain competitive ground in the AI landscape.