AI system finds counterexamples to graph theory conjectures


AI comes of age

After several decades of disappointment, effective artificial intelligence (AI) systems emerged in the late 1990s and early 2000s, with the emergence of Bayes-theorem-based methods, combined with steadily advancing computer technology.

One notable milestone came in March 2016, when a computer program named “AlphaGo,” developed by researchers at DeepMind, a subsidiary of Alphabet (Google’s parent company), defeated champion Go master Lee Se-dol, an achievement that many observers had not expected to occur for decades. Then in October 2017, Deep Mind researchers announced a new program, AlphaGo Zero, which was programmed only with the rules

Continue reading AI system finds counterexamples to graph theory conjectures

Muon result may rewrite standard model of physics

Muon g-2 experiment (courtesy Fermilab)

A new measurement of the magnetic moment of the muon may draw into question the standard model of physics, the reigning theoretical construct describing all known fundamental forces and particles of physics. The new result was released in a paper dated today (7 April 2021) with 240 authors, led by researchers at Fermilab in the U.S., but also including researchers from Italy, Germany, United Kingdom, Russia, South Korea, China and Croatia.

The standard model of physics is arguably is the most successful physical theory ever devised, explaining all known fundamental particles and all known forces

Continue reading Muon result may rewrite standard model of physics

Aho and Ullman receive the ACM Turing Award

Alfred V. Aho (courtesy ACM)

Jeffrey D. Ullman (courtesy ACM)

The 2020 Alan M. Turing Award, bestowed by the Association for Computing Machinery, has been granted to Alfred V. Aho, Professor Emeritus at Columbia University, and Jeffrey D. Ullman, Professor Emeritus at Stanford University. The ACM Turing Award, which is named after computing pioneer Alan Turing, is widely considered to be the most prestigious award in the field of computer science. Past recipients include many of the most accomplished figures in the field, including Richard Hamming, Donald Knuth, William Kahan, Edward Feigenbaum, Jim Gray, Tim Berners-Lee, John Hennessy and David

Continue reading Aho and Ullman receive the ACM Turing Award

Two researchers share Abel prize for work in discrete mathematics and computer science

MathJax = {tex: {inlineMath: [[‘$’, ‘$’], [‘\\(‘, ‘\\)’]] }, svg: {fontCache: ‘global’}};

The Abel Prize

The 2021 Abel Prize, arguably the closest equivalent in mathematics to the Nobel prize, has been awarded jointly to Avi Widgerson of the Institute for Advanced Study in Princeton, and László Lovász of the Eötvös Loránd University in Budapest, for their research linking discrete mathematics and computer science. The recipients will split the award, which is approximately USD$880,000.

According to Hanz Munthe-Kaas of the University of Bergen in Norway, who chaired the Abel Prize committee, Widgerson and Lovász “really opened up the landscape

Continue reading Two researchers share Abel prize for work in discrete mathematics and computer science

Pandemics, misinformation and pseudoscience

Credit: U.S. Center for Disease Control and Prevention

Covid-19 and the misinformation pandemic

The Covid-19 pandemic has disrupted human life like no other event of modern history. As of the present date (1 Mar 2021), over 114,000,000 confirmed cases and 2.5 million deaths have been recorded worldwide, according to the Johns Hopkins University database. The U.S. has recorded over 514,000 deaths, and the U.K. has recorded over 123,000. The U.S. death toll, for instance, exceeds the combined combat death toll of all wars fought in its 245-year history (save only the civil war). And for every death there are

Continue reading Pandemics, misinformation and pseudoscience

PiDay 2021 crossword puzzle

Yes, it is that time of year — Pi Day (March 14, or 3/14 in North American month/day date notation) is approaching. So in honor of the occasion, I have constructed a new crossword puzzle — see below. This puzzle employs a certain pi-related feature that will become evident as you solve it.

This puzzle conforms to the New York Times crossword conventions. As far as difficulty level, it would be comparable to the NYT Tuesday or Wednesday puzzles (the NYT puzzles are graded each week from Monday [easiest] to Saturday [most difficult]).

If you would like a full-page version

Continue reading PiDay 2021 crossword puzzle

Machine-learning breakthrough in protein folding

Structure of the Nsp 15 hexamer, a component of Covid-19 (Courtesy Argonne Natl Lab)

Protein folding

Proteins are the workhorses of biology. A few examples in human biology include actin and myosin, the proteins that enable muscles to work; keratin, which is the basis of skin and hair; hemoglobin, the basis of red blood that carries oxygen to cells throughout the body; pepsin, an enzyme that breaks down food for digestion; and insulin, which controls metabolism. A protein known as “spike” is the key for the coronavirus to invade healthy cells. And for every protein in human biology, there

Continue reading Machine-learning breakthrough in protein folding

Do odd perfect numbers exist? New results on an old problem

Euclid, from Rafael’s “School of Athens”, Vatican Museum, Rome, photo courtesy Clay Mathematics Institute

MathJax.Hub.Config({tex2jax: {inlineMath: [[‘$’,’$’], [‘\\(‘,’\\)’]]}});

Perfect numbers

A perfect number is a positive integer whose divisors (not including itself) add up to the integer. The smallest perfect number is $6$, since $6 = 1 + 2 + 3$. The next is $28 = 1 + 2 + 4 + 7 + 14$, followed by $496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248$ and $8128 = 1 + 2 + 4 + 8 + 16 + 32

Continue reading Do odd perfect numbers exist? New results on an old problem

Can computers do mathematical research?

Courtesy Adarsh Pathak

AI comes of age

The modern field of artificial intelligence (AI) began in 1950 with Alan Turing’s landmark paper Computing machinery and intelligence, which outlined the principles of AI and proposed the Turing test. Although early researchers were confident that AI systems would soon be a reality, inflated promises and expectations led to disappointment in the 1970s and again in the 1980s.

A breakthrough of sorts came in the late 1990s and early 2000s with the emergence of Bayes-theorem-based methods, which quickly displaced the older methods based mostly on formal reasoning. When combined with steadily advancing

Continue reading Can computers do mathematical research?

Peter Borwein dies at 67

Peter Borwein (sitting), with his brother Jonathan Borwein (courtesy Canada Foundation for Innovation)

Peter Borwein, retired Professor of Mathematics at Simon Fraser University (British Columbia, Canada) and former Director of SFU’s Centre for Interdisciplinary Research in the Mathematical and Computational Sciences (IRMACS), died on August 23, 2020, at the age of 67, of pneumonia, after courageously battling multiple sclerosis for over 20 years.

Peter was a prolific mathematician, with over 200 publications, including several books. His research included works in classical analysis, computational number theory, Diophantine number theory and symbolic computing. Many of these papers were co-authored with his brother

Continue reading Peter Borwein dies at 67