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

Forward to community

Most Popular Users

917.2K Followers

1.2M Followers

The Wall Street Journal

22.3M Followers

343.6K Followers

6.3M Followers

1.1M Followers

345K Followers

1.2M Followers

5.4M Followers

3.4M Followers

2.1M Followers

4.2M Followers

241.5M Followers

5.5M Followers

26.4M Followers