OpenAI, Foxconn Partner to Co-Design AI Data Centre Hardware

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.

TP-Link Systems Inc., a major Wi-Fi manufacturer founded in China, is attempting to assure US national security officials of its independence from Beijing amid scrutiny over its factory in Vietnam, where products are produced for the US market.

StoneX Group Inc's CTO, known for his relentless coding approach, emphasizes that achieving the seemingly impossible in technology requires time and persistence. This perspective reflects the company's ambition to transform from a traditional finance entity into a tech-driven powerhouse.

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 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.