Pravesh K. Kothari

@praveshkkothari

Associate Professor @PrincetonCS @Princeton Applied Math (PACM) Research: Theoretical Computer Science

following
followers

AI's potential to lower the cost of mathematical proofs

A post on theoretical computer science predicts that AI could shift scarce intellectual work toward formulating questions, models, theories, definitions and conjectures.

5 Sources, 37d ago, first seen 37d ago

Simons Institute workshop focused on AI advances in math and theoretical computer science, attendee says

An attendee said on September 11, 2026, that a white paper would follow the workshop and that they planned to share more detailed thoughts.

1 Source, 39d ago, first seen 39d ago

Featured in

AI's potential to lower the cost of mathematical proofs

Simons Institute workshop focused on AI advances in math and theoretical computer science, attendee says

Featured in

AI's potential to lower the cost of mathematical proofs

Simons Institute workshop focused on AI advances in math and theoretical computer science, attendee says