Le chef de la recherche sur l'IA au sein d'Apple nommé professeur à l'EPFL

Comments

Post a Comment

Popular posts from this blog

College Students Flock to a New Major: A.I.

Image
At M.I.T., a new program called “artificial intelligence and decision-making” is now the second-most-popular undergraduate major. Colleges are rushing to rebrand “computer science” as “artificial intelligence,” and students are lining up for it. New A.I. schools and majors are exploding. Over 3,000 students just enrolled in a new College of Artificial Intelligence and Cybersecurity at the University of South Florida. U.C. San Diego launched a brand-new A.I. major with 150 first-year students already in. SUNY Buffalo created a “Department of A.I. and Society” with degrees like A.I. and policy analysis . M.I.T. now has a major called “A.I. and decision-making,” which has grown to nearly 330 students ,  its second-largest major after computer science . Why the sudden rush? The rise of tools like ChatGPT and the soaring value of A.I. companies (Nvidia, Microsoft, Google, etc.) has made A.I. feel like the future. Big tech firms are pouring billions into A.I. and lau...
Read more
  Avi Wigderson Receives ACM A.M. Turing Award for Groundbreaking Insights on Randomness Leading Theoretical Computer Scientist Cited for Field-Defining Contributions New York, NY, April 10, 2024  – ACM, the Association for Computing Machinery, today named Avi Wigderson as recipient of the 2023 ACM A.M. Turing Award for foundational contributions to the theory of computation, including reshaping our understanding of the role of randomness in computation, and for his decades of intellectual leadership in theoretical computer science. Wigderson is the Herbert H. Maass Professor in the School of Mathematics at the Institute for Advanced Study in Princeton, New Jersey. He has been a leading figure in areas including computational complexity theory, algorithms and optimization, randomness and cryptography, parallel and distributed computation, combinatorics, and graph theory, as well as connections between theoretical computer science and mathematics and science. The ACM A.M. Turin...
Read more
AI achieves silver-medal standard solving International Mathematical Olympiad problems Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new frontiers in science and technology. We’ve made great progress building AI systems that help mathematicians discover new insights, novel algorithms and answers to open problems. But current AI systems still struggle with solving general math problems because of limitations in reasoning skills and training data. Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.
Read more