* SpaceX's starship will reach orbit.

* The theorem prover Lean 4 will be released.