Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Maggi Ajjayya, Kottur’s “Computer Man,” amazes social media with lightning-fast mental math. Despite only studying till 8th grade and surviving by begging, his calculation tricks have gone viral.