Bernhard Mueller(@muellerberndt):Can finite observers force spacetime, gravity and the Standard Model? OPH is an open, auditable attempt with Lean proofs, simulations and explicit gaps. Math, Lean 4 & physics hackers: credentials optional; rigor mandatory. Star it. Pick an issue.

2026.07.22 10:34

Can finite observers force spacetime, gravity and the Standard Model? OPH is an open, auditable attempt with Lean proofs, simulations and explicit gaps. Math, Lean 4 & physics hackers: credentials optional; rigor mandatory. Star it. Pick an issue.

显示更多

434

10.5K

1.1K

转发到社区

热门用户

191.4K 粉丝

1.9M 粉丝

30.8K 粉丝

180.6K 粉丝

100K 粉丝

547.1K 粉丝

207.5K 粉丝

4.1M 粉丝

126.8K 粉丝

231K 粉丝

41.6K 粉丝

348.3K 粉丝

188.5K 粉丝

256.9K 粉丝

11K 粉丝