Events

A Lean Lunch poster with illustrated dumplings, tea, and an open notebook.

A Lean Lunch

When
– EST
Where
Chinatown, ManhattanThe exact address is shared with approved guests on Luma.

An informal lunch for researchers and builders working on AI-driven mathematics, proof assistants, and formalization across mathematics, science, and other fields. Share projects, exchange ideas, and meet potential collaborators.

Lunch and beverages are provided. Projectors will be available for optional short talks.

RSVP on Luma

Free to attend · Registration requires approval

Illustrated War and Peace film poster with dancing couples and soldiers.

WAP Fest

When
– EST
Where
Two Bridges, New York, NY

A cozy screening of Sergei Bondarchuk’s War and Peace, with intermissions for food, walks, and conversation. Drop in anytime.

Light lunch and dinner are planned; details to be confirmed.

RSVP on Partiful
Bleeding Edges Notes on the future of science.
Subscribe →