Toggle light / dark theme

Meta AI Has Built A Neural Theorem Prover That Has Solved 10 International Math Olympiad (IMO) Problems — 5x More Than Any Previous Artificial Intelligence AI System

The scientific world has long acknowledged that proving mathematical theorems is an essential first step in developing artificial intelligence. To prove the truth or falsity of a conjecture, one must use symbolic thinking and sort through an unlimited number of alternatives. These tasks are beyond the capabilities of even the most sophisticated AI systems.

The state of the art in artificial intelligence today is to create machines that can “solve at once” or come up with a whole answer to a problem in a single go. However, this is not how most individuals approach difficult situations. Mathematical reasoning is significantly more challenging to formalize and measure.

Meta AI has made an important development at the intersection of artificial intelligence and mathematics. The neural theorem prover developed by the team has completed five times as many IMO problems as any other AI system before it, totaling ten. Concerning miniF2F, a popular mathematics test, the AI model outperforms the state of art by 20% and outperforms Metamath by 10%.

Bio-hybrid robotics built from living tissue | Shoji Takeuchi

Imagine a robot that could find human beings after a natural disaster because it has a mosquito’s ability to sense human sweat. Shoji Takeuchi of the University of Tokyo has already made a robotic finger that includes living tissue – here he explores possible applications of combining biological material with artificial materials in robotic systems.

http://www.weforum.org/
The World Economic Forum is the International Organization for Public-Private Cooperation. The Forum engages the foremost political, business, cultural and other leaders of society to shape global, regional and industry agendas. We believe that progress happens by bringing together people from all walks of life who have the drive and the influence to make positive change.

World Economic Forum Website ► http://www.weforum.org/
Facebook ► https://www.facebook.com/worldeconomicforum/
YouTube ► https://www.youtube.com/wef.
Instagram ► https://www.instagram.com/worldeconomicforum/
Twitter ► https://twitter.com/wef.
LinkedIn ► https://www.linkedin.com/company/world-economic-forum.
TikTok ► https://www.tiktok.com/@worldeconomicforum.
Flipboard ► https://flipboard.com/@WEF

#WorldEconomicForum #Davos

The US Space Force’s secretive X-37B space plane: 10 surprising facts

The U.S. Space Force has a mini-fleet of two robotic X-37B space planes, which have been flying secret missions since 2010.

The most recent mission, called OTV-6, launched in May 2020 and is ongoing. As that name suggests, it’s the sixth flight for the robotic X-37B, which is also known as the Orbital Test Vehicle (OTV). The other five OTV missions launched in April 2010, March 2011, December 2012, May 2015 and September 2017.

We’ve assembled 10 surprising facts about the military space plane for you. Just click the arrows to launch to the next page and enjoy.

US military’s X-37B space plane lands, ending record-breaking mystery mission.

https://www.space.com/space-force-x-37b-space-plane-otv-6-mission-ends


Learn all about the U.S. Space Force’s robotic X-37B space plane, which has flown six mystery missions to date.

DeviantArt users lash out over AI tool that generates works on its own

DeviantArt faced backlash Friday after the popular art website introduced a brand-new Artificial Intelligence tool that would allow systems to generate works of art on their own.

The AI — which is being called DreamUp — is meant to push for “safe and fair” AI image generation for DeviantArt users, reports Endgadget.

“AI technology for creation is a powerful force we can’t ignore,” said DeviantArt CEO Moti Levy.

How Generative AI Is Changing Creative Work

Generative AI models for businesses threaten to upend the world of content creation, with substantial impacts on marketing, software, design, entertainment, and interpersonal communications. These models are able to produce text and images: blog posts, program code, poetry, and artwork. The software uses complex machine learning models to predict the next word based on previous word sequences, or the next image based on words describing previous images. Companies need to understand how these tools work, and how they can add value.

Page-utils class= article-utils—vertical hide-for-print data-js-target= page-utils data-id= tag: blogs.harvardbusiness.org, 2007/03/31:999.342234 data-title= How Generative AI Is Changing Creative Work data-url=/2022/11/how-generative-ai-is-changing-creative-work data-topic= data-authors= Thomas H. Davenport; Nitin Mittal data-content-type= Digital Article data-content-image=/resources/images/article_assets/2022/11/Nov22_14_1364531717-383x215.jpg data-summary=

It may soon be standard practice for AI tools — such as GPT-3 and DALL-E — to provide first drafts of emails, articles, reports, blog posts, presentations, videos, and more.

Meet Orbit, the Interactive Robot That Looks to Help Children With Autism Spectrum Disorders Develop Social Skills

Orbit, an interactive robot, helps teach children on the autism spectrum to develop social appropriateness and emotion via storytelling, physical interaction, and visual communication.

The hand-sized robot smiles and encourages users to press a button on its back, reacting with a beaming smile if pressed gently, and with a sad face if the interaction is too hard.

