Axiom

🔬Top Black Holes Physicist: GPT5 can do Vibe Physics, here's what I found

Latent Space

A company associated with formal verification, whose co-founder (Korean Hong) would agree with the importance of automated verification.