 Your new post is loading...
Proving geometric theorems constitutes a hallmark of visual reasoning combining both intuitive and logical skills. Therefore, automated theorem proving of Olympiad-level geometry problems is considered a notable milestone in human-level automated reasoning. The introduction of AlphaGeometry, a neuro-symbolic model trained with 100 million synthetic samples, marked a major breakthrough. It solved 25 of 30 International Mathematical Olympiad (IMO) problems whereas the reported baseline based on Wu’s method solved only ten. In this paper, the IMO-AG-30 Challenge introduced with AlphaGeometry was revisited, and the researchers found that Wu’s method is surprisingly strong. Wu’s method alone can solve 15 problems, and some of them are not solved by any of the other methods. This leads to two key findings: (i) Combining Wu’s method with the classic synthetic methods of deductive databases and angle, ratio, and distance chasing solves 21 out of 30 methods by just using a CPU-only laptop with a time limit of 5 minutes per problem. Essentially, this classic method solves just 4 problems less than AlphaGeometry and establishes the first fully symbolic baseline, strong enough to rival the performance of an IMO silver medalist. (ii) Wu’s method even solves 2 of the 5 problems that AlphaGeometry failed to solve. Thus, by combining AlphaGeometry with Wu’s method a new state-of-the-art for automated theorem proving on IMO-AG-30, solving 27 out of 30 problems, the first AI method which outperforms an IMO gold medalist is finally achieved. Read the full article at: arxiv.org
Via Dr. Stefan Gruenwald
"Amazon Music is following hot on the heels of Spotify's AI playlist feature with its own version known as Maestro ..."
Earlier in April, Spotify launched a new feature that lets users create AI-based playlists. Starting today, Amazon now offering a similar feature known as Maestro within its Amazon Music service as a beta experience to a select set of users in the U.S. Read the full article at: www.digitaltrends.com
Via Leona Ungerer
"The opportunities of AI also extend to developing regions, which is an important consideration ..."
While the potential of generative AI has been discussed extensively over the past year, Google is now looking at AI from a different angle, in regards to how it will benefit developing regions. As per Google: “AI stands to benefit people worldwide. This is especially true for developing countries across Latin America, the Middle East, Asia and Africa where it can provide game-changing solutions to unique challenges they face — like poor infrastructure, youth unemployment, uneven access to education and health care, and food insecurity.”
Read the full article at: www.socialmediatoday.com
Via Leona Ungerer
Based on an ultra-low-power STM32 MCU for daily exploration of access control systems and radio protocols. Open-source and customizable Flipper Zero Multi-tool Device for GeeksFlipper Zero is a portable multi-tool for pentesters and geeks in a toy-like body. It loves hacking digital stuff, such as radio protocols, access control systems, hardware, and more. It's fully open-source and customizable, so you can extend it in whatever way you like.
Read the full article at: flipperzero.one
"If you want to understand where technology is heading, science fiction is a good place to start. It can get it hilariously wrong too though ..." Read the full article at: www.forbes.com
Via Leona Ungerer
"Tech such as laptops, tablets and instant messaging has more positive effect on wellbeing, says thinktank ..."
Read the full article at: www.theguardian.com
Via Leona Ungerer
$post.getHtmlFragment() Our AI-powered NBVR surveillance system takes security and video analysis beyond old-fashioned CCTV. It automatically processes video, extracting insights through machine learning. This allows intelligent monitoring that focuses on what matters most. Read the full article at: neurospot.tech
"A new iPhone app called "Galactic Compass" points users in the direction of the Milky Way's central supermassive black hole ..."
Read the full article at: www.space.com
Via Leona Ungerer
Google Gemma: because Google doesn’t want to give away Gemini yet
/ Gemma 2B and Gemma 7B are smaller open-source AI models for language tasks in English.
Read the full article at: www.theverge.com
Via Gust MEES
Uber, Mitsubishi Electric and autonomous robotics startup Cartken are launching a service in Japan using self-driving sidewalk robots.
Uber, along with partners Mitsubishi Electric and autonomous robotics startup Cartken, are launching a service in Japan that will use self-driving sidewalk robots to deliver food to customers. The companies announced that the service offered through the Uber Eats app will launch in a select part of Tokyo by the end of March. An Uber spokesperson said operating hours would be disclosed closer to the launch date. Uber and Cartken, a startup founded in 2019 by former Google engineers behind the short-lived Bookbot, already operate a delivery service together in Fairfax, Virginia, and Miami. This latest agreement marks their first foray outside of the United States. It also brings in Mitsubishi Electric, a company that will supervise operations in Tokyo.
Read the full article at: techcrunch.com
NVIDIA recently announced GeForce RTX™ SUPER desktop GPUs for supercharged generative AI performance, new AI laptops from every top manufacturer, and new NVIDIA RTX™-accelerated AI software and tools for both developers and consumers. Building on decades of PC leadership, with over 100 million of its RTX GPUs driving the AI PC era, NVIDIA is now offering these tools to enhance PC experiences with generative AI: NVIDIA TensorRT™ acceleration of the popular Stable Diffusion XL model for text-to-image workflows, NVIDIA RTX Remix with generative AI texture tools, NVIDIA ACE microservices and more games that use DLSS 3 technology with Frame Generation. AI Workbench, a unified, easy-to-use toolkit for AI developers, will be available in beta later this month. In addition, NVIDIA TensorRT-LLM (TRT-LLM), an open-source library that accelerates and optimizes inference performance of the latest large language models (LLMs), now supports more pre-optimized models for PCs. Accelerated by TRT-LLM, Chat with RTX, an NVIDIA tech demo also releasing this month, allows AI enthusiasts to interact with their notes, documents and other content. “Generative AI is the single most significant platform transition in computing history and will transform every industry, including gaming,” said Jensen Huang, founder and CEO of NVIDIA. “With over 100 million RTX AI PCs and workstations, NVIDIA is a massive installed base for developers and gamers to enjoy the magic of generative AI.” Running generative AI locally on a PC is critical for privacy, latency and cost-sensitive applications. It requires a large installed base of AI-ready systems, as well as the right developer tools to tune and optimize AI models for the PC platform. To meet these needs, NVIDIA is delivering innovations across its full technology stack, driving new experiences and building on the 500+ AI-enabled PC applications and games already accelerated by NVIDIA RTX technology. This is NVIDIA's first and very important step towards the vision of "LLM as Operating System" - a locally running, heavily optimized AI assistant that can deeply integrate with all your local files, but at the same time preserving privacy. NVIDIA is going local even before OpenAI! Read the full article at: nvidianews.nvidia.com
Via Dr. Stefan Gruenwald
OpenAI announced a text-to-video diffusion model called Sora. The model which is currently in red-teaming phase, is capable of producing complex, detailed videos based on a single prompt. Read the full article at: mashable.com
"Payments giant Mastercard has built its own proprietary generative AI model to help its bank network detect and root out fraudulent transactions ..." Read the full article at: www.cnbc.com
Via Leona Ungerer
|
The electric version of Atlas will be stronger, with a broader range of motion than any of our previous generations. For example, our last generation hydraulic Atlas (HD Atlas) could already lift and maneuver a wide variety of heavy, irregular objects; we are continuing to build on those existing capabilities and are exploring several new gripper variations to meet a diverse set of expected manipulation needs in customer environments. Learn more / En savoir plus / Mehr erfahren: https://www.scoop.it/t/21st-century-innovative-technologies-and-developments/?&tag=Robotics Read the full article at: bostondynamics.com
Via Gust MEES
"Apple's iOS 18 update will likely be full of new AI features ..."
Artificial intelligence and machine learning have played an important role in the iPhone for years, powering features like Portrait Mode for the camera and the ability to copy and paste text from photos. But at Apple's Worldwide Developer Conference, we're expecting to learn about how Apple could take that to the next level by potentially bringing generative AI to the iPhone. Generative AI, or AI models trained on large volumes of data that create content in response to prompts, has exploded in popularity following the success of ChatGPT. Tech giants such as Microsoft, Google, Samsung and Amazon, among many others, have introduced generative AI into their biggest products over the past year. Apple, however, has been quiet about its plans for generative AI, although CEO Tim Cook teased updates for 2024. Read the full article at: www.cnet.com
Via Leona Ungerer
We’re sharing lessons from a small scale preview of Voice Engine, a model for creating custom voices.
OpenAI is committed to developing safe and broadly beneficial AI. Today we are sharing preliminary insights and results from a small-scale preview of a model called Voice Engine, which uses text input and a single 15-second audio sample to generate natural-sounding speech that closely resembles the original speaker. It is notable that a small model with a single 15-second sample can create emotive and realistic voices. We first developed Voice Engine in late 2022, and have used it to power the preset voices available in the text-to-speech API as well as ChatGPT Voice and Read Aloud. At the same time, we are taking a cautious and informed approach to a broader release due to the potential for synthetic voice misuse. We hope to start a dialogue on the responsible deployment of synthetic voices, and how society can adapt to these new capabilities. Based on these conversations and the results of these small scale tests, we will make a more informed decision about whether and how to deploy this technology at scale. Read the full article at: openai.com
"Company communicators need accessible, relatable content to bring all along in the AI journey ..." Read the full article at: www.forbes.com
Via Leona Ungerer
A true and totally 3D app for learning human anatomy with 3D position quiz, built on an advanced interactive 3D touch interface.
***From the creator of Visual Anatomy app. Features: ★You can rotate models to any angles and zoom in and out ★Peel layers of muscles and reveal the anatomical...
Read the full article at: apps.microsoft.com
"As businesses figure out how best to manage AI workers, will there be hiccups along the way? ..."
Read the full article at: www.forbes.com
Via Leona Ungerer
There are many ways artificial intelligence can be used for good and to help solve some of the world’s biggest problems. Many researchers and organizations are prioritizing projects where artificial intelligence can be used for good. Here are my top 10 ways AI is used responsibly. Read the full article at: www.forbes.com
There are plenty of GenAI-powered music editing and creation tools out there, but Adobe wants to put its own spin on the concept. Today at the Hot Pod Summit in Brooklyn, Adobe unveiled Project Music GenAI Control, a platform that can generate audio from text descriptions (e.g. “happy dance,” “sad jazz”) or a reference melody and let users customize the results within the same workflow. Using Project Music GenAI Control, users can adjust things like tempo, intensity, repeating patterns and structure. Or they can take a track and extend it to an arbitrary length, remixing music or creating an endless loop.
Read the full article at: techcrunch.com
An insightful travel companion, offering tailored advice and vivid insights. For ideas on what to ask visit bouris.com/travel-guide
Read the full article at: bouris.com
Immediately after OpenAI released Sora, its new text-to-video model, there was rampant speculation on how it was trained. Yet, details are scarce. On Thursday, OpenAI once again shook up the AI world with a video generation model called Sora. The demos showed photorealistic videos with crisp detail and complexity, based off of simple text prompts. A video based on the prompt "Reflections in the window of a train traveling through the Tokyo suburbs" looked like it was filmed on a phone, shaky camera work and reflections of train passengers included. No weird distorted hands in sight.
Read the full article at: mashable.com
Analyzes and assesses scripts for books, theatrical plays, TV series, and films, requiring knowledge of narrative structure, character development, and thematic depth.
Read the full article at: bouris.com
If fully successful, the IM-1 cargo mission would be the first U.S. lunar landing in more than 50 years. - Intuitive Machines’ Nova-C lunar lander launched from Florida on SpaceX’s Falcon 9 rocket, beginning the IM-1 mission.
- If fully successful, the IM-1 cargo mission would be the first U.S. lunar landing in more than 50 years.
- The Intuitive Machines lander is expected to spend about eight days traveling to the moon before descending to the surface.
Intuitive Machines, Inc. is a diversified space company focused on space exploration. It is a provider and supplier of space products and services that enable sustained robotic and human exploration to the Moon, Mars, and beyond. Its products and services are offered through its four business units: Lunar Access Services, Orbital Services, Lunar Data Services and Space Products and Infrastructure. Its Orbital Services segment is designed to support satellites and stations in Earth and lunar orbits. Orbital Services consists of leveraging its technologies and government funds to establish a foothold in capturing the growing orbital services market. Lunar Data Services is designed to allow it to provide lunar network services to National Aeronautics and Space Administration and commercial clients. Space Products and Infrastructure includes propulsion systems, navigation systems, engineering services contracts, lunar mobility vehicles, power infrastructure, and human habitation systems. Read the full article at: www.cnbc.com
Via Dr. Stefan Gruenwald
|
