New AI agent evolves algorithms for math and practical applications in computing by combining the creativity of large language models with automated evaluators

Hundreds of students have had their visas cancelled and find themselves in limbo.

Swarat Chaudhuri, a computer scientist, and Feliciano Giustino, a physicist, are among this year’s fellows from The University of Texas at Austin.

Andrew Barto and Richard Sutton as the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning. In a series of papers beginning...

March 7, 2025. Washington DC and nationwide. Because science is for everyone.

We introduce the Formally Verified Automated Programming Progress Standards, or FVAPPS, a benchmark of 4715 samples for writing programs and proving their correctness, the largest formal verification ...

In 1984, Dr. Daniel Drucker, an endocrinologist from the University of Toronto, discovered a hormone that helped pave the way for popular diabetes drugs such as Ozempic.

Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other.

The findings suggest that AI contributes to the early detection of clinically relevant breast cancer and reduces screen-reading workload without increasing false positives.

So the big news this week is that o3, OpenAI’s new language model, got 25% on FrontierMath. Let’s start by explaining what this means.

YouTube video by Machine Learning Street Talk

Authors, websites, and apps can use action intent links to implement "Share on Bluesky" buttons, or similar in-app actions. Logged-in users will be directed to the corresponding action view in the Blu...