Startups
Edit

Metamath

http://us.metamath.org/
Last activity: 02.11.2023
Active
Website visits
22.3K /mo.
Mentions
3

Overview

Employees
11-50

Mentions in press and media 3

DateTitleDescription
Sign up to seeSign up to seeSign up to see
Dec 1, 2021DeepMind claims AI has aided new discoveries and insights in mathematicsWe are excited to bring Transform 2022 back in-person July 19 and virtually July 20 - 28. Join AI and data leaders for insightful talks and exciting networking opportunities. Register today! DeepMind, the AI research laboratory funded by Go...
Dec 1, 2021DeepMind claims AI has aided new discoveries and insights in mathematicsHear from CIOs, CTOs, and other C-level and senior execs on data and AI strategies at the Future of Work Summit this January 12, 2022. Learn more DeepMind, the AI research laboratory funded by Google’s parent company, Alphabet, today publis...

Reviews 0

Sign up to leave a review

Sign up Log In

FAQ about Metamath

What has the press written about Metamath?

Parsers VC has collected 3 articles mentioning Metamath, among them “DeepMind claims AI has aided new discoveries and insights in mathematics” (Dec 1, 2021) and “DeepMind claims AI has aided new discoveries and insights in mathematics” (Dec 1, 2021).

Is Metamath still active?

Yes, Metamath is active; its latest activity on Parsers VC dates from Nov 2, 2023.