# Human intuition and machine reasoning: AI's helping us solve giant math puzzles

Research in mathematics is a deeply imaginative and intuitive process. This might come as a surprise for those who are still recovering from high-school algebra.

What does the world look like at the quantum scale? What shape would our universe take if we were as large as a galaxy? What would it be like to live in six or even 60 dimensions? These are the problems that mathematicians and physicists are grappling with every day.

To find the answers, mathematicians like me try to find patterns that relate complicated mathematical objects by making conjectures (ideas about how those patterns might work), which are promoted to theorems if we can prove they are true. This process relies on our intuition as much as our knowledge.

Over the past few years I’ve been working with experts at artificial intelligence (AI) company DeepMind to find out whether their programs can help with the creative or intuitive aspects of mathematical research. In a new paper , we show they can: recent techniques in AI have been essential to the discovery of a new conjecture and a new theorem in two fields called “knot theory” and “representation theory”.

## Machine intuition

Where does the intuition of a mathematician come from? One can ask the same question in any field of human endeavour. How does a chess grandmaster know their opponent is in trouble? How does a surfer know where to wait for a wave?

The short answer is we don’t know. Something miraculous seems to happen in the human brain. Moreover, this “miraculous something” takes thousands of hours to develop and is not easily taught.

The past decade has seen computers display the first hints of something like human intuition. The most striking example of this occurred in 2016, in a Go match between DeepMind’s AlphaGo program and Lee Sedol, one of the world’s best players.

AlphaGo won 4–1, and experts observed that some of AlphaGo’s moves displayed human-level intuition. One particular move () is now famous as a new discovery in the game.

## How do computers learn?

Behind these breakthroughs lies a technique called deep learning. On a computer one builds a neural network – essentially a crude mathematical model of a brain, with many interconnected neurons.

At first, the network’s output is useless. But over time (from hours to even weeks or months), the network is trained, essentially by adjusting the firing rates of the neurons.

Such ideas were tried in the 1970s with unconvincing results. Around 2010, however, when researchers drastically increased the number of neurons in the model (from hundreds in the 1970s to billions today).

Traditional computer programs struggle with many tasks humans find easy, such as natural language processing (reading and interpreting text), and speech and image recognition.

With the deep learning revolution of the 2010s, computers began performing well on these tasks. AI has essentially brought vision and speech to machines.

Training neural nets requires huge amounts of data. What’s more, trained deep learning models often function as “black boxes”. We know they often give the right answer, but we usually don’t know (and can’t ascertain) why.

## A lucky encounter

My involvement with AI began in 2018, when I was elected a Fellow of the Royal Society. At the induction ceremony in London I met Demis Hassabis, chief executive of DeepMind.

Over a coffee break we discussed deep learning, and possible applications in mathematics. Could machine learning lead to discoveries in mathematics, like it had in Go?

This fortuitous conversation led to my collaboration with the team at DeepMind.

Mathematicians like myself often use computers to check or perform long computations. However, computers usually cannot help me develop intuition or suggest a possible line of attack. So we asked ourselves: can deep learning help mathematicians build intuition?

With the team from DeepMind, we trained models to predict certain quantities called Kazhdan-Lusztig polynomials, which I have spent most of my mathematical life studying.

In my field we study representations, which you can think of as being like molecules in chemistry. In much the same way that molecules are made of atoms, the make up of representations is governed by Kazhdan-Lusztig polynomials.

Amazingly, the computer was able to predict these Kazhdan-Lusztig polynomials with incredible accuracy. The model seemed to be onto something, but we couldn’t tell what.

However, by “peeking under the hood” of the model, we were able to find a clue which led us to a new conjecture: that Kazhdan-Lusztig polynomials can be distilled from a much simpler object (a mathematical graph).

This conjecture suggests a way forward on a problem that has stumped mathematicians for more than 40 years. Remarkably, for me, the model was providing intuition!

In parallel work with DeepMind, mathematicians Andras Juhasz and Marc Lackenby at the University of Oxford used similar techniques to discover a new theorem in the mathematical field of knot theory. The theorem gives a relation between traits (or “invariants”) of knots that arise from different areas of the mathematical universe.

