AI Can Now Prove Mathematical Theorems

AI Can Now Prove Mathematical Theorems

Here’s an interesting innovation coming out of Google in regards to AI and mathematics. I wonder how much AI will accelerate our understanding of math. Details
Explaining the Paper: Hopfield Networks is All You Need

Explaining the Paper: Hopfield Networks is All You Need

Yannic Kilcher explains the paper “Hopfield Networks is All You Need.” Hopfield Networks are one of the classic models of biological memory networks. This paper... Details
An algorithm that learns through rewards may show how our brain does too

Algorithm that Learns via Rewards May Reveal How Our Brains Learn

I always knew that reinforcement learning would teach us more about ourselves than any other kind of AI approach. This feeling was backed up in... Details
Differential Rendering

Differential Rendering

Two Minute Papers has an interesting look at the paper "Reparameterizing discontinuous integrands for differentiable rendering." Details
Teaching an AI To Synthesize Materials

Teaching an AI To Synthesize Materials

Two Minute Papers examines his research paper he did with his peers "Photorealistic Material Editing Through Direct Image Manipulation." Details
Learning Algorithms and the Self-Supervised Machine with Dr. Philip Bachman

Learning Algorithms and the Self-Supervised Machine with Dr. Philip Bachman

Microsoft Research has a new podcast out talking about learning algorithms. Deep learning methodologies like supervised learning have been very successful in training machines to... Details
AES (Advanced Encryption Standard) Explained

AES (Advanced Encryption Standard) Explained

Computerphile explored AES (Advanced Encryption Standard) with Dr Mike Pound explains. Details
Towards Grounded Spatio-Temporal Reasoning

Towards Grounded Spatio-Temporal Reasoning

Microsoft Research has posted this interesting video: To develop an Artificial Intelligence (AI) system that can understand the world around us, it needs to be... Details
Multi-Agent Hide and Seek

Multi-Agent Hide and Seek

OpenAI has an interesting video explaining some of their latest research behind training reinforcement learning agents how to play hide and seek. Details
Inside the Microsoft AI Residency Program with Dr. Brian Broll

Inside the Microsoft AI Residency Program with Dr. Brian Broll

In this interview on the Microsoft Research Podcast, Dr. Brian Broll gives us an overview of the work he did and the experience he had... Details