{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:6OZFLE3K3S3P2H2IUSF6OAN47B","short_pith_number":"pith:6OZFLE3K","canonical_record":{"source":{"id":"2403.04571","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-07T15:12:06Z","cross_cats_sorted":[],"title_canon_sha256":"e17dccfec49ce68ad4255e4cba96ff7a037c4e8560fb4cf1ffed5e300a1d22a2","abstract_canon_sha256":"1f7a4a9fd88150745f43cc1c2db4a5b6a2428a1478960f2a84ed7d748e3bc6ea"},"schema_version":"1.0"},"canonical_sha256":"f3b255936adcb6fd1f48a48be701bcf864f8f70e9975fc0520f23a95107f1b2d","source":{"kind":"arxiv","id":"2403.04571","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.04571","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"arxiv_version","alias_value":"2403.04571v1","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.04571","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"pith_short_12","alias_value":"6OZFLE3K3S3P","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"pith_short_16","alias_value":"6OZFLE3K3S3P2H2I","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"pith_short_8","alias_value":"6OZFLE3K","created_at":"2026-07-05T07:53:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:6OZFLE3K3S3P2H2IUSF6OAN47B","target":"record","payload":{"canonical_record":{"source":{"id":"2403.04571","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-07T15:12:06Z","cross_cats_sorted":[],"title_canon_sha256":"e17dccfec49ce68ad4255e4cba96ff7a037c4e8560fb4cf1ffed5e300a1d22a2","abstract_canon_sha256":"1f7a4a9fd88150745f43cc1c2db4a5b6a2428a1478960f2a84ed7d748e3bc6ea"},"schema_version":"1.0"},"canonical_sha256":"f3b255936adcb6fd1f48a48be701bcf864f8f70e9975fc0520f23a95107f1b2d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:53:25.333829Z","signature_b64":"dRxaveRqp6wHunXkB+aoShlrlXaq0TdXK0Qgv0ZTiyoz7JBMJ5y0KlOaqpjZoVRXz5aLGpI3LoyiXkEdLqapDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f3b255936adcb6fd1f48a48be701bcf864f8f70e9975fc0520f23a95107f1b2d","last_reissued_at":"2026-07-05T07:53:25.333353Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:53:25.333353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.04571","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:53:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zxJeZy1e1rHVBUj9OzKOAcc9wScOqVjwBStEE3LX5OhM/nNKP/JbscShN12lFZCEuropYEVyfYodBkJgM5CuAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T02:53:29.974038Z"},"content_sha256":"e53f125e7e8390b722349f99effd80df08f0d3b3d3cbb20d5ffedf58ff4d24cb","schema_version":"1.0","event_id":"sha256:e53f125e7e8390b722349f99effd80df08f0d3b3d3cbb20d5ffedf58ff4d24cb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:6OZFLE3K3S3P2H2IUSF6OAN47B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Machine learning and information theory concepts towards an AI Mathematician","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Nikolay Malkin, Yoshua Bengio","submitted_at":"2024-03-07T15:12:06Z","abstract_excerpt":"The current state-of-the-art in artificial intelligence is impressive, especially in terms of mastery of language, but not so much in terms of mathematical reasoning. What could be missing? Can we learn something useful about that gap from how the brains of mathematicians go about their craft? This essay builds on the idea that current deep learning mostly succeeds at system 1 abilities -- which correspond to our intuition and habitual behaviors -- but still lacks something important regarding system 2 abilities -- which include reasoning and robust uncertainty estimation. It takes an informat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.04571","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2403.04571/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:53:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jun2lJNkOcTN2/qXEw8pd7PyzNIxKbI6tAWqs+5zhs4xDVpc1582950caNorGUXnkEjPKXNFscMOs3zQDSBxCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T02:53:29.974651Z"},"content_sha256":"c78cc696a5e7d8c19995af115112b4063857140485d70df0d09c4fbbcd00cb57","schema_version":"1.0","event_id":"sha256:c78cc696a5e7d8c19995af115112b4063857140485d70df0d09c4fbbcd00cb57"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6OZFLE3K3S3P2H2IUSF6OAN47B/bundle.json","state_url":"https://pith.science/pith/6OZFLE3K3S3P2H2IUSF6OAN47B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6OZFLE3K3S3P2H2IUSF6OAN47B/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-01T02:53:29Z","links":{"resolver":"https://pith.science/pith/6OZFLE3K3S3P2H2IUSF6OAN47B","bundle":"https://pith.science/pith/6OZFLE3K3S3P2H2IUSF6OAN47B/bundle.json","state":"https://pith.science/pith/6OZFLE3K3S3P2H2IUSF6OAN47B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6OZFLE3K3S3P2H2IUSF6OAN47B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6OZFLE3K3S3P2H2IUSF6OAN47B","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"1f7a4a9fd88150745f43cc1c2db4a5b6a2428a1478960f2a84ed7d748e3bc6ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-07T15:12:06Z","title_canon_sha256":"e17dccfec49ce68ad4255e4cba96ff7a037c4e8560fb4cf1ffed5e300a1d22a2"},"schema_version":"1.0","source":{"id":"2403.04571","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.04571","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"arxiv_version","alias_value":"2403.04571v1","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.04571","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"pith_short_12","alias_value":"6OZFLE3K3S3P","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"pith_short_16","alias_value":"6OZFLE3K3S3P2H2I","created_at":"2026-07-05T07:53:25Z"},{"alias_kind":"pith_short_8","alias_value":"6OZFLE3K","created_at":"2026-07-05T07:53:25Z"}],"graph_snapshots":[{"event_id":"sha256:c78cc696a5e7d8c19995af115112b4063857140485d70df0d09c4fbbcd00cb57","target":"graph","created_at":"2026-07-05T07:53:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2403.04571/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The current state-of-the-art in artificial intelligence is impressive, especially in terms of mastery of language, but not so much in terms of mathematical reasoning. What could be missing? Can we learn something useful about that gap from how the brains of mathematicians go about their craft? This essay builds on the idea that current deep learning mostly succeeds at system 1 abilities -- which correspond to our intuition and habitual behaviors -- but still lacks something important regarding system 2 abilities -- which include reasoning and robust uncertainty estimation. It takes an informat","authors_text":"Nikolay Malkin, Yoshua Bengio","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-07T15:12:06Z","title":"Machine learning and information theory concepts towards an AI Mathematician"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.04571","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e53f125e7e8390b722349f99effd80df08f0d3b3d3cbb20d5ffedf58ff4d24cb","target":"record","created_at":"2026-07-05T07:53:25Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"1f7a4a9fd88150745f43cc1c2db4a5b6a2428a1478960f2a84ed7d748e3bc6ea","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-07T15:12:06Z","title_canon_sha256":"e17dccfec49ce68ad4255e4cba96ff7a037c4e8560fb4cf1ffed5e300a1d22a2"},"schema_version":"1.0","source":{"id":"2403.04571","kind":"arxiv","version":1}},"canonical_sha256":"f3b255936adcb6fd1f48a48be701bcf864f8f70e9975fc0520f23a95107f1b2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f3b255936adcb6fd1f48a48be701bcf864f8f70e9975fc0520f23a95107f1b2d","first_computed_at":"2026-07-05T07:53:25.333353Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:53:25.333353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dRxaveRqp6wHunXkB+aoShlrlXaq0TdXK0Qgv0ZTiyoz7JBMJ5y0KlOaqpjZoVRXz5aLGpI3LoyiXkEdLqapDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:53:25.333829Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.04571","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e53f125e7e8390b722349f99effd80df08f0d3b3d3cbb20d5ffedf58ff4d24cb","sha256:c78cc696a5e7d8c19995af115112b4063857140485d70df0d09c4fbbcd00cb57"],"state_sha256":"d9c1094a626ae3cc68c1fa39ef6ea04ad0c3048877f05eea33c7d2d562ceb69e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NXCB8pvnxpDGW18Lf+uYJd/Z23DU/DepUu1NbLIFcnAkOQK+lpP0Jnlg/UjqkAglfMIblU0YPLUf1AncUoZYDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T02:53:29.980192Z","bundle_sha256":"d80db21c3bd2744cbfc3b5df11b1053d6638b1028bf43dfc75d38460a9632e2e"}}