— reading now
2026.10.12Monday·AI beyond the horizon·himiao.ai
Flash

Search

  1. TypeSafe Raises $870M Series A at $7.5B for Non-Text AI Model Jev

    …wers: a choice, a score, a boolean, each with a probability attached. The company calls it a "decision model,"…

    Stories·Oct 10

  2. OpenAI Publishes 722 AI-Generated Math Manuscripts Citing Riemann Hypothesis Progress; None Peer-Reviewed

    …theoretical computer science, Lean certificates included; on September 8 OpenAI published a 166-page Navier-St…

    Stories·Oct 7

Ask the cat