Menu

Blog

Archive for the ‘robotics/AI’ category: Page 1621

Sep 15, 2020

Elon Musk’s brain-computer startup is getting ready to blow your mind

Posted by in categories: Elon Musk, robotics/AI

Musk reckons his brain-computer interface could one day help humans merge with AI, record their memories, or download their consciousness. Could he be right?

Sep 15, 2020

Inaho’s tireless asparagus picking robot

Posted by in categories: food, robotics/AI

This autumn Kotaro Ando, a forty year-old farmer from Tara Town, Saga City (Japan) became the first customer to lease an asparagus picking robot from local agricultural high-tech startup Inaho Co. Ltd. Founded in 2017 and located in the coastal town of Kamakura, Inaho develops robots for agricultural and non-agricultural use. In January 2019, the company opened an office in Kashima (about 110 km from Tokyo) to market their autonomous robot to asparagus and cucumber farmers in Saga City and its surrounding areas. Kotaro Ando was one of these lucky asparagus farmers.

Sep 15, 2020

IBM pushes for US to limit facial recognition system exports

Posted by in categories: robotics/AI, surveillance

Big Blue fears human rights violations and mass surveillance.

Sep 14, 2020

General Atomics unveils ‘ultra-long endurance’ replacement for MQ-9 Reaper

Posted by in categories: military, robotics/AI, surveillance

General Atomics Aeronautical Systems has unveiled a rendering of its next-generation intelligence, surveillance and reconnaissance and strike unmanned air vehicle as a proposed replacement of the US Air Force’s MQ-9A Reaper.

Sep 14, 2020

Playing with Realistic Neural Talking Head Models

Posted by in categories: information science, robotics/AI

Researchers at the Samsung AI Center in Moscow (Russia) have recently presented interesting work called Living portraits: they made Mona Lisa and other subjects of photos and art alive using video of real people. They presented a framework for meta-learning of adversarial generative models called “Few-Shot Adversarial Learning”.

You can read more about details in the original paper.

Here we review this great implementation of the algorithm in PyTorch. The author of this implementation is Vincent Thévenin — research worker in De Vinci Innovation Center.

Sep 14, 2020

C-MIMI: Use of AI in radiology is evolving

Posted by in categories: biotech/medical, information science, robotics/AI

September 14, 2020 — The use of artificial intelligence (AI) in radiology to aid in image interpretation tasks is evolving, but many of the old factors and concepts from the computer-aided detection (CAD) era still remain, according to a Sunday talk at the Conference on Machine Intelligence in Medical Imaging (C-MIMI).

A lot has changed as the new era of AI has emerged, such as faster computers, larger image datasets, and more advanced algorithms — including deep learning. Another thing that’s changed is the realization of additional reasons and means to incorporate AI into clinical practice, according to Maryellen Giger, PhD, of the University of Chicago. What’s more, AI is also being developed for a broader range of clinical questions, more imaging modalities, and more diseases, she said.

At the same time, many of the issues are the same as those faced in the era of CAD. There are the same clinical tasks of detection, diagnosis, and response assessment, as well as the same concern of “garbage in, garbage out,” she said. What’s more, there’s the same potential for off-label use of the software, and the same methods for statistical evaluations.

Sep 13, 2020

Meet This Year’s WIRED25: People Who Are Making Things Better

Posted by in categories: biotech/medical, robotics/AI

When Sartre said hell is other people, he wasn’t living through 2020. Right now, other people are the only thing between us and species collapse. Not just the people we occasionally encounter behind fugly masks—but the experts and innovators out in the world, leading the way. The 17-year-old hacker building his own coronavirus tracker. The Google AI wonk un-coding machine bias. A former IT guy helping his community thwart surveillance. There are people everywhere, in and out … See More.


The scientists, technologists, artists, and chefs who are standing between us and species collapse.

Sep 13, 2020

Elon Musk’s Neuralink — The Dark Side

Posted by in categories: biotech/medical, Elon Musk, robotics/AI

TLDR: Scroll down to Conclusions.

Elon Musk has recently unveiled his company’s first Neuralink device implanted in an experimental animal — a pig.

Continue reading “Elon Musk’s Neuralink — The Dark Side” »

Sep 13, 2020

AI Avatars — from Clippy to Rommie and Beyond

Posted by in category: robotics/AI

From the Merriam-Webster dictionary:

Avatar derives from a Sanskrit word meaning “descent,” and when it first appeared in English in the late 18th century, it referred to the descent of a deity to the earth — typically, the incarnation in earthly form of Vishnu or another Hindu deity. It later came to refer to any incarnation in human form, and then to any embodiment (such as that of a concept or philosophy), whether or not in the form of a person. In the age of technology, avatar has developed another sense — it can now be used for the image that a person chooses as his or her “embodiment” in an electronic medium.

Sep 12, 2020

OpenAI ‘GPT-f’ Delivers SOTA Performance in Automated Mathematical Theorem Proving

Posted by in categories: mathematics, robotics/AI

San Francisco-based AI research laboratory OpenAI has added another member to its popular GPT (Generative Pre-trained Transformer) family. In a new paper, OpenAI researchers introduce GPT-f, an automated prover and proof assistant for the Metamath formalization language.

While artificial neural networks have made considerable advances in computer vision, natural language processing, robotics and so on, OpenAI believes they also have potential in the relatively underexplored area of reasoning tasks. The new research explores this potential by applying a transformer language model to automated theorem proving.

Automated theorem proving tends to require general and flexible reasoning to efficiently check the correctness of proofs. This makes it an appealing domain for checking the reasoning capabilities of language models and for the study of reasoning in general. The ability to verify proofs also helps researchers as it enables the automatic generation of new problems that can be used as training data.