Tyler Lu

The real problem of TikTok / short video addiction and foreign manipulation should not be the basis of a ban? TikTok has a very large US audience some think poses a threat. Youtube also has foreign news channels some of whom may also be 'manipulating' should that be banned too?

Mathematicians found – and fixed – an error in a 60-year-old proof As part of a project to make mathematics machine-readable, mathematicians have discovered an error in an important proof. Thankfully there was a fix, but the incident highlights the potential for othe...

will math journals move towards requiring authors to submit formalized computer proofs?