The July 20 Washington meeting focuses on verified knowledge infrastructure.
Very important meeting!
The National Academies kicks off a 2-day meeting on AI & math formalization on July 20. Following Terry Tao's opening, I'll give the morning keynote on verified knowledge as infrastructure. @leanprover @axiommathai Register here: https://www.nationalacademies.org/units/DEPS-BMSA-22-P-451/event/46979
No Digg Deeper questions have been answered for this story yet.
Will be speaking as well! Excited to see Axiom represent in Washington DC, at the National Academies of Sciences!
The National Academies kicks off a 2-day meeting on AI & math formalization on July 20. Following Terry Tao's opening, I'll give the morning keynote on verified knowledge as infrastructure. @leanprover @axiommathai Register here: https://www.nationalacademies.org/units/DEPS-BMSA-22-P-451/event/46979