Mathematics
This website is a database of problems or conjectures posed (either individually or jointly with others) by the mathematician Paul Erdős. So far, there are 603 problems in the database with 166 having been solved.
A playful venture into the vast and mysterious forests of combinatorial game theory.This one simple game will change the way you look at numbers forever! Hac...
A source: [https://www.tiktok.com/@saxxie.dev/video/7332263390783573279](https://www.tiktok.com/@saxxie.dev/video/7332263390783573279)
Math drama: [https://streamable.com/g0giic](https://streamable.com/g0giic) Source: [https://www.tiktok.com/@average\_joe\_mcc/video/7264620666047958314](https://www.tiktok.com/@average_joe_mcc/video/7264620666047958314) [\#math](https://kbin.social/tag/math)
An interactive introduction to the Lean theorem prover and "a part-book part-game which shows the power of induction".