So I recently released an article on the P versus NP problem. I constructed it from a simple understanding of the problem and minimal research. I decided that I was interested in learning more, so I started to dive deeper.
This is the first part to my series on the Millennium Prize Problems. These problems were selected by the Clay Mathematics Institute in May 2000, and include many famous names like the Reimann hypothesis, Poincaré conjecture and the most pertinent one, P vs NP. Each problem has a $1 000 000 prize, and a guarantee of fame for all who solve one. Evidently, this grand reward is properly assigned, as all these problems but one have withstood the test of time and the cumulative minds of the world’s smartest. As well, each holds a lot of significance, making the million dollars ever more valuable.
With the power of AI comes scary truths that we have to face. AI can do so much, even if most of it is based on the work of human, it is still frightening to think of their power in relation to us.
I remember it so clearly. It was in 2020, and I was already in highschool. By that time, I had already been working on this Animal Farm game for over a year, with it I had created a little website to host it. However, Animal Farm was nowhere near being done. Every stretch of inspiration would only last a few weeks, leaving the project to sit on the backburner for long periods of time afterwards.
The Idris github page because Idris does not have a many high quality pictures of their logo.
Idris is a functional programming language, similar to Haskell. If you do not know what functional programming languages are, I highly recommend you check them out. Instead of explaining all the basics, I will assume some knowledge of functional programming languages.