Neel Somani Investigates How Artificial Intelligence May Help Verify Mathematical Research

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.
The Times Herald

Carnegie Mellon Receives $20 Million to Establish Hoskinson Center for Formal Mathematics in Dietrich College

PITTSBURGH, Sept. 22, 2021 /PRNewswire/ — Entrepreneur Charles C. Hoskinson has made a $20 million gift to Carnegie Mellon University to establish the Hoskinson Center for Formal Mathematics, the ...
InfoQ

Developing Provably-Correct Software Using Formal Methods

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...
Electronic Design

Q&A: Formal Methods Push Toward Zero-Defect Software

Safety and reliability have moved to the top of the list of critical criteria in software development. There are many ways to achieve improved safety and reliability, and one of the best is to employ ...
NDTV

MIT Study Says Pre-School Intervention Enhances Intuitive But Not Formal Mathematics, May Curb Learning Deficit In Indian Schools

New Delhi: A study conducted by researchers at Massachusetts Institute of Technology (MIT) on a group of pre-school students in Delhi revealed that math games help students to understand and retain ...