Sarah Constantin
@s_r_constantin
(im)practical utopian. married to @oscredwin.
Sarah Constantin reposted
Applications for the 2026 cohort of the Brains Research Accelerator are now open! 1/
If you want "AIs that prove theorems" you need a lot more *human* work on formalizing more of mathematics in computer proof systems like Lean. And open-source contribution can be a thankless task, especially for academics. Very important to fund and reward it!
The Mathlib Initiative is live! After years of volunteer-driven progress in formal math, we're scaling up with professional infrastructure, building the future of math with rigor and scale. mathlib-initiative.org 👇
United States Trends
- 1. Chiefs 92.1K posts
- 2. Brian Branch 4,718 posts
- 3. Mahomes 27.1K posts
- 4. #TNABoundForGlory 44.9K posts
- 5. #LoveCabin N/A
- 6. LaPorta 9,652 posts
- 7. Goff 12.8K posts
- 8. #OnePride 6,108 posts
- 9. Bryce Miller 3,835 posts
- 10. Kelce 14.4K posts
- 11. Butker 8,079 posts
- 12. #DETvsKC 4,564 posts
- 13. #ALCS 10.1K posts
- 14. Mariners 45.6K posts
- 15. Dan Campbell 2,475 posts
- 16. Gibbs 5,482 posts
- 17. Baker 51.9K posts
- 18. Pacheco 4,695 posts
- 19. Collinsworth 2,680 posts
- 20. Tyquan Thornton 1,169 posts
Loading...
Something went wrong.
Something went wrong.