Lifeboat Foundation: Safeguarding Humanity
Toggle light / dark theme

Blog

Category: robotics/AI – Page 720

AI and EEG Transform Silent Thoughts to Text

Summary: Researchers created a revolutionary system that can non-invasively convert silent thoughts into text, offering new communication possibilities for people with speech impairments due to illnesses or injuries.

The technology uses a wearable EEG cap to record brain activity and an AI model named DeWave to decode these signals into language. This portable system surpasses previous methods that required invasive surgery or cumbersome MRI scanning, achieving state-of-the-art EEG translation performance.

It shows promise in enhancing human-machine interactions and in aiding those who cannot speak, with potential applications in controlling devices like bionic arms or robots.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs that are 100% accurate.

Top right: LeanDojo extracts proofs in Lean into datasets for training machine learning models. It also enables the trained model to prove theorems by interacting with Lean’s proof environment.

Top left: The proof tree of a Lean theorem ∀n∈N, gcd n n = n, where gcd is the greatest common divisor. When proving the theorem, we start from the original theorem as the initial state (the root) and repeatedly apply tactics (the edges) to decompose states into simpler sub-states, until all states are solved (the leaf nodes). Tactics may rely on premises such as mod_self and gcd_zero_left defined in a large math library. E.g., mod_self is an existing theorem ∀n∈N, n % n = 0 used in the proof to simplify the goal.

Spotify slashes staff to move faster into AI — and Wall Street loves it

Spotify made a name for itself in the audio-streaming business through its hyper-personalized user experience, thanks to artificial intelligence and a team of 9,800 staffers at the end of 2022.

But after three rounds of layoffs in one year: 590 positions in January, 200 in June, and another 1,500 this week, Spotify’s investments into AI to boost margins for its podcasting and audiobook divisions look like a complete overhaul in strategy that Wall Street seems confident can work.

“Spotify is leveraging AI across its platform, launching AI DJ, simulating a traditional radio experience, in 50 additional markets and rolling out AI Voice Translation for podcasts,” said Justin Patterson, equity research analyst at KeyBanc Capital Markets, in a research note. “Coupled with audiobooks rolling out to Premium Subscribers, we believe Spotify has several opportunities to drive engagement and eventually stronger monetization.”

Shares of parent company Spotify Technology SA are up more than 30% over the last six months and up more than 135% year to date.

IHMC’s Nadia: A task-ready humanoid robot with a boxing edge

In the exercise, an engineer equipped with a set of virtual reality (VR) goggles is orchestrating the robot’s actions.

Advanced proposition.

Nadia, a cutting-edge humanoid robot, is engineered with a focus on achieving a remarkable power-to-weight ratio and extensive range of motion. This is made possible by leveraging innovative mechanisms and advanced composite materials.

The robot draws its namesake from the renowned gymnast Nadia Comăneci, reflecting the ambitious aim of replicating human range of motion. Funding for Nadia’s development is derived from various sources, encompassing support from the Office of Naval Research (ONR), Army Research Laboratory (ARL), NASA Johnson Space Center, and TARDEC. This diverse funding base underscores the broad interest and recognition of Nadia’s potential applications across military, space exploration, and technological research domains, according to IHMC.