/ai

Formal theorem proving’s commercial potential

Carina Hong says her Forbes Talks conversation tackled commercialization, including how to calculate the total addressable market for formal theorem proving.

CH

1 Source, 13h ago, first seen 13h ago

TLDR

Axiom says Carina Hong’s June Forbes podcast conversation explored how theoretical discoveries unlock new science and engineering paradigms. Hong says the discussion also covered commercialization and calculating the total addressable market for formal theorem proving, a field she welcomed seeing get mainstream attention.

Today's Rank

—

Not ranked yet

Combined views

3.1K

1 Source, first seen 13h ago

likes

1 Source

@CarinaLHongReally enjoyed my conversation with Forbes Talks! I’m both happy to see formal theorem proving get mainstream attention and I appreciate the chance to answer some questions on commercialization - near the end we got math-y computing what the total addressable market should be!

Today's Rank

—

Not ranked yet

Combined views

3.1K

1 Source, first seen 13h ago

25 likes

25

1 comments

6 saves

3 reposts

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

1 comments

6 saves

3 reposts

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

Sentiment

Positive——Negative

Summary

Not enough discussion yet.

No sentiment analysis available yet.

1 Source

@CarinaLHongReally enjoyed my conversation with Forbes Talks! I’m both happy to see formal theorem proving get mainstream attention and I appreciate the chance to answer some questions on commercialization - near the end we got math-y computing what the total addressable market should be!

Today's Rank

—

Not ranked yet

Today's Rank

—

Not ranked yet