Our paper reminds us that intelligence is not a single variable, like the result of an IQ test. Intelligence is best thought of as having many dimensions.

My hope is that AI can provide another dimension, deepening our understanding of the mathematical world, as well as the world in which we live.

This article by , Professor of Mathematics, , is republished from under a Creative Commons license. Read the .

News Related
• ### China targets celebrities, fan groups in cyber clean-up campaign

This file photo taken on Nov 21, 2019, shows the logo of the social media video-sharing app Tiktok displayed on a tablet screen in Paris. (AFP) BEIJING: The Cyberspace Administration of China (CAC) on Tuesday launched a month-long &#8220;clean cyberspace&#8221; campaign, which it said would target online abuse, &#8220;chaos&#8221; in ...
See Details: China targets celebrities, fan groups in cyber clean-up campaign
• ### Meta says its new AI supercomputer will be world's fastest

A 3D-printed Facebook&#8217;s new rebrand logo Meta and Facebook logo are placed on laptop keyboard in this illustration taken on Nov. 2, 2021. Reuters-Yonhap Facebook parent Meta Platforms said on Monday that its research team has built a new artificial intelligence supercomputer that it thinks will be the fastest in ...
See Details: Meta says its new AI supercomputer will be world's fastest
• ### LG to launch upgradable appliances for enhanced user experience

By Woo Jae-yeon SEOUL, Jan. 25 (Yonhap) &#8212; LG Electronics Inc. said Tuesday it will roll out upgradable home appliances to better serve consumers&#8217; varying needs, in what it said could be a major shift from selling products to offering improved consumer experiences. The tech giant said users will be ...
See Details: LG to launch upgradable appliances for enhanced user experience
• ### Use Paytm, Google Pay, PhonePe or other QR codes to pay: Things to do and not-to-do while using QR codes

QR (Quick Response) codes as scan and pay options are not. They have been there for quite some time, the Covid-19 pandemic has made them mainstream. For those who don’t know, a QR code is that square barcode that we scan with our smartphone’s camera to make a payment, provide ...
See Details: Use Paytm, Google Pay, PhonePe or other QR codes to pay: Things to do and not-to-do while using QR codes
• ### WhatsApp rolls out three new features for iPhone users

After being in the beta stage for a while, WhatsApp is now rolling out new features for iPhone users. The latest version &#8212; 22.2.75 &#8212; of WhatsApp is now available to download for iPhone users and brings these new features to the Meta-owned instant messaging app. New voice recording featureWhatsApp ...
See Details: WhatsApp rolls out three new features for iPhone users
• ### Garena Free Fire Redeem Codes for January 25: How to redeem daily codes

Garena Free Fire recently gained popularity in the country as a multiplayer battle royale game. This game is developed by 111 Dots Studio where 50 players play 10 minute rounds. The developers of this game keep on adding alpha-numeric codes to the game on a frequent basis. These codes offer ...
See Details: Garena Free Fire Redeem Codes for January 25: How to redeem daily codes
• ### Here's why Google's leaked 1080p Chromecast makes a lot of sense

A report by today claimed that Google is working on a new ‘Chromecast HD’ with a remote and the Google TV platform. It’s expected to be the first model to support the . Yes, the company just launched a new Chromecast in late 2020, but this rumored one has a ...
See Details: Here's why Google's leaked 1080p Chromecast makes a lot of sense
• ### Population mobility falls by most in nine years in 2021

SEOUL, Jan. 25 (Yonhap) &#8212; The number of South Koreans who moved to different residences in the country declined by the most in nine years last year amid fewer housing transactions, data showed Tuesday. The number of people who changed their residences fell 6.7 percent on-year to 7.21 million in ...
See Details: Population mobility falls by most in nine years in 2021
• ### Webb telescope reaches final destination, a million miles from Earth

