mathoverflow.net/questions/11540/what-are-the-most-attractive-turing-undecidable-problems-in-mathematics/11557#11557 contains a good overview of the decidability status of variants over rings other than the integers.
Decidability of Hilbert's tenth problem of a given degree and number of variables Updated 2025-04-18 +Created 2024-07-12
Decidability of Hilbert's tenth problem in modular arithmetic Updated 2025-04-18 +Created 2024-07-12
E.g. International Mathematical Olympiad, International Physics Olympiad, competitive programming, etc.
Events that trick young kids into thinking that they are making progress, but only serve to distract them from what really matters, which is to dominate a state of the art as fast as possible, contact researches in the area, and publish truly novel results.
Financially backed by high schools trying to make ads showing how they will turn your kids into geniuses (but also passionate teachers who fell into this hellish system), or companies who hire machines rather than entrepreneurs.
The most triggering thing possible is when programming competitions don't release their benchmarks as open source software afterwards: at least like that they might help someone to solve their real world problems. Maybe.
Some irrelevant people highlight that knowledge Olympiads can have good effects, because they are "an opportunity to meet university teachers and their research organizations". Ciro's argument is just that there are much more efficient ways to achieve those goals.
As an alternative way to get into university, this is not 100% horrible however, e.g. the University of São Paulo accepted students from olympiads in 2019 and then again 2023: jornal.usp.br/institucional/usp-oferece-200-vagas-em-mais-de-100-cursos-de-graduacao-para-alunos-participantes-de-olimpiadas-do-conhecimento/?a
Resources to study for knowledge olympiads:
- savchenkosolutions.com contains collaboratively created solutions to the Savchenko Problems in Physics. It appears to be a frontend for: github.com/savchenko-physics/savchenko-solutions. Closed license, kind of sad.
Unlike over non-commutative rings, polynomials do look like proper polynomials over commutative ring.
In particular, Hilbert's tenth problem is about polynomials over the integers, which is a commutative ring, and therefore brings mindshare to this definition.
The output was also uploaded to: commons.wikimedia.org/wiki/File:DFT_2sin(t)_%2B_sin(4t).svg and added to en.wikipedia.org/w/index.php?title=Discrete_Fourier_transform&oldid=1176616763 only to be later removed of course: Deletionism on Wikipedia.
DFT of with 25 points
. Source code at: numpy/fft_plot.py.wiki.bbchallenge.org/wiki/Antihydra:
- news.ycombinator.com/item?id=40864949 BB(6), The 6th Busy Beaver Number, is harder than a Collatz-like math problem
- www.reddit.com/r/math/comments/1dubva0/finding_the_6th_busy_beaver_number_%CF%836_aka_bb6_is/ "Finding the 6th busy beaver number (Σ(6), AKA BB(6)) is at least as hard as a hard Collatz-like math problem called Antihydra":
- www.reddit.com/r/compsci/comments/1duc62e/finding_the_6th_busy_beaver_number_%CF%836_aka_bb6_is/
The good:
- a bit of Students must be allowed to progress as fast as they want. Though not fully as once you're in your stuck for 6 weeks in their rythm. Though there are research projects going on too which helps.
- peer tutoring-like: they seem to pick undergraduate students to serve as supervisors
The bad: everything else. Closed source learning materials + a university-like selection program. Such a waste of efforts that could benefit way more people with more open resources.
meta.mathoverflow.net/questions/4889/request-to-keep-an-eye-out-for-promys-admissions-problems asking to remove PROMYS problems from MathOverflow. And it seems to have been mostly accepted. Newbs. Any maths problem should be allowed to be askeable online. There are no fundamentally new problems, copyright takedown is just silly.
There are unlisted articles, also show them or only show them.