# AI Mathematics Atlas by Sevensa

Independent editorial summaries of OpenAI and Anthropic mathematical claims.
NOT a proof verifier. Formalization != peer review != external acceptance.

## Index and access
- [Human site](https://ai-tracking.sevensa.nl/en/)
- [Structured JSON](https://ai-tracking.sevensa.nl/api/v1/discoveries.json)
- [Agent manifest](https://ai-tracking.sevensa.nl/.well-known/ai-research.json)
- [RSS](https://ai-tracking.sevensa.nl/feed.xml)

## Dossiers
- [Local smoothing, Kakeya and restriction](https://ai-tracking.sevensa.nl/en/discoveries/kakeya-local-smoothing/) — independent-review-pending
- [A challenge to the Exponential Time Hypothesis](https://ai-tracking.sevensa.nl/en/discoveries/exponential-time-hypothesis/) — independent-review-pending
- [Can smooth fluid flow become singular?](https://ai-tracking.sevensa.nl/en/discoveries/navier-stokes-singularity/) — formalized-provider-reported
- [Fermat's Last Theorem, checked by a machine](https://ai-tracking.sevensa.nl/en/discoveries/fermat-formal-proof/) — external-expert-comment
- [More Riemann zeros on the critical line](https://ai-tracking.sevensa.nl/en/discoveries/riemann-zeros-proportion/) — expert-scrutiny-reported
- [Does repeating a quantum game make cheating harder?](https://ai-tracking.sevensa.nl/en/discoveries/quantum-parallel-repetition/) — formalized-provider-reported
- [How hard is it to compute the permanent?](https://ai-tracking.sevensa.nl/en/discoveries/permanent-arithmetic-lower-bounds/) — formalized-provider-reported
- [Can every group be approximated by finite permutations?](https://ai-tracking.sevensa.nl/en/discoveries/non-sofic-groups/) — formalized-provider-reported
- [How long can colors hide a monochromatic triangle?](https://ai-tracking.sevensa.nl/en/discoveries/multicolor-ramsey-triangles/) — formalized-provider-reported
- [How tightly can spheres fill high-dimensional space?](https://ai-tracking.sevensa.nl/en/discoveries/high-dimensional-sphere-packing/) — formalized-provider-reported
- [How dense can a graph be without creating a forbidden pattern?](https://ai-tracking.sevensa.nl/en/discoveries/extremal-graph-conjectures/) — formalized-provider-reported
- [How large can a convex body with one interior lattice point be?](https://ai-tracking.sevensa.nl/en/discoveries/ehrhart-volume-conjecture/) — formalized-provider-reported
- [Does an operator algebra remember the group behind it?](https://ai-tracking.sevensa.nl/en/discoveries/connes-rigidity-counterexample/) — formalized-provider-reported
- [How close can we get to the nearest lattice point?](https://ai-tracking.sevensa.nl/en/discoveries/closest-vector-approximation/) — formalized-provider-reported
- [How much information can a robust code contain?](https://ai-tracking.sevensa.nl/en/discoveries/binary-spherical-code-bounds/) — formalized-provider-reported
- [A new construction for the Erdős unit-distance problem](https://ai-tracking.sevensa.nl/en/discoveries/erdos-unit-distance/) — external-math-review

Editorial check: 2026-10-29. No autonomous claim promotion.

## Hourly source monitoring
- [All records](https://ai-tracking.sevensa.nl/api/v1/index.json)
- [Source reports](https://ai-tracking.sevensa.nl/api/v1/signals.json)
- [Freshness](https://ai-tracking.sevensa.nl/api/v1/status.json)
- [API specification](https://ai-tracking.sevensa.nl/openapi.json)

Source reports are unreviewed. Cite original sources and preserve caveats. English is the source language of automatic notes. No hidden chain-of-thought is disclosed or reconstructed.

## Explained research
- [Source-grounded explanations](https://ai-tracking.sevensa.nl/api/v1/explainers.json)
Separate AI editorial review is not scientific peer review. Original source dates and explanation dates differ. Only English is currently available for these three articles.