“Find the best-selling product from last year.” When an AI system attempts to answer a question like this by querying a company database, even a single reference to a nonexistent item can cause the query to fail. Until now, correcting such an error often required regenerating the entire SQL query from scratch.”Find the best-selling product from last year.” When an AI system attempts to answer a question like this by querying a company database, even a single reference to a nonexistent item can cause the query to fail. Until now, correcting such an error often required regenerating the entire SQL query from scratch.[#item_full_content]

Reliable navigation, place recognition and object interaction require autonomous robots to maintain precise environmental maps. Semantic simultaneous localization and mapping (SLAM) adds meaning to a robot’s map by representing landmarks as recognizable objects rather than only geometric points.Reliable navigation, place recognition and object interaction require autonomous robots to maintain precise environmental maps. Semantic simultaneous localization and mapping (SLAM) adds meaning to a robot’s map by representing landmarks as recognizable objects rather than only geometric points.[#item_full_content]

Large language models (LLMs), the artificial intelligence systems underpinning the functioning of ChatGPT, Gemini and other similar conversational agents, are now widely used worldwide. In addition to processing, interpreting and generating texts, some of these models can solve basic logical problems and answer some user questions with striking accuracy.Large language models (LLMs), the artificial intelligence systems underpinning the functioning of ChatGPT, Gemini and other similar conversational agents, are now widely used worldwide. In addition to processing, interpreting and generating texts, some of these models can solve basic logical problems and answer some user questions with striking accuracy.[#item_full_content]

Researchers from Skoltech and Sberbank’s Center for Practical Artificial Intelligence have proposed a new method, TOHA, for detecting hallucinations in large language models operating in retrieval-augmented generation (RAG) systems. The approach analyzes the topological structure of a model’s attention maps and makes it possible to identify responses that are not supported by the provided context. The method does not require training additional models and uses only a small amount of annotated data for configuration.Researchers from Skoltech and Sberbank’s Center for Practical Artificial Intelligence have proposed a new method, TOHA, for detecting hallucinations in large language models operating in retrieval-augmented generation (RAG) systems. The approach analyzes the topological structure of a model’s attention maps and makes it possible to identify responses that are not supported by the provided context. The method does not require training additional models and uses only a small amount of annotated data for configuration.[#item_full_content]

Computer scientists worldwide have been developing a wide range of artificial intelligence (AI) systems. Some of these systems rely on an individual AI agent, while others consist of multiple interacting agents that exchange information, cooperate and revise each other’s responses or predictions.Computer scientists worldwide have been developing a wide range of artificial intelligence (AI) systems. Some of these systems rely on an individual AI agent, while others consist of multiple interacting agents that exchange information, cooperate and revise each other’s responses or predictions.[#item_full_content]

Modern computational tools let scientists explore huge numbers of possible molecules, materials and chemical reactions. But testing every combination in the lab is slow and costly. So how do researchers choose the best “recipe” for their experiment?Modern computational tools let scientists explore huge numbers of possible molecules, materials and chemical reactions. But testing every combination in the lab is slow and costly. So how do researchers choose the best “recipe” for their experiment?[#item_full_content]

Researchers from the University of Warwick report that how faithfully we can build a “digital twin” of a human brain depends not only on computing power but fundamentally on how much of the living brain we can measure, validate and update over time.Researchers from the University of Warwick report that how faithfully we can build a “digital twin” of a human brain depends not only on computing power but fundamentally on how much of the living brain we can measure, validate and update over time.[#item_full_content]

By combining two complementary clues—camera geometry and visual appearance—researchers at the Institute of Science Tokyo, Japan, developed a new approach for preserving identities across multiple cameras. The method uses epipolar geometry to identify spatially consistent candidate matches and appearance similarity to distinguish among possible identities. The approach can be integrated with existing single-camera tracking systems without requiring environment-specific retraining.By combining two complementary clues—camera geometry and visual appearance—researchers at the Institute of Science Tokyo, Japan, developed a new approach for preserving identities across multiple cameras. The method uses epipolar geometry to identify spatially consistent candidate matches and appearance similarity to distinguish among possible identities. The approach can be integrated with existing single-camera tracking systems without requiring environment-specific retraining.[#item_full_content]

For decades, chess has served as a laboratory for studying intelligence and decision-making. It is well established that today’s chess engines can outperform even the strongest grandmasters. But far less is understood about how their play actually differs.For decades, chess has served as a laboratory for studying intelligence and decision-making. It is well established that today’s chess engines can outperform even the strongest grandmasters. But far less is understood about how their play actually differs.[#item_full_content]

Model checking helps automatically verify whether hardware and software systems satisfy specified requirements. It has become an important formal verification technique, but two major challenges remain: state-space explosion, which limits the size of systems that can be checked, and long verification times.Model checking helps automatically verify whether hardware and software systems satisfy specified requirements. It has become an important formal verification technique, but two major challenges remain: state-space explosion, which limits the size of systems that can be checked, and long verification times.[#item_full_content]