nearmic
Keep your iPhone mic ready for your Mac.
BitsExplorer finds what people are building with AI, every day. See today's picks →
Positive solutions of Weil's explicit formula for ζ(s): uniqueness near ζ's own zeros and primes, and certificates showing the optimal explicit-formula conductor bound reaches 1 − 7.3·10⁻⁹⁰⁶ (κ* ≤ 1.15·10⁻⁹⁰⁶). Paper, companion works and verification records.
Description excerpted from the original listing, which is linked below.
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