Top Tweets for #expmath

11 days ago

It was a pleasure to share our recent efforts in AI for Math and how we can make AI reasoning more efficient, reliable, and verifiable. I also shared some of UCLA’s recent efforts through DARPA #expMath and the @LaudeInstitute's Moonshot program, along with lessons we learned from participating in the second batch of First Proof. For more discussion on First Proof, see Terry Tao’s reflections here: https://t.co/5iXFvFxNZR Many thanks to the Monte Jade Science and Technology Association for the invitation and for putting together such a thoughtful event!

kaiwei_chang's tweet photo. It was a pleasure to share our recent efforts in AI for Math and how we can make AI reasoning more efficient, reliable, and verifiable.

I also shared some of UCLA’s recent efforts through DARPA #expMath and the @LaudeInstitute's Moonshot program, along with lessons we learned from participating in the second batch of First Proof.

For more discussion on First Proof, see Terry Tao’s reflections here: https://t.co/5iXFvFxNZR

Many thanks to the Monte Jade Science and Technology Association for the invitation and for putting together such a thoughtful event!

Harrison Tang @tang_talks

11 days ago · San Gabriel

#AI will change everything - not by replacing humans or thinking like us, but by democratizing intelligence, the way search democratized knowledge and computers democratized computing. That's my takeaway from #SCMJ's 3rd AI & Me conference yesterday.