Polymath projects

OrganizationMentioned in 1 video

Early crowdsourcing mathematics projects without the Lean component, limited by the need for human moderators to verify contributions.

Videos Mentioning Polymath projects

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Lex Fridman

Early crowdsourcing mathematics projects without the Lean component, limited by the need for human moderators to verify contributions.