ENTITY
Johan de Jong
Johan de Jong
PulseAugur coverage of Johan de Jong — every cluster mentioning Johan de Jong across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Axiom formalizes 7,500-page Stacks Project in Lean, creating largest math library
Axiom has released a formalization of the entire Stacks Project, a foundational reference in algebraic geometry, into the Lean proof assistant. This extensive library, comprising 16 million lines of code, represents the…
-
Axiom Math uses AI agents to formally verify vast math library
Axiom Math, a startup valued at $1.6 billion, is developing AI agents to ensure mathematical rigor and prevent the proliferation of unverified AI-generated proofs. The company has formally verified the Stacks Project, a…