
New Scientist
@newscientist · 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 · 10 июня 2024 г. · 39,7 тыс. просмотров
79
35
573