Monday, June 16

Previous Issues

Donate now

Submit a tip

Follow us on Instagram
Try our daily mini crossword
Subscribe to the newsletter
Download the app

Research

Two professors awarded AI Seed Grant to advance algebraic proof systems

Two professors awarded AI Seed Grant to advance algebraic proof systems

Adam Moussa
| 1 hour ago
Street with barren trees in front of a red and white brick building.

Professors Amir Ali Ahmadi and Pravesh Kothari are pioneering the use of artificial intelligence to enhance complex mathematical proof systems, with applications in robotics, optimization, and automated reasoning. Their research aims to overcome current computational barriers using machine learning, potentially enabling AI to verify system safety and even prove sophisticated mathematical theorems.

Professors Amir Ali Ahmadi and Pravesh Kothari are pioneering the use of artificial intelligence to enhance complex mathematical proof systems, with applications in robotics, optimization, and automated reasoning. Their research aims to overcome current computational barriers using machine learning, potentially enabling AI to verify system safety and even prove sophisticated mathematical theorems.

Metals, molecules, and medicine: chemical biology’s influence on health and sustainability

A large open building with windows on all sides. Model molecular orbitals that look like clouds are in the center of the building.

Metals, molecules, and medicine: chemical biology’s influence on health and sustainability

Aanya Kasera

Chemistry professor Chris Chang’s lab studies the chemical biology of the elements, specifically examining the roles that copper, iron, and zinc play in biology across all kingdoms of life.

Chemistry professor Chris Chang’s lab studies the chemical biology of the elements, specifically examining the roles that copper, iron, and zinc play in biology across all kingdoms of life.

NEWS | May 15

Princeton’s junior researchers forge new frontiers

Princeton University’s coat of arms carved into an old building which is fading brown and black.

Princeton’s junior researchers forge new frontiers

Chloe Lau

As the final deadline for junior papers approaches on April 29, juniors will be wrapping up their work and readying themselves for submission. The ‘Prince’ talked to students working on a wide range of topics, from 20th-century Indian paintings to virtual Formula 1 simulations.

As the final deadline for junior papers approaches on April 29, juniors will be wrapping up their work and readying themselves for submission. The ‘Prince’ talked to students working on a wide range of topics, from 20th-century Indian paintings to virtual Formula 1 simulations.

FEATURES | April 18

‘An existential crisis’: The faculty research stopped after research grants suspended

A glass building is seen from the interior. On the ground level are various chairs and tables, and multiple floors can be viewed. A staircase is on the right side.

‘An existential crisis’: The faculty research stopped after research grants suspended

Luke Grippo

In the wake of the suspension of numerous federal grants, many professors have been thrown into disarray, worried about how they will be able to continue their research. However, the University has stepped in to cover funding for some postdocs and graduate students.

In the wake of the suspension of numerous federal grants, many professors have been thrown into disarray, worried about how they will be able to continue their research. However, the University has stepped in to cover funding for some postdocs and graduate students.

NEWS | April 16

Princeton among plaintiffs suing the Department of Energy over caps to indirect funding costs

A brown column of a building has a white flag pole on top. A white flag with the orange and black Princeton emblem flies from the pole.

Princeton among plaintiffs suing the Department of Energy over caps to indirect funding costs

Christopher Bao and Andrew Bosworth

After DOE capped indirect costs at 15 percent of funding, Princeton and seven research universities filed a lawsuit against the DOE and its secretary.

After DOE capped indirect costs at 15 percent of funding, Princeton and seven research universities filed a lawsuit against the DOE and its secretary.

NEWS | April 15

Reimagining economics as ‘how we tend to the household’

JRR building

Reimagining economics as ‘how we tend to the household’

Elaine Gao

In February 2025, former SPIA Dean Anne-Marie Slaughter and Elizabeth Garlow, MPA, published an article arguing that economic policies must prioritize care and human connections.

In February 2025, former SPIA Dean Anne-Marie Slaughter and Elizabeth Garlow, MPA, published an article arguing that economic policies must prioritize care and human connections.

NEWS | April 13
ADVERTISEMENT

Three professors named 2025–2028 Cotsen Faculty Fellows

The archway of a building.

Three professors named 2025–2028 Cotsen Faculty Fellows

David Yun

Princeton professors Basile Baudez, Margot Canaday, and Tamsen Wolff have been named recipients of the 2025–2028 Sophie and L. Edward Cotsen Faculty Fellowship, an award primarily given to academics in the humanities and social sciences.

Princeton professors Basile Baudez, Margot Canaday, and Tamsen Wolff have been named recipients of the 2025–2028 Sophie and L. Edward Cotsen Faculty Fellowship, an award primarily given to academics in the humanities and social sciences.

NEWS | April 9

Department of Commerce announces the end of $4 million in funding of climate risk projects at Princeton

Large brick building slanted underneath the cloudy blue sky.

Department of Commerce announces the end of $4 million in funding of climate risk projects at Princeton

Andrew Bosworth and Luke Grippo

The Department of Commerce cut $4 million to Princeton for three climate-related projects, which it said were actively working against Trump administration objectives.

The Department of Commerce cut $4 million to Princeton for three climate-related projects, which it said were actively working against Trump administration objectives.

NEWS | April 9

‘Extraordinary moment for our state’: Ribbon cut on the New Jersey AI Hub

Eight people cut the ribbon in a yellow-walled building.

‘Extraordinary moment for our state’: Ribbon cut on the New Jersey AI Hub

Luke Grippo

Eighteen months after it was initially announced, the AI Hub in West Windsor hosted its ribbon-cutting ceremony on Thursday morning in an event attended by the New Jersey governor, corporate executives, and University leadership.

Eighteen months after it was initially announced, the AI Hub in West Windsor hosted its ribbon-cutting ceremony on Thursday morning in an event attended by the New Jersey governor, corporate executives, and University leadership.

NEWS | March 28

For Princeton, the New Jersey AI Hub promises innovation and opportunity

Grey building in background of American flag on a pole in front of grass.

For Princeton, the New Jersey AI Hub promises innovation and opportunity

Luke Grippo

This Thursday, the New Jersey AI Hub will mark the completion of its physical location with a ribbon-cutting ceremony. University officials, executives at company partners, and New Jersey Governor Phil Murphy shared with the ‘Prince’ their hopes for the AI Hub and the role it will play for Princeton and the state as a whole.

This Thursday, the New Jersey AI Hub will mark the completion of its physical location with a ribbon-cutting ceremony. University officials, executives at company partners, and New Jersey Governor Phil Murphy shared with the ‘Prince’ their hopes for the AI Hub and the role it will play for Princeton and the state as a whole.

FEATURES | March 25

Most Popular

OSZAR »