Pinned post
We redesigned the Mathathon Challenge.
Introducing Mathathon 2.0.
Old problems, new proofs.
Introducing Mathathon 2.0.
Old problems, new proofs.
1:08
Latest posts 5
😮😮😮
Most think vibecoding at scale is slop. Here’s a counterexample.
Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.
A mathematical city 🌆View quoted post on X
My younger brother @_rithvikr_ is looking for 8xH200s.
He's a highschool senior who has already published in NeurIPS (main conference) with multiple industry AI internships.
This is his biggest project yet - who can I connect him to?
He's a highschool senior who has already published in NeurIPS (main conference) with multiple industry AI internships.
This is his biggest project yet - who can I connect him to?
I want there to be a BoardGPT where whatever you do on a blackboard gets added to your lecture notes nicely instead of having to take pictures
The @Caltech community and SAIR are redesigning and co-organizing Mathathon: Old Problems, New Proofs.View quoted post on X
Explore alternative proofs and clearer explanations, using AI to deepen human understanding.
More on our co-founder Terence Tao’s blog:
terrytao.wordpress.com/2026/09/28/joi…
