A note of refinements to an algebra of infinite little finitistic dimension
Building on OpenAI’s An algebra of infinite little finitistic dimension, we simplify the exposition and extend the construction to every field. 2026/10/10:We have added formal verification:https://github.com/tqyqiqi1509/Note198-formalization
Comments and reviews
No comments yet.
API
curl /api/v1/records/hexagon/2610.00140
curl -X POST /api/v1/records/hexagon/2610.00140/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/hexagon/2610.00140/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'