Mathematics everywhere!
Fed by concepts that borrow from formal logic as well as probability theory, AI is a vast construction site that is preparing a significant part of our future. Mathematics plays, and will play, a key role in it. All sectors are concerned, from logic to neural networks, from probability to statistics… It even exploits the algebraic properties of rational functions. It falls to the actors in the mathematical world to contribute to enlightening citizens about the issues of this new transformation.
All articles in this folder
Computer-assisted proofs | Tangente
Can a machine prove a theorem? Probably not without a human to guide it, but computers are becoming increasingly useful assistants—for example, by turning a human proof into a formal one. Spectacular developments and applications are currently under way.
Ethical driving - mathematics brief | Tangente
Programming self-driving cars raises ethical questions. Unexpected new conundrums have emerged. Some require only minor adjustments, but others remain unsolvable for now.
Self-driving cars and the 17th problem... | Tangente
Classical 19th-century mathematics is now joining forces with the latest advances in computational mathematics! In practical terms, rational functions are being enlisted to enable the self-driving cars of the future to travel safely…
Population dynamics: overcoming data scarcity | Tangente
In some fields, data are scarce. Descriptive statistics are out of the question! Mathematics offers other tools: topology and probability help ecologists predict how groups of species will evolve.
How computers sort photos
Automatically sorting files leads us to a broader question: how neural networks learn. Have you always wanted to "look under the hood" of artificial intelligence and find out "how it works"? Your vacation photos and a little mathematics will help…