SEOUL, Jan. 25 (Yonhap) &#8212; The number of South Koreans who moved to different residences in the country declined by the most in nine years last year amid fewer housing transactions, data showed Tuesday. The number of people who changed their residences fell 6.7 percent on-year to 7.21 million in ...
See Details: Webb telescope reaches final destination, a million miles from Earth
• ### Jeju expecting 207,000 visitors during Lunar New Year holiday: tourism association

SEOUL, Jan. 25 (Yonhap) &#8212; The number of South Koreans who moved to different residences in the country declined by the most in nine years last year amid fewer housing transactions, data showed Tuesday. The number of people who changed their residences fell 6.7 percent on-year to 7.21 million in ...
See Details: Jeju expecting 207,000 visitors during Lunar New Year holiday: tourism association
• ### Meta introduces fastest AI supercomputer

SEOUL, Jan. 25 (Yonhap) &#8212; The number of South Koreans who moved to different residences in the country declined by the most in nine years last year amid fewer housing transactions, data showed Tuesday. The number of people who changed their residences fell 6.7 percent on-year to 7.21 million in ...
See Details: Meta introduces fastest AI supercomputer
• ### Internet to Tonga's main island could be restored in 2 weeks

SEOUL, Jan. 25 (Yonhap) &#8212; The number of South Koreans who moved to different residences in the country declined by the most in nine years last year amid fewer housing transactions, data showed Tuesday. The number of people who changed their residences fell 6.7 percent on-year to 7.21 million in ...
See Details: Internet to Tonga's main island could be restored in 2 weeks
• ### 5G adoption in European Union is falling behind US and China, risks missing 2025 target, report says

SEOUL, Jan. 25 (Yonhap) &#8212; The number of South Koreans who moved to different residences in the country declined by the most in nine years last year amid fewer housing transactions, data showed Tuesday. The number of people who changed their residences fell 6.7 percent on-year to 7.21 million in ...
See Details: 5G adoption in European Union is falling behind US and China, risks missing 2025 target, report says
• ### New Gwanghwamun Square to open in July with fresh attractions

SEOUL, Jan. 25 (Yonhap) &#8212; The number of South Koreans who moved to different residences in the country declined by the most in nine years last year amid fewer housing transactions, data showed Tuesday. The number of people who changed their residences fell 6.7 percent on-year to 7.21 million in ...
See Details: New Gwanghwamun Square to open in July with fresh attractions

## Tom Brady addresses retirement: It 'pains' Gisele 'to see me get hit'

After another Pro Bowl season that included MVP chatter and a playoff berth, few thought that this would be the year Tom Brady hangs it up. But after Sunday's season-ending ... Read more »

## SK Telecom to ramp up development of flying cars

SEOUL, Jan. 25 (Yonhap) — SK Telecom Co., South Korea’s top wireless carrier, said Tuesday it will speed up the development of urban air mobility (UAM) services. In 2020, South ... Read more »

## S. Korea eyes bigger low-rate loans for emerging countries' projects

SEOUL, Jan. 25 (Yonhap) — South Korea said Tuesday it will seek to provide low-rate loans up to 11.4 trillion won (US\$9.5 billion) to emerging countries for their projects by ... Read more »

## HanmiGlobal in spotlight as need emerges for construction safety control

By Baek Byung-yeul HanmiGlobal Chairman Kim Jong-hoon HanmiGlobal has been in the spotlight, as the construction project management company is expected to expand into managing urban development projects such as ... Read more »

## The Digitalisation of South Africa: Growing eCommerce trend

Businesses all around the world are adopting new technology to better serve their customers, and South Africa is no different. As the availability of smartphones and the internet has increased, ... Read more »

## How to watch Snowpiercer season 3 online from anywhere

Seven years after the world froze over, there’s light at the end of the tunnel. As Layton and his small band of rebels set out in search of life beyond ... Read more »

## How to watch The Gilded Age online where you are

Old money raises an elegant, elbow-length gloved hand around the brazen throat of new money in Julian Fellowes’ hotly anticipated historical drama set in late 19th century New York City. ... Read more »

## NASA looking to transform astronaut poo into 'space gold'

NASA is asking for help in transforming astronaut poo into “space gold”. The space agency is looking to work out how to recycle human waste, including faeces. It also wants ... Read more »

