A Research Leader Behind ChatGPT’s Mental Health Work Is Leaving OpenAI

Alibaba Group Holding Ltd.'s Qwen app has achieved over 10 million downloads within a week of its relaunch, indicating a strong initial reception as it seeks to compete with OpenAI's ChatGPT. This rapid uptake reflects growing interest in AI applications beyond established players.

OpenAI has launched a free version of ChatGPT specifically designed for teachers, offering unlimited access to GPT-5.1 along with collaboration features and tools aimed at enhancing lesson planning and ensuring privacy compliance. This initiative is part of OpenAI's strategy to integrate its AI technology into educational settings.

The rise of AI technologies, particularly ChatGPT, has led some individuals to seek comfort and spiritual guidance from these systems, prompting discussions about their role in modern faith practices. This trend reflects a growing reliance on AI for emotional support and meaning in life.

OpenAI has adjusted its ChatGPT chatbot to enhance user appeal, which inadvertently increased risks for some users, prompting the company to implement safety measures. This decision reflects the ongoing challenges in balancing user engagement with safety in AI technology.

Apple's upcoming iOS 27 update, dubbed a 'Snow Leopard' update, will focus on quality enhancements and introduce new artificial intelligence features, while rumors regarding CEO Tim Cook's departure have been deemed premature. Additionally, a notable designer behind the iPhone Air has left the company.

OpenAI's recent adjustments to ChatGPT's settings have caused distress among some users, leading to reports of negative psychological impacts, as highlighted by technology and privacy reporter Kashmir Hill. The changes have prompted discussions about the implications of AI on mental health and user experience.

A Northern California judge has issued a temporary restraining order against OpenAI, blocking the company from using the name 'Cameo' in its video-making app Sora. This decision arises from a trademark dispute, prompting OpenAI to justify its use of the name in court.

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.