Lifeboat Foundation

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.

The company disclosed the benchmarks in a presentation to the FCC.

Cutting calories significantly may not be an easy task for most, but it’s tied to a host of health benefits ranging from longer lifespan to a much lower chance of developing cancer, heart disease, diabetes and neurodegenerative conditions such as Alzheimer’s.

A new study from teams led by Scripps Research Professors Bruno Conti, Ph.D., and Gary Siuzdak, Ph.D., illuminates the critical role that body temperature plays in realizing these diet-induced health benefits. Through their findings, the scientists pave the way toward creating a medicinal compound that imitates the valuable effects of reduced body temperature.

Continue reading “Linking calorie restriction, body temperature and healthspan” »

This video was made possible by Brilliant. Be one of the first 200 people to sign up with this link and get 20% off your premium subscription with Brilliant.org! https://brilliant.org/futurology

In the last video in this series we discussed the differences between deep learning and machine learning, how and when the field of deep learning was officially born, and it’s rise to mainstream popularity. The focus of this video then will be on artificial neural networks, more specifically – their structure.

Continue reading “How Neural Networks Work (From The Brain To Artificial Intelligence)” »

ASTEROID trackers at US-based space agency NASA have revealed a trio of cosmic rocks will safely skim past Earth today.

In 1998, an engineer in Sony’s computer science lab in Japan filmed a lost-looking robot moving trepidatiously around an enclosure. The robot was tasked with two objectives: avoid obstacles and find objects in the pen. It was able to do so…

A different astronomy and space science related image is featured each day, along with a brief explanation.

Scientists claim to have found the first known extraterrestrial protein in a meteorite.

Team’s goal is to take the aircraft up into the icy stratosphere to 25km above the Earth.

A HUGE meteor streaked in the skies above California, leaving onlookers stunned with one claiming it was “a close call”.