Hey there. Allow me to introduce you to your new companion, Orbit, a robot you can play with and listen to.

Omiefe Africa’s First Humanoid Robot Built By Nigerians

Omiefe Africa’s first humanoid robot has been built by a Nigerian company, Uniccon.

As the world takes a U-turn in inventions ranging from smartphones, and drones, and now with the latest inventions of humanoid (robots).

The humanoid robot was unveiled at the world’s biggest technology event, Gitex, which took place at Dubai World Trade Centre, from October 10th to 14th.

Researchers reveal secret of ultra-slow motion of pine cones

In a study recently published in Nature Materials, Prof. Wang Shutao from the Technical Institute of Physics and Chemistry (TICP) of the Chinese Academy of Sciences (CAS) and Prof. Liu Huan from Beihang University revealed the secret of ultra-slow motion of pine cones and developed mimicking actuators enabling unperceivable motion.

Responsive actuators have attracted extensive attention by virtue of their great potential applications in flexible robotics, sensors, energy conversion and other fields. Pine cones are a well-known bionic model for constructing artificial actuators.

However, little attention has been paid to the fact that the hygroscopic motion of pine cones is an ultra-slow process. Hygroscopic deformation has long been attributed to the uneven hygroscopic expansion of vascular bundles (VBs) and sclereids, controlled by their different microfibril orientations. The mechanism cannot explain the observation that VBs themselves are capable of reversible hygroscopic motion. Therefore, the mechanism of ultra-slow motion in pine cones has long been unclear.

Oakland Police Want to Arm Robots With Shotguns, Because We Live in a Dystopian Nightmare

Police in Oakland are hoping to arm robots with potentially lethal shotgun-like attachments. Why? Because that’s the reality we live in now.

As The Intercept reports, the Oakland police force made a “percussion actuated nonelectric disruptor,” or PAN disruptor, a top-priority item on their wish list last year.

In short, PAN is a shotgun-shaped accessory attachment for wheeled robots, which are often deployed in war zones and by bomb squads.

New Technologies that May be in the Cards

Visit our sponsor, Brilliant: https://brilliant.org/IsaacArthur/
Every day brings us new technological advances, today we’ll explore many of those of such as robotics, automation, rapid delivery, education, medical science, nanotechnology, and more.

Episodes referenced in the Episode:
Power Satellites: https://www.youtube.com/watch?v=eBCbdThIJNE
Fusion Power: https://www.youtube.com/watch?v=ChTJHEdf6yM
Quiet Revolution: https://www.youtube.com/watch?v=jvH-7XX6pkk.
The Santa Claus Machine: https://www.youtube.com/watch?v=FmgYoryG_Ss.
Synthetic Meat: https://www.youtube.com/watch?v=_NULFAItoBs.
Cyborgs: https://www.youtube.com/watch?v=cGYKCTFIZLI
Mind Augmentation: https://www.youtube.com/watch?v=aQpYOVvU17Y
Mind-Machine Interfaces: https://www.youtube.com/watch?v=OCLLzI4R3bc.
Life Extension https://www.youtube.com/watch?v=kKmdc2AuXec.
The Science of Aging: https://www.youtube.com/watch?v=RDpjv2z3dyE
Happily Ever After: https://www.youtube.com/watch?v=0ypfzvQ-Q2w.
Attack of the Drones: https://www.youtube.com/watch?v=6oZCUtgnQkE
Advanced Metamaterials: https://www.youtube.com/watch?v=s0UZ6-oeiIE
Portable Power: https://www.youtube.com/watch?v=ffXqcf48D9Q
The Nuclear Option: https://www.youtube.com/watch?v=3aBOhC1c6m8
Moon: Industrial Complex: https://www.youtube.com/watch?v=y47MMNqKGxE
Machine Rebellion: https://www.youtube.com/watch?v=jHd22kMa0_w.
The Paperclip Maximizer: https://www.youtube.com/watch?v=3mk7NVFz_88
Technological Stagnation: Coming Soon.
Non-Carbon Based Life: Coming Soon.

Visit our Website: http://www.isaacarthur.net.
Support us on Patreon: https://www.patreon.com/IsaacArthur.
SFIA Merchandise available: https://www.signil.com/sfia/

Social Media:
Facebook Group: https://www.facebook.com/groups/1583992725237264/
Reddit: https://www.reddit.com/r/IsaacArthur/
Twitter: https://twitter.com/Isaac_A_Arthur on Twitter and RT our future content.
SFIA Discord Server: https://discord.gg/53GAShE

Listen or Download the audio of this episode from Soundcloud: Episode’s Audio-only version: https://soundcloud.com/isaac-arthur-148927746/new-technologi…-the-cards.
Episode’s Narration-only version: https://soundcloud.com/isaac-arthur-148927746/new-technologi…ation-only.

Credits:

/* */