## Amazon's #1 best selling leggings are on sale exclusively for our readers — buy 4 get 1 free

We may receive commission from purchases made via links on this page. Pricing and availability are subject to change. These luscious, opaque leggings are warm and soft — and available ... Read more »

## James Webb Telescope fires thrusters to reach final stop a million miles from Earth and begins orbit around sun

A gentle burst of thrust - only adding about 3.6mph - sends the pioneering James Webb Telescope into its orbit around the sun. Read more »

## Boris Johnson tweet praising seven-year-old who cancelled birthday party resurfaces after claims of No 10 bash

A Boris Johnson tweet praising a seven-year-old girl for cancelling her birthday party during the first lockdown has resurfaced, following claims the prime minister celebrated his 56th birthday with an ... Read more »

## Aled Jones' daughter opens up about parents in rare television appearance

Aled Jones' daughter Emilia Jones has opened up about her “super supportive” parents during her appearance on This Morning on Monday. MORE: Did you know Escape to the Country star ... Read more »

## ‘Twilight' Director Warned Robert Pattinson About Kristen Stewart's Age After First Audition Kiss

Kristen Stewart revealed to The New Yorker last year that her “Twilight” audition kiss with Robert Pattinson was the pivotal moment when she became convinced the actor had to be ... Read more »

## Taylor Swift Slams Damon Albarn Over Claim She Doesn't Write Her Own Songs, Albarn Apologizes

Taylor Swift issued a response on Twitter to Damon Albarn, the “Blur” frontman and “Gorillaz” co-creator who claimed in a recent interview with the Los Angeles Times that Swift does ... Read more »

## Intel might have a plan to keep up with Moore's Law

Intel is a company in a spot of bother: TSMC, Apple, and other rivals are outpacing its chip technology and Moore’s Law – literally created by Intel’s founder – is ... Read more »

## Save on TVs, headphones, home appliances and more at Best Buy's Presidents' Day sale

— Recommendations are independently chosen by Reviewed’s editors. Purchases you make through our links may earn us a commission. Presidents’ Day is officially observed on Monday, February 21, but several ... Read more »

## I bought dollar store earbuds just to see how good they sounded

I knew when I was standing in the checkout line that the Ear Buds I was buying weren’t going to be good – but I thought maybe, just maybe, they’d ... Read more »

## Happy Birthday, Macintosh, you weren't a sure thing

I don’t remember the day the Macintosh launched. On January 24, 1984, I was still in college, consumed with papers, tests, grades, finding a way to speak to that girl ... Read more »

## Tidy up your home with this huge Bed Bath & Beyond organization sale—save 25% now

— Recommendations are independently chosen by Reviewed’s editors. Purchases you make through our links may earn us a commission. Have a big cleaning project you’ve been meaning to tackle? Bed ... Read more »

## Get a souped-up screen for Super Bowl 56 with Samsung TV deals at Amazon, Walmart and more

— Recommendations are independently chosen by Reviewed’s editors. Purchases you make through our links may earn us a commission. We’re less than three weeks away from Super Bowl 56 and ... Read more »

## The best credit card for travel has a \$750 welcome offer and sweet grocery perks

— Our editors review and recommend products to help you buy the stuff you need. If you sign up for a credit card after clicking one of our links, we ... Read more »

## Even more WordPress themes have serious security backdoors

A recently discovered supply chain attack has reportedly left more than 300,000 WordPress sites at risk of attack. Cybersecurity researchers from Jetpack (a security and optimization tool for WordPress) found ... Read more »

## Sign up for Crowd Cow meat deliveries and get \$100 off your first 10 boxes—here's how

— Recommendations are independently chosen by Reviewed’s editors. Purchases you make through our links may earn us a commission. There’s plenty of meal kits to choose from, and with current ... Read more »

## This epic TikTok sleep hack aims to help you fall asleep in 2 minutes

If you have trouble falling asleep you’re not alone, and right now on TikTok a sleep technique is going viral as a way to help you drop off fast. The ... Read more »

## Pufferfish has emergency dental work after teeth grow so big she can't eat

