OpenAI and Taiwan's Foxconn to partner in AI hardware design and manufacturing in the US

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.

Anthropic has made a significant move by acquiring $30 billion worth of Azure cloud capabilities, which will enhance its multi-cloud deployment for Claude models. This acquisition is coupled with a $15 billion investment from Microsoft and Nvidia, marking a pivotal moment for the AI safety and research company.

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.

Nvidia has announced that its NVLink Fusion technology will now integrate with Arm-based Neoverse CPUs. This development aims to enhance the deployment of GPUs in workstations and servers, particularly for hyperscalers and government entities, allowing for more efficient processing capabilities.

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.

Four individuals, including a Chief Technology Officer, have been arrested and indicted for illegally exporting Nvidia chips to China. The charges include illegal exports, smuggling, and money laundering, highlighting serious concerns over national security and compliance with export regulations.