AI News
IMPLICATOR.ai
Coverage of the papers, benchmarks, and lab reports that decide where frontier AI actually stands. New architectures, scaling results, alignment experiments, red-team findings, and the quieter preprints the PR teams don't push but researchers can't stop citing. We read the methods section, not just the abstract, and flag results that survive replication from ones that don't. For readers who want real progress, not the weekly leaderboard shuffle.
OpenAI posted 372 families of math results from an unreleased model, then pulled three manuscripts a day later over a sign error. About 42% have Lean proofs, and nobody outside can rerun the model.