Goldie the porcupine pufferfish was losing weight and was at risk of starving because of her giant teeth. (SWNS) A fish had to be rushed to an animal dentists to ... Read more »

## Obsessed with Wordle? Here are 10 similar games to play

— Recommendations are independently chosen by Reviewed’s editors. Purchases you make through our links may earn us a commission. A few weeks ago, several of my friends started posting strange ... Read more »

## The 5 best deals you can shop today from Best Buy, Coach Outlet and Sur La Table

— Recommendations are independently chosen by Reviewed’s editors. Purchases you make through our links may earn us a commission. If you’re itching to do some online shopping, we’ve got you ... Read more »

## How NASA's space research ends up in earthly products

NASA is best known for exploring space, but the agency’s technology is also touching down on Earth. A new book, called , shines the spotlight on the products that have ... Read more »

## Facebook parent Meta creates powerful AI supercomputer

MENLO PARK, Calif. — Facebook’s parent company Meta on Monday said it has created what it believes is among the fastest artificial intelligence supercomputers running today. The social media giant ... Read more »

## The best multiplayer PC games 2022: top competitive games to play today

The best multiplayer PC games 2022 has to offer will draw you in, time and time again. That’s how much fun they are. These games will get the adrenaline pumping ... Read more »

## HexClad makes our favorite cookware sets, and right now you can get them for 30% off

— Recommendations are independently chosen by Reviewed’s editors. Purchases you make through our links may earn us a commission. When it comes to cookware, we think HexClad is one of ... Read more »

## NASA's James Webb Space Telescope successfully positioned to look back in time

The \$10 billion James Webb Space Telescope has completed its insertion burn at the second Lagrange (L2) point a million miles, or 1.5 million kilometers, from Earth, successfully completing its ... Read more »

## Beyond Webb: why NASA's new \$10 billion space telescope is just the beginning

We need more light. Having launched on Christmas Day, the James Webb Space Telescope is now at its destination and preparing to make some incredible observations, but the race to ... Read more »

## New rumors reveal Intel Core i5-12500H and i7-12700H beats out Ryzen 7 5800H in benchmark tests

According to newly leaked benchmarks, the mid-range 12th-generation Alder Lake mobile processors score surprisingly high, just in time for some new gaming laptops to hit the market. The test leaks ... Read more »

## New space telescope reaches final stop million miles out

The Associated PressFILE – This 2015 artist’s rendering provided by Northrop Grumman via NASA shows the James Webb Space Telescope. On Monday, Jan. 24, 2022, the world’s biggest and most ... Read more »

## Dominic Cummings refuses to meet Sue Gray so PM can't ‘spin his way out'

Dominic Cummings refuses to meet Sue Gray (PA Archive) Dominic Cummings said he won’t meet with Sue Gray so Boris Johnson can’t “invent nonsense and spin it in the media”. ... Read more »

## Peter Dinklage blasts Disney for remaking ‘f***ing backwards' Snow White and the Seven Dwarfs

Peter Dinklage has criticised the forthcoming revival of the 1937 children’s film Snow White and the Seven Dwarfs, calling the story “f***ing backwards”. The actor, who has dwarfism, was discussing ... Read more »

## Meta says ‘fastest' AI supercomputer will detect harmful content

The company, helmed by CEO Mark Zuckerberg, says its artificial intelligence supercomputer will debut later this year. NurPhoto via Getty Images Facebook parent Meta said on Monday that its research ... Read more »

## Chimpanzee culture ‘more similar' to humans' than previously realised, researchers say

The nut cracker. A chimpanzee in Guinea uses a hammer and anvil arrangement of stones to crack open a nut (Kathelijne Koops, UZH) Human culture is not only complex, but ... Read more »

## Dark Souls 3 bug could let hackers seize control of your PC

As if Dark Souls 3 wasn’t already difficult enough, playing it online could open up your computer for malicious actors to swoop in, steal sensitive data, and brick it completely, ... Read more »
On free-english-test.com you will find lots of free English exam practice materials to help you improve your English skills: grammar, listening, reading, writing, ielts, toeic