New Scientist
@newscientist · Jun 10, 2024
Mathematicians are struggling with a problem - what does "equals" mean? The symbol in an equation like 2 + 2 = 4 is just one of two definitions, which is causing a major headache when it comes to using computers to check proofs. newscientist.com/article/243395…
Elon Musk
@elonmusk
Finally, “=“ is getting called out
11:12 AM · June 10, 2024 · 39.7K views
79
35
573