OpenAI partners with Foxconn to design and develop data center server racks to be manufactured in the US; Foxconn will produce cabling, power systems, and more (Bloomberg)

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 announced the release of GPT-5.1, described as a 'warmer' model, alongside Baidu's unveiling of ERNIE 5.0, marking significant advancements in AI technology. This development is part of a broader trend in AI where companies are enhancing their models to improve user experience and functionality.

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.

A sanctioned Russian oil tanker changed its course while heading to Venezuela after encountering a U.S. Navy destroyer in the Caribbean, as reported by vessel-tracking data analyzed by Bloomberg.

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.