Goto

Collaborating Authors

 moon


Students use AI to find possible cave entrances on Moon

BBC News

Artificial intelligence (AI) has been used to find two previously undiscovered possible cave entrances on the Moon, which could support human survival on future space missions. Daniel Le Corre, a PhD researcher at the University of Kent, surveyed less than 0.3% of the lunar surface before finding the two pits. The South Marius Hills Pit, which the university said was previously overlooked by researchers, is in an area thought to be rich in lava tubes, while the Bel'kovich A Pit is close to the Moon's north pole and more likely to be a source of water. The pits were detected using an AI model that was trained to scan publicly available Nasa images and identify pits based on their distinctive shape. The AI model is named Essa, which is short for entrances to sub-surface areas and a nod to the Cornish name of Mr Le Corre's hometown, Saltash.


Meet the history-making Nasa astronauts headed for the Moon next year

BBC News

The commander of Nasa's next mission to the Moon said that he and his crew would see things that no human has ever seen. Reid Wiseman told a news conference that it was likely that his spacecraft would fly over large areas of the Moon that previous Apollo missions had never mapped. Yesterday, Nasa announced it hoped it would be able to launch the first crewed Moon mission in 50 years as early as February 2026 . Mission specialist Christina Koch explained that the astronauts would be able to study the lunar surface in exquisite detail for a full three hours. Believe it or not, human eyes are one of the best scientific instruments that we have, she said.


Logic Agent: Enhancing Validity with Logic Rule Invocation

Liu, Hanmeng, Teng, Zhiyang, Zhang, Chaoli, Zhang, Yue

arXiv.org Artificial Intelligence

Chain-of-Thought (CoT) prompting has emerged as a pivotal technique for augmenting the inferential capabilities of language models during reasoning tasks. Despite its advancements, CoT often grapples with challenges in validating reasoning validity and ensuring informativeness. Addressing these limitations, this paper introduces the Logic Agent (LA), an agent-based framework aimed at enhancing the validity of reasoning processes in Large Language Models (LLMs) through strategic logic rule invocation. Unlike conventional approaches, LA transforms LLMs into logic agents that dynamically apply propositional logic rules, initiating the reasoning process by converting natural language inputs into structured logic forms. The logic agent leverages a comprehensive set of predefined functions to systematically navigate the reasoning process. This methodology not only promotes the structured and coherent generation of reasoning constructs but also significantly improves their interpretability and logical coherence. Through extensive experimentation, we demonstrate LA's capacity to scale effectively across various model sizes, markedly improving the precision of complex reasoning across diverse tasks.


India lands a spacecraft softly on the moon's surface

Washington Post - Technology News

Unlike rivals such as China and Russia, India has aligned itself with the United States by signing an agreement on space exploration, known as the Artemis Accords, a legal framework that governs activity in space. So far, nearly 30 countries have signed, allowing them to partner with the U.S. on space missions and mandating that they adhere to a set of rules, such as publicly sharing scientific discoveries and creating "safety zones" where nations could work undisturbed on the lunar surface.


The camera never lied... until AI told it to

#artificialintelligence

An amateur photographer who goes by the name "ibreakphotos" decided to do an experiment on his Samsung phone last month to find out how a feature called "space zoom" actually works. The feature, first released in 2020, claims a 100x zoom rate, and Samsung used sparkling clear images of the Moon in its marketing. Ibreakphotos took his own pictures of the Moon--blurry and without detail--and watched as his phone added craters and other details. The phone's artificial intelligence software was using data from its "training" on many other pictures of the Moon to add detail where there was none. "The Moon pictures from Samsung are fake," he wrote, leading many to wonder whether the shots people take are really theirs anymore--or if they can even be described as photographs. Samsung has defended the technology, saying it does not "overlay" images, and pointed out that users can switch off the function.