Meta, the owner of Facebook and Instagram, has launched its artificial intelligence assistant in the UK, alongside AI-boosted sunglasses modelled by Mark Zuckerberg. Meta's AI assistant, which can generate text and images, is now available on its social media platforms in the UK and Brazil, having already been launched in the US and Australia. Regulatory issues and product testing held up the UK launch, while Meta's AI services remain unavailable in the EU due to the "unpredictable" regulatory environment. Facebook and Instagram users in the UK will now be able to access the Meta AI chatbot by tapping on an icon in their app or by buying a pair of 299 Ray-Ban Meta frames from a UK retailer and accessing its voice assistant. Zuckerberg, Meta's co-founder, sported a pair of the Ray-Bans at a company event last month when he also announced that Meta AI would be able to respond to voice commands and use the voice of celebrities including Judi Dench, John Cena and Keegan-Michael Key.

And if you use Instagram, Facebook and Messenger, you may notice a new purple-blue ring icon from today. Tapping this icon will open Meta's AI chatbot, Meta AI, which has launched in the UK today. This free AI tool is built in to Meta's apps, and will allow you to do everything from generate fake images, to plan dinners based on what's in your fridge. Here's how it works - and how you can try the AI tool through your favourite social media platform. To access the tool, open Instagram, Facebook or Messenger and tap the round blue and purple ring icon.

Meta AI is beginning a big international rollout. The AI assistant will arrive today in Brazil, Bolivia, Guatemala, Paraguay, Philippines and the UK. It is also slated to debut in Algeria, Egypt, Indonesia, Iraq, Jordan, Libya, Malaysia, Morocco, Saudi Arabia, Sudan, Thailand, Tunisia, United Arab Emirates, Vietnam and Yemen over the coming weeks, although the company did not offer specific dates for those countries. This expansion is also adding new language support to Meta AI. Starting today, it is getting support for Tagalog, while Arabic, Indonesian, Thai and Vietnamese will join the assistant "soon."

The 2024 Nobel Prize in Chemistry has been awarded to a trio of scientists for their breaththrough work into protein structures. London-born Demis Hassabis, CEO of British AI firm, DeepMind, is one of the three given the prize, along with his colleague John M. Jumper and American biochemist David Baker. Together, they cracked the code for proteins' amazing structures, which had previously been much of a mystery. 'One of the discoveries being recognised this year concerns the construction of spectacular proteins,' said Heiner Linke, Chair of the Nobel Committee for Chemistry. 'The other is about fulfilling a 50-year-old dream – predicting protein structures from their amino acid sequences.

Amazon's fall Prime Day sale--also known as Big Deals Days--ends tonight. It's October, yes, but it's never too early to jump on that holiday gift shopping. We've combed through the deals and found the best ones, based on our years of testing and reviewing. WIRED's picks for the best Prime Day deals only include products someone from our team has personally tested and reviewed. We track prices using several tools to avoid falling for fake discounts. There are no shoddy knockoffs or overpriced products among our recommendations, just good deals on good stuff. We've linked our reviews and buying guide throughout to help you make fully informed buying decisions. We test products year-round and handpicked these Prime Day deals. We'll update this guide regularly throughout Prime Day by adding fresh deals and removing dead deals. This is our favorite e-reader. You'll have the choice between the base Paperwhite and the Signature Edition (8/10, WIRED Recommends), which comes with 16 gigabytes ...

We develop a general framework for agent abstraction based on the situation calculus and the ConGolog agent programming language. We assume that we have a high-level specification and a low-level specification of the agent, both represented as basic action theories. A refinement mapping specifies how each high-level action is implemented by a low-level ConGolog program and how each high-level fluent can be translated into a low-level formula. We define a notion of sound abstraction between such action theories in terms of the existence of a suitable bisimulation between their respective models. Sound abstractions have many useful properties that ensure that we can reason about the agent's actions (e.g., executability, projection, and planning) at the abstract level, and refine and concretely execute them at the low level. We also characterize the notion of complete abstraction where all actions (including exogenous ones) that the high level thinks can happen can in fact occur at the low level. To facilitate verifying that one has a sound/complete abstraction relative to a mapping, we provide a set of necessary and sufficient conditions. Finally, we identify a set of basic action theory constraints that ensure that for any low-level action sequence, there is a unique high-level action sequence that it refines. This allows us to track/monitor what the low-level agent is doing and describe it in abstract terms (i.e., provide high-level explanations, for instance, to a client or manager).

