BitsExplorer

BitsExplorer finds what people are building with AI, every day. See today's picks →

Preview of Nrs3 De Sitter

Nrs3 De Sitter

NRS³ · de Sitter: the horizon entropy fixes the cosmological constant, Λ = 3π/(ℓ_P² S); it solves both Friedmann equations with H² = πc²/(ℓ_P² S) — Lean 4 + Physlib

Description excerpted from the original listing, which is linked below.

Open it Source code

The week in AI-built software

Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.

Read the latest week