Math, Inc. (@mathematics_inc) 's Twitter Profile
Math, Inc.

@mathematics_inc

A new company dedicated to autoformalization and the creation of verified superintelligence.

ID: 1966024696128028672

linkhttps://math.inc calendar_today11-09-2025 06:23:17

9 Tweet

1,1K Takipçi

0 Takip Edilen

Math, Inc. (@mathematics_inc) 's Twitter Profile Photo
Math, Inc.
@mathematics_inc

2 months ago

Those who are paying close attention can sense the dawning of a new Golden Age in mathematics.

Jared Duker Lichtman (@jdlichtman) 's Twitter Profile Photo
Jared Duker Lichtman
@jdlichtman

2 months ago

Working with Gauss, I got the sense of a new paradigm of human-machine collaboration, especially for those who want to verify math they care about, but don't code by themselves.