The DeSci Podcast  cover image

Balaji Srinivasan - Exploring the Decentralized Science Reformation

The DeSci Podcast

00:00

A Computer Aided Proofs

A new computer program has solved several open problems in commnatorics and grat theory. The progress of civilization is kind of, how gtare you at mathth? I think the cart scale is probably a other, a good one,. which is the amount of energy you can manipulate - sub-planetary or solar system. And i actually did see something just recently, um, so it was like a first for ai math a gosh. So that's pretty lget right? Once you start getting, um, you know, this is similar to the four colord math problem, a four colored map problem.

Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner