Math, Inc.
@mathematics_inc • 13,285 subscribers
Solve math, solve everything. Dedicated to superintelligence via autoformalization
Videos
![🚨 FULL CONVERSATION Fields medalist Terry Tao sits down with Math Inc's Jesse Michael Han and Jared Duker Lichtman for a conversation on the future of mathematics. "I got convinced that this was the future of mathematics [...] It's a different style of writing proofs that actually is in some ways easier to read—harder to check by humans, but you see more clearly the inputs and outputs of a proof, which traditional writing often conceals [...] I think the definition of a mathematician will broaden."](https://image.24vids.com/tw-2006117894305005762/amplify_video_thumb/2006112188684177408/img/wbJJFl3fRp6x8AFV.jpg)
🚨 FULL CONVERSATION Fields medalist Terry Tao sits down with Math Inc's Jesse Michael Han and Jared Duker Lichtman for a conversation on the future of mathematics. "I got convinced that this was the future of mathematics [...] It's a different style of writing proofs that actually is in some ways easier to read—harder to check by humans, but you see more clearly the inputs and outputs of a proof, which traditional writing often conceals [...] I think the definition of a mathematician will broaden."
Math, Inc.331,324 Aufrufe • vor 5 Monaten
🚨 BREAKING: Fields medalist Terry Tao on how mathematics will change: “When these tools are perfected, we will change the way we do mathematics. If there's a drudgery or a big computation, we'll just hit it with all our technology and say: 'By Gauss, you can get from here to there,' and now we just keep going. So we can blast through all these obstacles that we avoid almost subconsciously. If you look at what we miss, it's the missed opportunities, and that percentage of the overall opportunities is huge.” Full conversation with Math, Inc.’s Jesse Michael Han and Jared Duker Lichtman coming soon.
Math, Inc.137,604 Aufrufe • vor 6 Monaten
Humanity advances when individuals gain the capacity to verify truth for themselves, without institutional permission. We're thrilled to partner with Robot Ventures on our mission to scale autoformalization, create verified superintelligence, and set the truth free.
Math, Inc.48,505 Aufrufe • vor 3 Monaten
🎀 Terence Tao is partnering with Math, Inc. 🎀 as the inaugural Veritas Fellow — to formalize estimates in number theory. In analytic number theory, the literature contains a large web of explicit estimates. But that web is not immediately interoperable. In practice, results come in three layers: Primary estimates: These are foundational inputs such as zero-free regions for the Riemann zeta function. They often depend on substantial computation and careful numerical optimization. Secondary estimates: Many papers take a primary input (e.g., a zero-free region) and convert it into reusable consequences, such as counting primes in short intervals. These become core building blocks used throughout the subject. Tertiary estimates: Further work then applies those secondary building blocks to frontier number-theoretic problems, e.g. representing integers as sums of three primes. The difficulty is that these layers do not update cleanly over time. A tertiary paper may rely on the best primary estimate available at the time. But years later improved computations refine the primary input, without being systematically propagated through the secondary and tertiary chain. As a result, the “same theorem with updated constants” is often unknown. The goal is to formalize key papers across these layers and then abstract them so their dependencies become explicit, composable, and machine-checkable. The long-term vision is to create a living network of implications: when a primary estimate improves, every downstream implication is automatically upgraded. This will transform the mathematical literature into modular software. Number theory is a strong test case because its estimates has a relatively clear structure, and a shared set of standard inputs and outputs. But in many areas such as PDEs, researchers constantly spend effort on modification: adapting lemmas and hypotheses, translating between incompatible frameworks, “fitting square pegs into round holes.” A composable, machine-verified implication network directly targets this friction. The same infrastructure is poised to scale to other fields and enable crowdsourced, large-scale projects that are currently hard to coordinate. A classic example is the classification of finite simple groups: a decades-long effort distributed across many contributors, with inevitable complexity around bookkeeping, integration, and confidence in completeness. With modern tooling, we envision tackling moonshots of comparable scope: many contributors handling diverse cases, and automated systems gluing the pieces together. The field becomes a live progress dashboard that records what is proved, what remains, and exactly which dependencies each component requires. This opens up the possibility for a much faster-pace and engaging way to do mathematics. Watch Tao's outline on YouTube:
Math, Inc.64,907 Aufrufe • vor 5 Monaten
💎 Emily Riehl, renowned professor of mathematics at Johns Hopkins University: “Formalization has completely changed my view of what mathematics is. Actually most of that is because it acquainted me with a different approach to the foundations of mathematics.” Full conversation with Math, Inc.’s Jesse Michael Han and Jared Duker Lichtman soon.
Math, Inc.62,230 Aufrufe • vor 5 Monaten
💎 FULL CONVERSATION 💎 Renowned professor of mathematics Emily Riehl at Johns Hopkins University sits down with Math Inc's Jesse Michael Han and Jared Duker Lichtman for a conversation on the future of mathematics. “Formalization has completely changed my view of what mathematics is.” “It acquainted me with a different approach to the foundations of mathematics.” “It helps you think and speak more precisely, often at this dream stage where new ideas are being developed.” “This is what I think the future of mathematics could be.” Watch the full video on YouTube:
Math, Inc.16,325 Aufrufe • vor 4 Monaten
Keine weiteren Inhalte verfügbar