AI News

Follow the latest AI and automation news

14 Jul 202629 Muharram 1448 AH

Unitree Robotics Partners With Hunan Steel: A Physical AI Infrastructure Company Emerges

Unitree Robotics has signed a strategic cooperation agreement with Hunan Iron and Steel Group, marking a significant deployment of legged robots in heavy industry. This partnership will establish the first embodied intelligence robot innovation laboratory in the steel industry, covering intelligent inspection, maintenance, and smart factory implementation.

Arab AI Scene

14 Jul 202629 Muharram 1448 AH

Saudi launches AI economic data platform

Saudi Arabia has announced the launch of a new AI-powered economic data platform aimed at enhancing transparency and decision-making. The platform seeks to provide accurate and comprehensive data for investors and decision-makers, reflecting a trend towards leveraging technology to support the national economy. This development marks a significant step towards achieving Saudi Vision 2030, contributing to innovation and demonstrating the government's commitment to improving the business environment in the Kingdom.

Business

14 Jul 202629 Muharram 1448 AH

Uber’s product chief on hotels, robotaxis, and why the company doesn’t want to be “everything for everyone”

Sachin Kansal, Uber's Chief Product Officer, detailed the company's ambitions in financial services and its increasingly complex relationship with Waymo. He also discussed the new AV Labs data operation aimed at enhancing the experience for riders and drivers. Uber aims to integrate AI into its services, directly impacting how riders and drivers interact with the platform. These steps are part of Uber's broader strategy to enhance its financial services and expand the use of autonomous driving technologies.

💡

Canadian Warning on AI Risks to Banking Cybersecurity

What measures can be taken to enhance cybersecurity in financial institutions?

Models

What Anthropic’s latest AI discovery does—and doesn’t—show

13 Jul 202628 Muharram 1448 AH

Models

13 Jul 202628 Muharram 1448 AH

What Anthropic’s latest AI discovery does—and doesn’t—show

Anthropic, the world's most valuable AI company, recently announced a breakthrough in understanding its models. This discovery pertains to a space within large language models known as J-space, which contains words that influence outputs without appearing in them. Anthropic invests heavily in mechanistic interpretability, aiming to comprehend how AI models function. CEO Dario Amodei stated that understanding these mechanisms is key to fully controlling large language models.

Business

OpenAI's new prompting guide tells users to stop overthinking and start with the result

13 Jul 202628 Muharram 1448 AH

Business

13 Jul 202628 Muharram 1448 AH

OpenAI's new prompting guide tells users to stop overthinking and start with the result

OpenAI has released a new prompting guide aimed at everyday users, simplifying the use of its tools. The guide includes four optional building blocks: goal, context, format, and constraints, helping users focus on the desired outcomes rather than the steps to achieve them. This is the first guide that combines both Chat and Codex into a single framework, reflecting OpenAI's commitment to enhancing user experience.

Business

Apple Affected by OpenAI Lawsuit, Delaying New Phone Development

13 Jul 202628 Muharram 1448 AH

Business

13 Jul 202628 Muharram 1448 AH

Apple Affected by OpenAI Lawsuit, Delaying New Phone Development

The lawsuit filed by Apple against OpenAI is casting shadows over the company's plans to develop new devices that could compete with iPhones. Reports indicate that the negative effects are already noticeable even before any court ruling is issued, raising concerns within the company. The case is not just a legal dispute but also impacts Apple's market strategy. According to Bloomberg, delays in developing new phones may hinder Apple's ability to compete effectively in the smartphone market.

Agents

Turing Award winner Rich Sutton founds Oak Lab to build AI agents that learn on their own

13 Jul 202628 Muharram 1448 AH

Agents

13 Jul 202628 Muharram 1448 AH

Turing Award winner Rich Sutton founds Oak Lab to build AI agents that learn on their own

Richard Sutton, the 2024 Turing Award winner, has announced the launch of a new startup called Oak Lab in Toronto. He describes current deep learning methods as "weak and inefficient" and aims to create AI agents that learn continuously from their environment. This initiative comes at a time when the AI field is in dire need of more efficient learning methods. Sutton emphasizes that the agents he aims to develop will rely on continuous learning, allowing them to better adapt to changes in their surroundings.

Governance

Nobel laureates and AI leaders warn the window to prepare for AI's economic impact is closing fast

13 Jul 202628 Muharram 1448 AH

Governance

13 Jul 202628 Muharram 1448 AH

Nobel laureates and AI leaders warn the window to prepare for AI's economic impact is closing fast

Over 200 economists and AI researchers, including 16 Nobel laureates, are urging immediate action in a coordinated statement. They highlight that the AI transformation could surpass the Industrial Revolution but occur in a much shorter timeframe. However, the paper does not propose concrete measures, and current studies have found no significant AI-driven effects on the labor market.

Models

Verifying Rust cryptography in SymCrypt, from standards to code

13 Jul 202628 Muharram 1448 AH

Models

13 Jul 202628 Muharram 1448 AH

Verifying Rust cryptography in SymCrypt, from standards to code

SymCrypt is developing reliable cryptographic algorithms using Rust, Aeneas, and Lean, enhancing security assurance. Their code is proven to safely and correctly implement standard algorithms, particularly focusing on post-quantum cryptography. Verified code, specifications, properties, and proofs will be released, starting with SHA-3 and ML-KEM. Formal verification is crucial in cryptography, as small mistakes can lead to significant consequences. Tools like Aeneas allow for verifying a large subset of Rust code, facilitating the proof process. Additionally, agents help scale automation by writing independently-verifiable proofs.