
srikar
@srikarvaradaraj
Building trust infrastructure for a world with capable AI @eternisai
ID: 930294572692983808
http://eternis.ai 14-11-2017 04:41:24
2,2K Tweet
2,2K Followers
5,5K Following
















🔥 Google DeepMind just dropped their "formal conjectures" project - formalizing statements of math's biggest unsolved mysteries in #LeanLang and #Mathlib! This Google-backed project is a HUGE step toward developing "a much richer dataset of formalized conjectures", valuable


