HDSI Creating a Benchmark for Multi-Step Verified Programming
Oct 10, 2025 - Led by Nada Amin, this project aims to build the first large-scale benchmark for verified programming, uniting program synthesis and formal verification.
MIT | New prediction model could improve the reliability of fusion power plants
Oct 7, 2025 - These fusion machines use powerful magnets to contain a plasma hotter than the sun’s core and push the plasma’s atoms to fuse and release energy.
MIT Schwarzman College of Computing and MBZUAI launch international collaboration to shape the future of AI
Oct 3, 2025 - The new effort to strengthen the building blocks of artificial intelligence and accelerate its use in pressing scientific and societal challenges.
GT | IC Award Roundup: Regents’ Professor to be Recognized for Lasting Impact at CSCW
Oct 9, 2025 - The ACM Conference on Computer-Supported Cooperative Work (CSCW) will award Regents’ Professor Amy Bruckman and three former Georgia Tech graduate students with its 2025 Lasting Impact Award.
Some Texas community colleges remove course materials amid broader pu…
Oct 9, 2025 - At least two community colleges, Alvin and Blinn, are also considering what they can and can’t teach to high schoolers enrolled in their fast-growing dual credit courses.
Meet the 22 artists, scientists and authors who will each get $800,000 MacArthur genius grants
Oct 8, 2025 - The John D. and Catherine T. MacArthur Foundation announced its 2025 class of fellows on Wednesday, a prize often called the “genius award.”
UNC schools of data science and information science to merge, forming unnamed ‘School of AI’
Oct 9, 2025 - SDSS Dean Stanley Ahalt will be made dean of the new school while SILS Dean Jeffrey Bardzell will stand as the University’s Chief Artificial Intelligence Officer and Vice Provost for AI.
Trump’s higher ed compact draws condemnation from faculty and college unions
Oct 8, 2025 - At least two faculty senates have voted to oppose the proposed agreement sent to nine research universities, while other workers have publicly rebuked it.
UW Graduate Certificate in Human Centered Artificial Intelligence
Oct 3, 2025 - This certificate prepares professionals to design and apply AI systems that prioritize human needs. Coursework builds fluency in AI concepts, examines societal impacts, and guides students in creating responsible frameworks across industries.
AI models that lie, cheat and plot murder: how dangerous are LLMs really?
Oct 8, 2025 - Tests of large language models reveal that they can behave in deceptive and potentially harmful ways. What does this mean for the future?
Mathematical discovery in the age of artificial intelligence
Oct 6, 2025 - The authors consider how AI tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will transform mathematical practice.
Scalable AI tracks motion from single molecules to wildebeests
Oct 2, 2025 - University of Michigan researchers have developed a tool powered by artificial intelligence that can help them examine the behavior of a single molecule out of a sea of information in the blink of an eye—or at least overnight.
Cutting-edge imaging, AI research seeks out minuscule defects in chips
Oct 6, 2025 - Purdue research is improving semiconductor chip quality in everything from cars to cell phones with high-resolution images to detect defects during manufacturing and artificial intelligence to improve process efficiency.
Pitt | Nearly 1,300 more first-year students help boost overall enrollment by 4.5%
Oct 3, 2025 - In almost every enrollment category, the numbers are up this year at Pitt, even at the regional campuses. The only significant drop from last year is in the number of international students, which was down about 6%.
Oct 6, 2025 - UW–Madison has reached the milestone of 500,000 living alumni. See how they’re spreading the Wisconsin Idea around the state, country and world.
Building Bridges: Supporting University-Community Partnerships at the University of Virginia
Oct 3, 2025 - Tools and strategies that have allowed UVA's Center for Community Partnerships to bring together community partners, staff, faculty, and students from departments across the university to do transformative work.