Résultats pour "Proof" dans Histoire et culture

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught...

After Ethereum creator Vitalik Buterin dropped out of college and launched Bitcoin Magazine, he wrote the Ethereum white paper, which proposed an open source protocol that would take what Bitcoin did for money and do it for everything else: contracts, social networks, and sharing economies. Now, less than a decade later, his idea is valued at about half a trillion dollars, and it is the foundation for the weird new world of NFT artworks, virtual real estate, and decentralized autonomous organizations.

In Robot-Proof, Northeastern University president Joseph Aoun proposes a way to educate the next generation of college students to invent, to create, and to discover - to fill needs in society that even the most sophisticated artificial intelligence agent cannot. A "robot-proof" education, Aoun argues, is not concerned solely with topping up students' minds with high-octane facts. Rather, it calibrates them with a creative mindset and the mental elasticity to invent, discover, or create something valuable to society.