Inherited retinal diseases (IRDs) are a diverse group of genetic disorders that lead to progressive vision loss and are a major cause of blindness in working-age adults. The complexity and heterogeneity of IRDs pose significant challenges in diagnosis, prognosis, and management. Recent advancements in artificial intelligence (AI) offer promising solutions to these challenges. However, the rapid development of AI techniques and their varied applications have led to fragmented knowledge in this field. This review consolidates existing studies, identifies gaps, and provides an overview of AI's potential in diagnosing and managing IRDs. It aims to structure pathways for advancing clinical applications by exploring AI techniques like machine learning and deep learning, particularly in disease detection, progression prediction, and personalized treatment planning. Special focus is placed on the effectiveness of convolutional neural networks in these areas. Additionally, the integration of explainable AI is discussed, emphasizing its importance in clinical settings to improve transparency and trust in AI-based systems. The review addresses the need to bridge existing gaps in focused studies on AI's role in IRDs, offering a structured analysis of current AI techniques and outlining future research directions. It concludes with an overview of the challenges and opportunities in deploying AI for IRDs, highlighting the need for interdisciplinary collaboration and the continuous development of robust, interpretable AI models to advance clinical applications.

In the field of weather forecasting, traditional models often grapple with discretization errors and time-dependent source discrepancies, which limit their predictive performance. In this paper, we present WeatherODE, a novel one-stage, physics-driven ordinary differential equation (ODE) model designed to enhance weather forecasting accuracy. By leveraging wave equation theory and integrating a time-dependent source model, WeatherODE effectively addresses the challenges associated with time-discretization error and dynamic atmospheric processes. Moreover, we design a CNN-ViT-CNN sandwich structure, facilitating efficient learning dynamics tailored for distinct yet interrelated tasks with varying optimization biases in advection equation estimation. Through rigorous experiments, WeatherODE demonstrates superior performance in both global and regional weather forecasting tasks, outperforming recent state-of-the-art approaches by significant margins of over 40.0\% and 31.8\% in root mean square error (RMSE), respectively. The source code is available at \url{https://github.com/DAMO-DI-ML/WeatherODE}.

Vascular anastomosis, the surgical connection of blood vessels, is essential in procedures such as organ transplants and reconstructive surgeries. The precision required limits accessibility due to the extensive training needed, with manual suturing leading to variable outcomes and revision rates up to 7.9%. Existing robotic systems, while promising, are either fully teleoperated or lack the capabilities necessary for autonomous vascular anastomosis. We present the Micro Smart Tissue Autonomous Robot (micro-STAR), an autonomous robotic system designed to perform vascular anastomosis on small-diameter vessels. The micro-STAR system integrates a novel suturing tool equipped with Optical Coherence Tomography (OCT) fiber-optic sensor and a microcamera, enabling real-time tissue detection and classification. Our system autonomously places sutures and manipulates tissue with minimal human intervention. In an ex vivo study, micro-STAR achieved outcomes competitive with experienced surgeons in terms of leak pressure, lumen reduction, and suture placement variation, completing 90% of sutures without human intervention. This represents the first instance of a robotic system autonomously performing vascular anastomosis on real tissue, offering significant potential for improving surgical precision and expanding access to high-quality care.

There has been an increasing interest in detecting hallucinations in model-generated texts, both manually and automatically, at varying levels of granularity. However, most existing methods fail to precisely pinpoint the errors. In this work, we introduce QASemConsistency, a new formalism for localizing factual inconsistencies in attributable text generation, at a fine-grained level. Drawing inspiration from Neo-Davidsonian formal semantics, we propose decomposing the generated text into minimal predicate-argument level propositions, expressed as simple question-answer (QA) pairs, and assess whether each individual QA pair is supported by a trusted reference text. As each QA pair corresponds to a single semantic relation between a predicate and an argument, QASemConsistency effectively localizes the unsupported information. We first demonstrate the effectiveness of the QASemConsistency methodology for human annotation, by collecting crowdsourced annotations of granular consistency errors, while achieving a substantial inter-annotator agreement ($\kappa > 0.7)$. Then, we implement several methods for automatically detecting localized factual inconsistencies, with both supervised entailment models and open-source LLMs.