"The “lonely runner” problem might seem simple and inconsequential, but it crops up in many guises throughout math. It’s equivalent to questions in number theory, geometry, graph theory, and more — about when it’s possible to get a clear line of sight in a field of obstacles, or where billiard balls might move on a table, or how to organize a network."

https://www.quantamagazine.org/new-strides-made-on-deceptively-simple-lonely-runner-problem-20260306/

#Mathematics #Conjectures

New Strides Made on Deceptively Simple ‘Lonely Runner’ Problem | Quanta Magazine

A straightforward conjecture about runners moving around a track turns out to be equivalent to many complex mathematical questions. Three new proofs mark the first significant progress on the problem in decades.

Quanta Magazine
🚀 Breaking News! We’ve just discovered that using a 1966 #supercomputer to break #math #conjectures is akin to using a microwave to bake a cake 🍰. Fast forward to 2025, and behold, a modern PC does it in two minutes flat! Next, we’ll try sending emails with a carrier pigeon for ultimate retro-vibes 🕊️.
https://fortran-lang.discourse.group/t/euler-conjecture-and-cdc-6600/10501 #technology #innovation #retro #vibes #HackerNews #ngated
Euler Conjecture and CDC 6600

In 1966, Lander and Parkin published a paper containing exactly two sentences. They reported that they had used a program that used direct search on a CDC 6600 to obtain one counterexample to Euler’s Sum Of Powers Conjecture. The result: 27^4 + 84^4 +110^4 +133^4 =144^4 A small program, written in Fortran and using OpenMP, reproduces this result (and others of a similar nature) in two minutes on a current PC (OpenMP, 8 threads). I am curious to know if anyone can estimate how long the CDC 66...

Fortran Discourse

"The result demonstrates that “the unknotting number is chaotic and unpredictable and really exciting to study,” she added. The paper is “like waving a flag that says, we don’t understand this.”"

https://www.quantamagazine.org/a-simple-way-to-measure-knots-has-come-unraveled-20250922/

#Mathematics #Knots #Conjectures #CounterExample

A Simple Way To Measure Knots Has Come Unraveled | Quanta Magazine

Two mathematicians have proved that a straightforward question — how hard is it to untie a knot? — has a complicated answer.

Quanta Magazine

#OnThisDay: Birth Anniversary of #American #Poet Robert Frost (1874).

Birth Anniversary of Paul Erdős (1913) - one of the most prolific #Mathematicians and producers of mathematical #Conjectures of the 20th century.

https://knowledgezone.co.in/news

Daily News

Knowledge Zone News - Latest news, History of the day

Knowledge Zone
Theorems, Lemmas, Conjectures and more

Some common definition and brief concepts

Knowledge Zone

Nice.

"Mathematicians thought they were on the cusp of proving a conjecture about the ancient structures known as Apollonian circles. But a summer project would lead to its downfall."

https://www.quantamagazine.org/two-students-unravel-a-widely-believed-math-conjecture-20230810/

#Mathematics #Conjectures #Proofs

Two Students Unravel a Widely Believed Math Conjecture | Quanta Magazine

Mathematicians thought they were on the cusp of proving a conjecture about the ancient structures known as Apollonian circles. But a summer project would lead to its downfall.

Quanta Magazine
Wonderful new project!
The #Math Genome #Project aims to create a free, public, standard and reliable map of all #mathematics including informal, formal #proofs, and outstanding #conjectures.
https://www.themathgenome.com/about
The Math Genome Project

Theorems, Lemmas, Conjectures and more

Some common definition and brief concepts

Knowledge Zone

Interesting. A conjecture about Boolean functions has just been proven. Article also shows the real world relevance of the conjecture and other related measures of Boolean functions.

#Mathematics #Proofs #Conjectures #ComputerScience

https://www.quantamagazine.org/mathematician-solves-computer-science-conjecture-in-two-pages-20190725/

Decades-Old Computer Science Conjecture Solved in Two Pages

The "sensitivity" conjecture stumped many top computer scientists, yet the new proof is so simple that one researcher summed it up in a single tweet.