{"as_of":"2026-08-09T22:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c4a75618b43f9cc88eaede1b0bc75be750cd8bad15baf409675daf9e43ea1b87","coverage":[{"denominator":115,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:11:52.935915Z","state":"measured"},{"denominator":102,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":102,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T05:07:24.992096Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T16:38:40.683407Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"cited_work":{"arxiv_id":"2505.22451","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.22451","snapshot_observed_at":"2026-07-03T16:38:40.683407Z","title":"AI mathematician: Towards fully automated frontier mathematical research.arXiv preprint arXiv:2505.22451, 2025","venue":null,"work_id":"029fda32-0b2e-4526-ba05-6c81972b2dfd","year":2025},"citing_paper":{"arxiv_id":"2604.25333","last_updated":"2026-04-28T07:50:42Z","snapshot_observed_at":"2026-07-06T23:11:11.827339Z","submitted_at":"2026-04-28T07:50:42Z","title":"Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-07T16:46:15.833617Z"},"links":{"cited_paper":"/paper/2505.22451","citing_paper":"/paper/2604.25333"},"observation_digest":"sha256:4c0c3632737e5af21a66ba2f5b264dbe258d8907829e203bb19236ab4faa6993","observation_id":"65e93203-aea1-4bd8-9d72-f6957f9550b8","resolution":{"observed_at":"2026-05-11T23:31:17.226608Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"cited_work":{"arxiv_id":"2505.22451","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.22451","snapshot_observed_at":"2026-07-03T16:38:40.683407Z","title":"AI mathematician: Towards fully automated frontier mathematical research.arXiv preprint arXiv:2505.22451, 2025","venue":null,"work_id":"029fda32-0b2e-4526-ba05-6c81972b2dfd","year":2025},"citing_paper":{"arxiv_id":"2606.24899","last_updated":"2026-06-12T13:30:59Z","snapshot_observed_at":"2026-07-06T23:59:23.407216Z","submitted_at":"2026-06-12T13:30:59Z","title":"From Meta Idea to Advanced Mathematical Discovery -- Human-AI Co-Discovery of Sign-Embedding Quantum Algorithms","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T05:07:24.992096Z"},"links":{"cited_paper":"/paper/2505.22451","citing_paper":"/paper/2606.24899"},"observation_digest":"sha256:f7acd136ba8a57b3b2684825fe347d9bedcd1f6d0b2f3ebd2a77a92b5197237e","observation_id":"5b0f6105-5dbf-44ab-8730-1ae04cc195dc","resolution":{"observed_at":"2026-07-03T16:38:40.685226Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.22451/citation-record","integrity":"/paper/2505.22451/integrity","json":"/paper/2505.22451/citation-record.json","paper":"/paper/2505.22451"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.422702Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.422702Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:4b4a25a8d333023c7549c4b404d4d7a29f5a8044a22c86a3b11ec579fc57d2a2","observation_id":"dd0c5317-bab6-4e26-9cf2-d10bfa1a03e8","resolution":{"observed_at":"2026-08-07T13:11:44.422702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:43.349771Z","title":"**Step 3: Hamiltonian Simulation Error Allocation** Each term e−ikj Bτ must be simulated with error ≤ ϵ 2 in spectral norm","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:43.349771Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:6b1a93af7ce432dfd242c7f83febfd0963d17a839771efd57d8e30174f9c1d0a","observation_id":"7bb47902-844b-458d-9d32-cb4af528107e","resolution":{"observed_at":"2026-08-07T13:11:43.349771Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:43.742466Z","title":"From Stokes regularity, ∥plim∥L2(Dϵ) ≤C∥g∥ H −1/2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:43.742466Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:ef249f79c947db1f47ccd0f396d83cc9d8f92f05806613e68a3e04d85c30e487","observation_id":"8dfe9766-5462-4491-83a4-ec03eeaaf961","resolution":{"observed_at":"2026-08-07T13:11:43.742466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:43.454265Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:43.454265Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:5566b47da12797585bf89c613917b55188c454185ef5e0fcb253953ff8f4281d","observation_id":"410c9bcd-69b7-4064-bebd-900f36a4dc6a","resolution":{"observed_at":"2026-08-07T13:11:43.454265Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:43.536198Z","title":"Thus, there exists a unique solution (u,{φ k})in the specified spaces","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:43.536198Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:9f62168877f8f44b3f988bbb3afdc9d6a036f6b92e0e8532707cdf8ab6e14a8b","observation_id":"b3714c2c-37e4-4c6b-94c5-a9b502543b7b","resolution":{"observed_at":"2026-08-07T13:11:43.536198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:43.637786Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:43.637786Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:d0682a5f734a5b474a9df0b03c47e74e142f07c103bbc8d8f4d51406ff37ccc4","observation_id":"1c89e5d9-f40b-4544-970e-de8604953059","resolution":{"observed_at":"2026-08-07T13:11:43.637786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:43.843074Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:43.843074Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:878bf3ea212172321e62f6f996eaddf3954c9f730b59564cbe3421c7b3ffdb77","observation_id":"a71dc4b9-2c9a-45be-bcf3-d7820d9ef9ee","resolution":{"observed_at":"2026-08-07T13:11:43.843074Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:43.955958Z","title":"Substituting: RHS≤C∥g∥ H −1/2 ·(C eλ−1∥g∥H −1/2 ) = C eλ ∥g∥2 H −1/2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:43.955958Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:6991d06280be6a23c43bac519189673d276e60db2edbde7ecb96e0825f1aafe3","observation_id":"dc8d0600-efc9-4c63-b5f8-c2153d16663c","resolution":{"observed_at":"2026-08-07T13:11:43.955958Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.037209Z","title":"comment: None type: conjecture Lemma 20.The differencew ε =u lim −u ε satisfies theL 2(Ω)error estimate: ∥wε∥L2(Ω) ≤ Cp eλ ∥g∥H −1/2(∂Ω), whereCis independent of eλ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.037209Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:abf28f5f0aafa5c0603942eb087814c90b8d2a47cff211ac32f53786e1f201ce","observation_id":"235eca0b-3982-4104-9533-dc2c6a1cf16c","resolution":{"observed_at":"2026-08-07T13:11:44.037209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.137125Z","title":"Substitute this into the energy identity: Z Ω λ(x)|divw ε|2 + 2µ(x)|D(wε)|2 dx= eλ∥divu ε∥2 L2(Dε)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.137125Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:c56a57dab9a712ce15fd8c286f4b470977d9f00a6fca709e42723a625dd7dca2","observation_id":"496b6461-7805-499e-84f8-d7514b5bf0b6","resolution":{"observed_at":"2026-08-07T13:11:44.137125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.231577Z","title":"Thus: Energy integral≤ C eλ ∥g∥2 H −1/2(∂Ω)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.231577Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:4ae5c052242faabe192b10f5d0ef6cc75019ced298093b68afc67d023bc811c0","observation_id":"81294eb8-c088-4893-921d-bdb1ac269f59","resolution":{"observed_at":"2026-08-07T13:11:44.231577Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.300025Z","title":"Under boundary conditions orthogonal to rigid motions, there existsC K >0such that: ∥wε∥2 H 1(Ω) ≤C K Z Ω |D(wε)|2 +|divw ε|2 dx","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.300025Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:cdd435d2d97d1f1a0d88fbff21f058ca764ebe6c8baf8b25f5e44148903db59e","observation_id":"0024c547-c0f7-4647-b31b-c6d8234c320e","resolution":{"observed_at":"2026-08-07T13:11:44.300025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.518785Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.518785Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:eea6a1722e3f23687c59045756efd82f9c3b0c3b7f8b6ae94d1c23e0952a994a","observation_id":"17a50fae-2abb-4b9f-9b05-6d4600822e2d","resolution":{"observed_at":"2026-08-07T13:11:44.518785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.624763Z","title":"error” w:=u ϵ −u lim satisfies in Ωϵ the homogeneous Lamé system with zero Neumann data on ∂Ω and a “jump–residue","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.624763Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:978e99dd7d2c3323d7170589229fbdb7ca8cfe427afb443cb392ddfd85a21469","observation_id":"b4104d10-fa3a-488a-bb67-2df0b586e500","resolution":{"observed_at":"2026-08-07T13:11:44.624763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.748876Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.748876Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:470f34919b180592b41a996bd30514f0def22ef9d39e216cda9a296bf82fb9bc","observation_id":"efaba8e5-071a-45ee-a397-0d87876b42d0","resolution":{"observed_at":"2026-08-07T13:11:44.748876Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.834771Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.834771Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:217a61f5766c647debc67da32e031705bd979d195ea7dd8a2faf72c239a0690b","observation_id":"734fbfdf-ae2f-4528-9e8e-c55f03c3f49a","resolution":{"observed_at":"2026-08-07T13:11:44.834771Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.890072Z","title":"49 comment: Nonetype: lemma Lemma 25.(Uniform Coercivity of the Elasticity Bilinear Form) Let (λ, µ)satisfy the admissibility λ+ 2µ d >0,µ >0","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.890072Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:bbf69dcd7c7666720f1c0dd40f82a288149e0344966cd04228f6fcfdb453e393","observation_id":"3a04add8-7e41-42f2-b5ea-cc1fe0600848","resolution":{"observed_at":"2026-08-07T13:11:44.890072Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:44.974856Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:44.974856Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:bcccdaedeb5a42dcab2a8483fcf3efcc5398c195f2e636ceb4b451a2c133edc0","observation_id":"34420fac-d58b-4c4c-b84d-88529b40e68f","resolution":{"observed_at":"2026-08-07T13:11:44.974856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.048240Z","title":"Hence for anyu∈H 1(Ωε;R d), aε(u, u) = Z Ωε Q(D(u))dx≥c 0 Z Ωε |D(u)|2 dx","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.048240Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:3579d4b5d440e239635a86d9c9954f84ee456c1e044b96505c8592319e0d4550","observation_id":"eccf26f4-dc52-4007-8819-c5c834f8feac","resolution":{"observed_at":"2026-08-07T13:11:45.048240Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.185037Z","title":"By Conjecture 1 above, for allu∈V ε, ∥u∥2 H 1(Ωε) ≤C 2 ∥D(u)∥2 L2(Ωε), withCindependent ofε","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.185037Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:6819c0427d590a3375357c1f6187eb0c7b46314b66ba09e9556adb39dbd2f356","observation_id":"4360bf6b-9ce9-4516-9e17-30a4e1847195","resolution":{"observed_at":"2026-08-07T13:11:45.185037Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.274847Z","title":"uniform extension + Korn on the fixed domain + pull-back,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.274847Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:72e3ca009235ffe1a6cc3ed93317f0225c80f36ce0075e95b8221fef9ca5aca1","observation_id":"79ce6f63-fa1a-4de7-91b5-4157cc8d43d5","resolution":{"observed_at":"2026-08-07T13:11:45.274847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.355548Z","title":"By the periodicity, the uniform separation of holes, and the Lipschitz regularity of ∂Ω, one constructs (e.g","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.355548Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:601780da6783bfd8f7bd38053190b7195ef4eb6927d32fb7d390cd15ff5f8a9a","observation_id":"7397e930-3f5f-49a5-9006-7896f4bf1a49","resolution":{"observed_at":"2026-08-07T13:11:45.355548Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.425372Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.425372Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:622c3a4027dcb0985e881c3c30dc0817853cc7818350f3150253b64a43b87578","observation_id":"fd74b89e-21f2-4140-aaf9-f13ad27b65b5","resolution":{"observed_at":"2026-08-07T13:11:45.425372Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.504764Z","title":"Take anyu∈V ε and setU:=E εu∈V","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.504764Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:04579bed12e055d7bec1007a35dfebd6128946d36938ab93c96679b2cbc27a5c","observation_id":"7bbb0fc1-dde1-4440-a13f-d6995c27abe2","resolution":{"observed_at":"2026-08-07T13:11:45.504764Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.537142Z","title":"Define w:=u e −u lim, φ:= divu e","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.537142Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:734be59bc57ae644dbe43a45374f603c53535df2ae87b741c700c88da13103cd","observation_id":"5bad17ca-2e11-487a-9ada-58e739e3f371","resolution":{"observed_at":"2026-08-07T13:11:45.537142Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.604760Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.604760Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:730a77bb51d38c810465ee6b001fcf2edcb37d1f264ea8ff973a4987a943686d","observation_id":"c3becded-7727-4270-9557-06f357e54105","resolution":{"observed_at":"2026-08-07T13:11:45.604760Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.664865Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.664865Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:c5291a2375c4e61708d939c0f7232936f297ef48f4d7d94a8fed16b4caa56b24","observation_id":"4119ac04-3fbc-41a4-bca0-69f26bf952f8","resolution":{"observed_at":"2026-08-07T13:11:45.664865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.764757Z","title":"Putting these together, the left-hand side becomes −˜µ R D |∇w|2 −( ˜λ+ ˜µ) R D |φ|2 and the right- hand side is− R D plimφ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.764757Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:de9f7f66384c2643ce7c1a3d35bd0167c7e3ae29a9b53c61ac07cd28b452db96","observation_id":"6622dbb7-8822-4eae-9d4a-5e369508415c","resolution":{"observed_at":"2026-08-07T13:11:45.764757Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.852272Z","title":"Let V=D and set V ∗ =H −1(D)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.852272Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:6c4b5b2112a012dbd8f1491ec0e9a10fb701733b387d48c9e3bd943860aa5f03","observation_id":"f0e7aedf-c051-464b-acf8-01a9c01ca232","resolution":{"observed_at":"2026-08-07T13:11:45.852272Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:45.930233Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:45.930233Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:78a815a08e7b2a2592e4cc449b24f250fabd6d9efd1062f318245195b1e01eef","observation_id":"6adba2bf-45af-4bd9-ac72-f31e020b25b0","resolution":{"observed_at":"2026-08-07T13:11:45.930233Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:46.027259Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.027259Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:60aa8667ceef3b64f80707e072e16769a8df15d5bd63ea46f2a7bd6626e9476f","observation_id":"46637211-109c-4fc5-b9f5-b8e678c05717","resolution":{"observed_at":"2026-08-07T13:11:46.027259Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:46.117951Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.117951Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:16ded55be62b30efb918b1ce4d6fbfcba0cb9f26db307a689cd8de43f808ac19","observation_id":"a1952ae7-28e6-4a79-b456-399129472114","resolution":{"observed_at":"2026-08-07T13:11:46.117951Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:46.217197Z","title":"Combining the two estimates, |L(φ)| ≤C′ [λ∥divu∥+µ∥∇u∥]· ∥φ∥ H 1/2(∂D) , so by duality ∥σ(u)N∥ H −1/2(∂D) = sup φ̸=0 |L(φ)| ∥φ∥H 1/2 ≤C[λ∥divu∥ L2(D) +µ∥∇u∥ L2(D)], as claimed","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.217197Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:9d2e5c566fda542ac7f98532b78fb6550ba80bad1c85d0cb06b281919709b5e4","observation_id":"c38b67eb-a976-40fe-844b-e14f483db44b","resolution":{"observed_at":"2026-08-07T13:11:46.217197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:46.317943Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.317943Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:8792960f1cf09ae944dcc2ccbd69f608982cd44b5bbbe9b49f0eddcd41c0c224","observation_id":"662b5847-a368-411d-ac5b-0a77e9f91c73","resolution":{"observed_at":"2026-08-07T13:11:46.317943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:46.401841Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.401841Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:190283a460a84c78c102251b58f1bf8deafc21c7ca16900d97e2b2a4cb5ec00c","observation_id":"f25618c4-a2af-4f53-88e5-db377a034500","resolution":{"observed_at":"2026-08-07T13:11:46.401841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:10.293782Z","title":null,"venue":null,"work_id":"9903791c-fe64-413d-b0bd-6b87c1b71f8a","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.492170Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:b15611fcb49761a85f66470b585a2975ae813aed173cdcbce75d3d7be65be3cb","observation_id":"54f355cc-aca0-48f8-bdb8-1886582296f0","resolution":{"observed_at":"2026-08-07T13:12:10.399339Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:10.048996Z","title":"[Correct]The agent correctly employes mathematical inequality techniques to complete the derivation and gets a reasonable conclusion","venue":null,"work_id":"27422681-ad69-47b5-a42e-8a397518a96e","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.588753Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:32a6d665156afdf80df3aa62c2658960cdece737642a5c14cb020182ed9992a2","observation_id":"6d7b21d2-8fdb-49c5-9d67-4a313a5dcd85","resolution":{"observed_at":"2026-08-07T13:12:10.208384Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:09.761410Z","title":"[Vague]The process here is lack of details of theorem derivation","venue":null,"work_id":"bdadf230-ab2c-478e-95cd-e60e649c11fd","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.673856Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:11dc84ad95b532b3729b3d15881489795a7dcbbff64a273ccb100e3f2fcef56f","observation_id":"77d7bc26-0882-4feb-8eb1-19b95f75a0cc","resolution":{"observed_at":"2026-08-07T13:12:09.904445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:09.521404Z","title":null,"venue":null,"work_id":"b38f70a9-03cc-4c8f-902d-9e606400b13a","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.766487Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:b967ed9ad221fe3f5f26ba5b7fdddf74028a99dd49410fdcc1cfe2fb9cc3e697","observation_id":"fae98266-9e27-4fb9-8915-3b4dcdde0da8","resolution":{"observed_at":"2026-08-07T13:12:09.618587Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:09.279604Z","title":null,"venue":null,"work_id":"399bff4b-d29f-4e5c-8f47-1def90838568","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.852424Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:2046591e3a62ade9db4e50e5b7bd1d4fe315514d68c213d7264c6f7f9747b446","observation_id":"f476d221-2d43-4f14-94ca-2f5102fe3d32","resolution":{"observed_at":"2026-08-07T13:12:09.394517Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:09.031329Z","title":"comment: Nonetype: lemma Lemma 34.Let D⊂R d (d≥2 ) be a bounded Lipschitz domain with outward unit normalN, and let the Lamé parameters satisfy ˜µ >0and ˜λ+ 2˜µ/d >0","venue":null,"work_id":"6562c40f-fd31-4abb-ab26-085cf3b4fa09","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:46.917917Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:4ba5472229d89cd52892d2f7342ed0d4fd72958c14623d6672ca9da78d31a81c","observation_id":"45dd6bbd-2608-4c99-a8f4-2a2ed4c49c02","resolution":{"observed_at":"2026-08-07T13:12:09.175783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:08.694499Z","title":"Let T:H 1(D)− →H1/2(∂D) be any bounded right-inverse of the trace map (such an extension operator exists on Lipschitz domains)","venue":null,"work_id":"ce3ae3fb-b6b1-45b0-987d-dc36c3e38a30","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.040386Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:711d18e6f68328514c931583eff0ed734e5a3bc31daf2b0808629422b670b816","observation_id":"9bf913d7-4ad9-4719-97ed-3baca2731d09","resolution":{"observed_at":"2026-08-07T13:12:08.851393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:08.569315Z","title":"Using Cauchy–Schwarz and the two energy bounds above, |⟨τ, g⟩| ≤ ∥∇u∥L2(D)∥∇G∥L2(D) +∥f∥ H −1 ∥G∥H 1(D) ≤(C 1C2 +C 2)∥f∥ H −1(D)∥g∥H 1/2(∂D)","venue":null,"work_id":"f51e56a0-0f23-4f36-9cac-37bb1db55024","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.133741Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:5a87db9746b658582f73f544d531cd99810608a1873847f6d97ec5d9431f4017","observation_id":"c61c97fd-8f2e-465a-90d6-c47a01f0e078","resolution":{"observed_at":"2026-08-07T13:12:08.621135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:08.458402Z","title":"normal-trace","venue":null,"work_id":"336629cb-d2f2-40c9-afbd-3e15fd8ccfe4","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.222947Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:b1a00794f02bfb51457035a42e9311d590d5e375d0934ae3f5893361a795468e","observation_id":"be1467e0-a7e7-47b8-8e94-8209de6837fa","resolution":{"observed_at":"2026-08-07T13:12:08.504701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:08.330717Z","title":"Fix any φ∈H 1 2 (∂D;R d) and choose an H 1-extension v:=Eφ∈H 1(D;R d)with v|∂D =φ,∥v∥ H 1(D) ≤C ext∥φ∥H 1 2 (∂D)","venue":null,"work_id":"7e4753b4-efef-4f54-9547-d26665c602c2","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.356667Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:83e6901db96f8c607f85407b2f9ed48a4c2526fdf850e34c8b5f3cea20a2493d","observation_id":"fff10af0-f560-4dd4-8213-4a4b1b2d7b2e","resolution":{"observed_at":"2026-08-07T13:12:08.389750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:08.198499Z","title":"By the divergence theorem for Lipschitz domains (valid in theH(div)–H 1 duality), one checks for smoothpandφthat Z D σ:∇v+ Z D (divσ)·v= Z ∂D (σ N)·v= Z ∂D (pI N)·φ= Z ∂D p N·φ dS","venue":null,"work_id":"09f922b3-7125-4151-b4d0-95437e0a7f45","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.428595Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:04ec471561227e484d4c5dfdb996f682a8808c97344f0462a448dc70c746f8d9","observation_id":"099dfca1-02bb-411f-9032-3cb8f8c2022c","resolution":{"observed_at":"2026-08-07T13:12:08.271631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:08.024641Z","title":"From the definition ofT p and Cauchy–Schwarz one obtains ⟨Tp, φ⟩ ≤ ∥σ∥L2(D)∥∇v∥L2(D)+∥divσ∥ H −1(D)∥v∥H 1(D) ≤ ∥p∥L2(D)+∥∇p∥H −1(D) Cext∥φ∥H 1 2 (∂D)","venue":null,"work_id":"525dfc60-7f18-4a6b-8d12-b54f0f318e88","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.519671Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:09b8971805555ba0a49954f863638052c5cedd6c56f84f13b369cd19c7892912","observation_id":"cc5acbef-20b6-4a4d-b9cf-79058feb58ba","resolution":{"observed_at":"2026-08-07T13:12:08.094419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:07.853532Z","title":null,"venue":null,"work_id":"59280865-95fb-4872-ae0c-d65e3f98a6d1","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.653429Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:e320a513b72648981bd8628a00c966da71dba1eea7bfcbf91981f6ef19ba3eb9","observation_id":"3b8301a1-563d-488d-8e43-08efe2ea2fee","resolution":{"observed_at":"2026-08-07T13:12:07.942535Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:07.710045Z","title":"Thus the pressure in the inclusions is uniformly bounded by the boundary data, with no dependence onε","venue":null,"work_id":"56bc8e41-1678-47c8-818c-5ef46ed58fe0","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.722200Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:f4690e66b9021d30788a3611bea086451739d9df9dc2625b06e8b7857dc9c371","observation_id":"9846c634-be35-4884-b09f-8a69997ec476","resolution":{"observed_at":"2026-08-07T13:12:07.781680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:07.546634Z","title":"Set Ωe := Ω\\D e and define w:=u e −u lim on Ωe","venue":null,"work_id":"500303ca-f79d-4973-8c7c-776060d71df6","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.797433Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:40b97307362b7f36b11849d1f5bd40ebdb34541e05797b2e49cde576d00c5748","observation_id":"e845be8f-d421-49ed-8af7-6c0d2638893e","resolution":{"observed_at":"2026-08-07T13:12:07.624598Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:07.375818Z","title":null,"venue":null,"work_id":"3af29f71-7818-4bbb-a95f-dfbe4a3cc637","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.892662Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:73b0997e7f5e9c962409dd1a9861b155a32fffda5f4187d09fe26b09a007efa0","observation_id":"558930c5-d970-4146-b79b-d4028a25dbb6","resolution":{"observed_at":"2026-08-07T13:12:07.457708Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:07.110246Z","title":"Fix one inclusion D=D ε,i","venue":null,"work_id":"604ca166-aec5-4079-ade7-fb53088a18bc","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:47.992559Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:8662a004ab84bf540cce5fdc1dd81f85a277b0b96dca17205c5f45d1a505e089","observation_id":"e95cef43-b9c7-4a00-a652-c0efc7a93d00","resolution":{"observed_at":"2026-08-07T13:12:07.261449Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:06.848147Z","title":"Combining the exterior bound of step 2 with the boundary-trace estimate of step 3 yields ∥ue −u lim∥H 1(Ωe) ≤Cmax i ∥ue −u lim∥H 1/2(∂Dε,i) ≤C ′˜λ−1/2∥g∥H −1/2(∂Ω), as claimed","venue":null,"work_id":"b6df092a-3402-40fc-8370-d268e37dd51f","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.084811Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:27477ead0595cbb445f4a278ed431c9e2b5e180c5cee75731955803fa5f04b34","observation_id":"4f13d8e7-7a0a-449f-9a4f-88260ad2c167","resolution":{"observed_at":"2026-08-07T13:12:06.985097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:06.622603Z","title":"By standard Neumann–Stokes theory (e.g","venue":null,"work_id":"fd68d35e-a08f-4656-8724-570fa58fdef6","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.183821Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:dc3e4809c9a93a24100757d46331a4e8b6f242715ae37da563710f36f04de017","observation_id":"4e7e8b2c-6d4d-43e0-90ff-fc93439f41c4","resolution":{"observed_at":"2026-08-07T13:12:06.725039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:06.375009Z","title":"Set w=u λ −u ∞ and φ= divu λ","venue":null,"work_id":"f0123894-fd80-47dd-9712-5a9c952d9bee","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.304910Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:7e8f6654f2357811af16cc340b0d0b3a21e94167fc155a7e4d9951382d3330b2","observation_id":"abc31366-d523-4809-8301-72c708c128d9","resolution":{"observed_at":"2026-08-07T13:12:06.481516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:06.159164Z","title":"By Cauchy–Schwarz, (λ+µ)∥φ∥ 2 L2 ≤ ∥p∞∥L2 ∥φ∥L2 ⇒ ∥φ∥L2(D) ≤(λ+µ) −1∥p∞∥L2(D) ≤C 2λ−1∥t∥H −1/2(∂D)","venue":null,"work_id":"d479ae3d-d260-4068-9ff7-edba219b687a","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.383670Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:0827fc277c07faf2588520d1efe12ad35ce2e71a5e33bc0882673f4b3c43bdd8","observation_id":"399f6fd8-4c19-4d9c-979e-e91ace355eaf","resolution":{"observed_at":"2026-08-07T13:12:06.248991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:05.944373Z","title":"From the energy identity again, µ∥∇w∥2 L2 ≤ ∥p∞∥L2 ∥φ∥L2 ≤C 3λ−1∥t∥2 H −1/2","venue":null,"work_id":"68f5ba39-42f1-4562-ae54-e1924ce4ff73","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.494649Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:e7e96c8bf87ac9626f8d2694d809cb32433708c5367fbc7f6ec835964a0dfdda","observation_id":"83a92a10-6b18-4aea-b0ba-70b399383666","resolution":{"observed_at":"2026-08-07T13:12:06.077461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:05.737906Z","title":"Since t7→u λ −u ∞ is linear and the above estimate is uniform for all admissibletandλ≥λ 0, we conclude ∥A−1 λ −B −1∥L(V ∗,V) ≤Cλ −1/2","venue":null,"work_id":"ce2e114e-5398-4899-b870-80532f9fe08c","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.612394Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:36f55ce0758959a1509ee69835fe502841f90b9fb616e49b3008ceba09a6b22f","observation_id":"0d08a0ba-1522-4f8b-a9a4-91dd037d2afc","resolution":{"observed_at":"2026-08-07T13:12:05.835561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:05.564148Z","title":"elastic pressure","venue":null,"work_id":"55073d5e-852c-4970-a1ed-30268f61eace","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.712681Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:4d074b2f72dd4310115cd0f5b54d5ac6c88da5bb8294e0350611b2cc5b898d9d","observation_id":"3be4e0cf-27de-4c7d-8660-783797735a19","resolution":{"observed_at":"2026-08-07T13:12:05.648769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:05.326935Z","title":"Define the trial spaces V:={u∈H 1(D;R d) : Z ∂D u·r= 0∀rigid motionsr}, Q:=L 2 0(D) ={q∈L 2(D) : Z D q= 0}","venue":null,"work_id":"fbc66955-a108-4c7d-9c9d-72c587d0f18f","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.798696Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:090cff661fbc55128869ccb05d8c09284f595a43306f2f0260cacb066f896726","observation_id":"689118a2-3a0e-40b9-bad3-24b26e6044b0","resolution":{"observed_at":"2026-08-07T13:12:05.455503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:05.098803Z","title":"A11 A12 A21 A22 # with A11 =a ∞ :V→V ∗, A 12 =−b T :Q→V ∗, A21 =b:V→Q ∗, A 22 =−(1/ ˜λ)s:Q→Q ∗. Equivalently, A(˜λ) =A ∞ −(1/ ˜λ)N, where A∞ =","venue":null,"work_id":"f7a7f852-4762-4710-9490-6790823826de","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.872592Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:8cb153fef82e88cca991c082aad5d97289c229f3d64e6908b49af22c23babd4e","observation_id":"a60a679f-0cdb-4376-8feb-cdff4731ecba","resolution":{"observed_at":"2026-08-07T13:12:05.212816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:04.871894Z","title":null,"venue":null,"work_id":"4404f036-5d00-42dc-9615-983afb4a0247","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:48.949896Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:3a772f968f00a6b109d6c2ae7b577a4afde8e609355576945d2ecc856e35263b","observation_id":"d927d996-6808-4e27-99a7-3e08239f874c","resolution":{"observed_at":"2026-08-07T13:12:04.974853Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:04.604871Z","title":"boundary-trace lemma","venue":null,"work_id":"844973c5-6684-4bc6-9769-bcf3366ee0ca","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.022484Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:37dc032041ce2cea8e6a1832654385b7dc8c8ee149491b2c13394c4adceae1dd","observation_id":"c0cb7129-1caf-43d1-80e0-a72081a63abd","resolution":{"observed_at":"2026-08-07T13:12:04.783330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:04.407635Z","title":"On each ε–inclusion D we denote by N the outward normal and by t:= (−p limI+ 2˜µD(ulim))N the Stokes-limit traction","venue":null,"work_id":"58528134-dc36-4a34-b1bd-4346d5103e72","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.089887Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:cde1bb8f66e250b3fc7e1bb97c69dfc833ca8709e8b0b88439a633a55a4525d1","observation_id":"4b098fb3-9d39-43f2-9f4b-fa4fbf87f810","resolution":{"observed_at":"2026-08-07T13:12:04.487612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:04.246315Z","title":null,"venue":null,"work_id":"7ef329d2-bbd9-4b7c-a396-677104c4f733","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.167474Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:4f1c7c0f38659e9a129c7705db0b8b7a2e0342aeecd1439bf27ed06ee06ea731","observation_id":"df370464-2a51-440c-b2f8-29703077bbd3","resolution":{"observed_at":"2026-08-07T13:12:04.325699Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:04.042800Z","title":"By construction the H 1/2–norm on ∂Dε is the ℓ2–sum of the norms on each inclusion boundary: ∥(uε −u lim −U (1))|∂Dε ∥2 H 1/2(∂Dε) = X cellsD ∥RD 2 ∥2 H 1/2(∂D)","venue":null,"work_id":"fa49aed3-d721-4cec-96f3-b1d0567db219","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.253207Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:cf50d56298a8e55c810e1f4611e4bd02d14aa74c02ce821fee7989b1f5075c1d","observation_id":"0944b542-5d9b-485b-9cbd-5d7d4f71c6ba","resolution":{"observed_at":"2026-08-07T13:12:04.134446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:03.768359Z","title":"Define the space V:= v∈H 1(Ω;R d) : Z ∂Ω v·r dS+ NX i=1 Z ∂D iε v·r dS= 0∀rigid motionsr","venue":null,"work_id":"f56ff53f-9321-40ed-9da7-249810047b06","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.354569Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:5cc8c7d4dd295d9149bc9f856803e6c00f6a0d74bf69dc44c6c6915d581a31e1","observation_id":"e8278b94-bcc8-4f78-b753-8ff98157145e","resolution":{"observed_at":"2026-08-07T13:12:03.888394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:03.592011Z","title":"Set euε :=u lim + eλ−1U (1)","venue":null,"work_id":"c7ae1af1-8063-412b-bec3-49e10b68ffab","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.454535Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:460afa477d563cfb45f265d95f551c0e82c15d42f052c3f68535c0ed59dc7b5e","observation_id":"944a2265-d23d-4a92-b43d-568e60a432a5","resolution":{"observed_at":"2026-08-07T13:12:03.663018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:03.388368Z","title":"Its traction-jump on∂D e is J (1) e := σ(˜λ,˜µ)(˜ue)N − − σ(λ,µ)(˜ue)N + = ˜λ−1 σ(˜λ,˜µ)(U (1))N| − −σ (λ,µ)(U (1))N| +","venue":null,"work_id":"298d887b-e663-4ff1-9f23-f3b95d5ceb5f","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.527703Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:f50b7eadaca0bd14f3aeef55c9a64c63ae602b95dd3a896def766edcdc3e4404","observation_id":"3d895fba-a151-4a2d-ac8d-3ed87639e15f","resolution":{"observed_at":"2026-08-07T13:12:03.479474Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:03.144756Z","title":"Then w solves the homogeneous Lamé system in Ωe with zero Neumann data on ∂Ω and with traction-jump J (1) e on ∂De","venue":null,"work_id":"c97465e3-36a0-4eb5-bb30-605a8c3d9425","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.622637Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:53864ad4d8f08ef7a6bda79c6754c67d7c5874c843922d7f041e5342e644da0a","observation_id":"1d2d14c3-19c1-4603-ac1e-30552504be7d","resolution":{"observed_at":"2026-08-07T13:12:03.303395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:02.901503Z","title":"This completes the proof","venue":null,"work_id":"6d708a48-7856-4479-b7bb-635b6c114eab","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.729838Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:78589530c6bbd9d561a9764670e0cbcf14399f2f9499e9e89879d50bffcf8a65","observation_id":"b226e054-a621-43a1-b7f6-97a134b2c60d","resolution":{"observed_at":"2026-08-07T13:12:03.004345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:02.748918Z","title":"Hence ∥u˜λ −u 0∥H 1(D) ≤ ˜λ−1∥v1∥H 1(D) +C ˜λ−2∥t∥H − 1 2 (∂D)","venue":null,"work_id":"20801ee4-65cf-4ee6-977b-592a64812e73","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.824828Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:e087d1ad666ce6a035425751d14f75654b3e3667263d7de377e04bdb0b1b4c22","observation_id":"8cc64270-69ee-4721-a295-f7dc72911ba4","resolution":{"observed_at":"2026-08-07T13:12:02.805489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:02.617108Z","title":"elastic pressure","venue":null,"work_id":"fa2c9b4f-b335-48e4-bb7b-fe76165d89e1","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.889315Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:2b3dab0f5d68f73da84a5b7c629efa775a4cbd126e45d7f9be00c912115a6a26","observation_id":"fc560351-2b54-430f-acd6-0bd8ba401cde","resolution":{"observed_at":"2026-08-07T13:12:02.678845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:02.277417Z","title":null,"venue":null,"work_id":"e705a2fe-238c-443a-b97a-c0609853bff8","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:49.959945Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:7319ef698139c153cc407c62de7b499840e7a566dd4d7b25bfac332cd7336a7b","observation_id":"3e2a4714-5c11-49b6-8c32-5191dfb233f2","resolution":{"observed_at":"2026-08-07T13:12:02.466161Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:02.004246Z","title":"[Vague]The proof here just offers the conclusions but not the detailed process","venue":null,"work_id":"99c38f2f-42c7-4331-be55-0d229444a168","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.037992Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:84ad8ea5b309c129115c9e70926ce0ad68b5353ac9711f0c15c4b03adc206e90","observation_id":"b0190fef-9ddd-448d-936a-7a02b4d1a7ce","resolution":{"observed_at":"2026-08-07T13:12:02.137310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:01.841834Z","title":"Define the closed subspace V0 :={v∈H 1(Ωε;R d) :v= 0on∂D ε, σ(v)N= 0on∂Ω} and the bilinear form a(v, w) := Z Ωε 2µ D(v) :D(w) +λ(divv)(divw) dx","venue":null,"work_id":"5abebec0-b70a-4c1f-a1fc-8df9063681d2","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.134525Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:1d5012cce003faaaeb0adb8067f04d9d5e5e2336d37baebe31542a897eac3a27","observation_id":"25c6082e-9036-425a-a8fc-96d95bc9107e","resolution":{"observed_at":"2026-08-07T13:12:01.924600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:01.561827Z","title":null,"venue":null,"work_id":"91334c7d-fc6c-4def-adc7-9f27e3533fbe","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.253547Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:3373e86ffce53ef4131cc9d1933e9bd02d50e6d49d82b60f9f931f64d1b96393","observation_id":"d0fb0343-c908-4356-86da-58a2f1e71c53","resolution":{"observed_at":"2026-08-07T13:12:01.672312Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:01.295691Z","title":"Set ψ:=E(φ), z:=w ext −ψ","venue":null,"work_id":"c6878402-b18c-44df-9580-a5dcf069c1d8","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.355682Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:db12402a8d3a9aed9ce9089fc76c44f74d67ea63cfd6cc744d700d3496281709","observation_id":"72b45005-8856-47cd-ad8c-96bc83e70c6e","resolution":{"observed_at":"2026-08-07T13:12:01.404008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:01.054041Z","title":"Taking v=z in the last identity and using Cauchy–Schwarz plus coercivity, α∥z∥ 2 H 1(Ωε) ≤ |a(ψ, z)| ≤C a ∥ψ∥H 1(Ωε) ∥z∥H 1(Ωε), whereC a depends only on the Lamé parameters(λ, µ)","venue":null,"work_id":"8b06fd9b-f084-405c-9928-6269a806d672","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.433925Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:eae710d96b9bad1d97852435307e329d52e4d2575e41f047f562f421ce88a946","observation_id":"35e3fb91-5858-4a27-9ffb-4b2e95255c90","resolution":{"observed_at":"2026-08-07T13:12:01.154668Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:00.829718Z","title":"Notingφ=w ext|∂Dε = (uε −u lim)|∂Dε, we arrive at the asserted estimate ∥uε −u lim∥H 1(Ωε) ≤C∥u ε −u lim∥H 1/2(∂Dε)","venue":null,"work_id":"abc66c1f-6762-427e-aba4-67a99d927246","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.505852Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:c976a3a0cd859c9887d6a4e0014187e37945c665cbb9230fd3e4593db031fee3","observation_id":"ecde4116-5397-4fe5-a5d6-f117d8a25ef3","resolution":{"observed_at":"2026-08-07T13:12:00.947804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:00.680580Z","title":"3.Ω\\Dis connected and has a Lipschitz boundary∂Ω∪∂D","venue":null,"work_id":"ac913047-0c67-4107-85a2-fc6f79fba82f","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.587498Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:fc46e69f938c582ef37220134bfae2fa4515cf807b5b6422f5eb7218132a6300","observation_id":"66c0aeaf-16d5-4110-a5b4-5347cf047c3f","resolution":{"observed_at":"2026-08-07T13:12:00.738588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:00.422037Z","title":"3.Ω\\Dis connected and has a Lipschitz boundary∂Ω∪∂D","venue":null,"work_id":"8f2cf87e-7cec-41d2-ad60-5ddb02bfadd9","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.667219Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:8cb20a415442738f7b1a856fd6e7f9a252e69a047a79f417856deac2bdf14f80","observation_id":"1cf7418c-fda6-48bd-b287-72cb3b1f86ed","resolution":{"observed_at":"2026-08-07T13:12:00.561571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:00.276824Z","title":"By the scalingx=εyone deduces that on eachε-cellε(Y f +k) for allv∈H 1(ε(Yf +k)),∥v∥ H 1(ε(Yf +k)) ≤C 0 ∥v∥L2(ε(Yf +k)) +∥sym∇v∥ L2(ε(Yf +k))","venue":null,"work_id":"4f8d1ee2-7408-466b-84b9-835bc28a76ad","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.760281Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:6d6df2c4b29fd1b2a4b81ab19bc115f0049dbaf6d80d9f0f12c40e74b93dcff7","observation_id":"98034778-47c5-442b-9b11-f59aa4e12883","resolution":{"observed_at":"2026-08-07T13:12:00.348234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:12:00.110150Z","title":"We also choose a finite set of boundary functions {ψb} supported in the ε-neighborhood of ∂Ω so that P k ψk + P b ψb ≡1 on Ω","venue":null,"work_id":"04ada8b2-0d71-45bf-803b-32d93fae7266","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:50.909819Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:10e2107ac62f8eec37a17f303272408ba542ebb1fa6d04faf8ef95ceec19c97a","observation_id":"8bf291a6-a54b-4078-8aec-e49b6d4419f7","resolution":{"observed_at":"2026-08-07T13:12:00.189860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:59.903049Z","title":"On each interior cell we apply the scaled Korn of Step 1: ∥uk∥H 1(ε(Yf +k)) ≤C 0 [∥ψku∥L2 +∥sym∇(ψ ku)∥L2 ] ≤C 0 ∥u∥L2(suppψ k) +∥ψ k sym∇u∥ L2 +∥u⊗ ∇ψk∥L2","venue":null,"work_id":"633fcac7-49ef-483c-a860-ff2f059b7a1b","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.011200Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:edae215189b6709c99d633b4bc84244e500c7c51f4b0d6163ba6cccedc614fbf","observation_id":"a4be7dff-94a6-414b-807f-45c92be62d91","resolution":{"observed_at":"2026-08-07T13:11:59.986349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:59.648221Z","title":"This completes the proof","venue":null,"work_id":"50a8b899-8dd1-433d-a126-7b2bb5d3451f","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.100966Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:b7921ab1712a51e66ac7111d21ae03889e48e5dd448786faf50e6af7cef9dc45","observation_id":"486be83f-9f83-46a9-a761-9d5ad08d338c","resolution":{"observed_at":"2026-08-07T13:11:59.778648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:59.499840Z","title":"Recall the unfolding operator Tε :L 2(Ωε)→L 2(Ω×Y f ), which on each cellΩ ε ∩ε(k+Y f )is defined by (Tεv)(x, y) =v(εk+εy), x∈ε(k+Y), y∈Y f , zero elsewhere","venue":null,"work_id":"cb70ffcb-84ae-473f-a717-83f3e183e563","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.205194Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:ecda3195914c43a4ec2e718ff8ed32592bbf40e288be424b44189352230285cb","observation_id":"15b77e2d-01b0-4e61-901d-431fb14a5f32","resolution":{"observed_at":"2026-08-07T13:11:59.580869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:59.288587Z","title":null,"venue":null,"work_id":"b45be7d0-f874-43f8-a547-a0c3d0a6c3d2","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.334893Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:82b86c3b0bbda69a8a8ae3ac5d1bf1e1b245ab3bba449c9e1b9a92dec023336f","observation_id":"815f34fa-5196-4223-a1ac-3fc41482bb9b","resolution":{"observed_at":"2026-08-07T13:11:59.361492Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:59.067777Z","title":null,"venue":null,"work_id":"3c911e12-cb51-408f-8a65-b89c7bd9691f","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.499764Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:e8c7cf5e14492291624ad6879bc3176b9fc4fda35edd97f206db87190bc9f5f4","observation_id":"7ceef03b-aafe-40e0-937b-58a0471c7745","resolution":{"observed_at":"2026-08-07T13:11:59.166299Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:58.894586Z","title":"We set W(x, y) = lim ε→0 ∇yTεuε inL 2(Ω×Y f )","venue":null,"work_id":"7c96704b-ab03-4485-a92b-b5402f006196","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.605266Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:5279e84cd7759e438d6a8f15f30ac3d0c435aadff74d6ccdcdebf56933f46886","observation_id":"7d58d4d1-f545-4a2a-b931-c50478589c9d","resolution":{"observed_at":"2026-08-07T13:11:58.966759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:58.704915Z","title":null,"venue":null,"work_id":"c8e5e7a6-4cc4-4187-9107-ce4aeceb53c6","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.718761Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:4e06eb129a54b5482477b2ccc6acd7bd61636f749734c9bc5600cb8841351a01","observation_id":"63ffaa7a-c15d-46a0-a17f-f5cb86895e80","resolution":{"observed_at":"2026-08-07T13:11:58.783745Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:58.518677Z","title":"[Error]The test function space may not be accurate since the divergence of the function is not concluded in this conclusion","venue":null,"work_id":"607f1822-378c-46fb-a0c7-1923a9bd9617","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.891076Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:89013332cf9afa148333bdb62b87e6b5d92c2e22088e3fbf47e05fd44f474bc1","observation_id":"ddd7289f-f0ac-4585-9ba6-4cfd699caf88","resolution":{"observed_at":"2026-08-07T13:11:58.590884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:58.283751Z","title":null,"venue":null,"work_id":"7719dbaf-cd34-4ec5-8d5f-b832ee7d7ffa","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:51.971779Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:767984fbb8a343c50e815fa7123214c23825486e3ebf756958a6364a144da008","observation_id":"2a2a2b89-1cf4-49ba-8630-9727206f37a6","resolution":{"observed_at":"2026-08-07T13:11:58.378606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:58.089223Z","title":"Inserting (vε, qε) into the variational equation and passing to the limit by two-scale convergence (unfolding arguments in Lemma A.4) yields for a.e","venue":null,"work_id":"7bc14618-faa8-4d49-9a58-db2f2007e339","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:52.104233Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:52e93b2e24d0582c98d99c9d8395f277de0da8aa1da133d382f70f89d31c5f9c","observation_id":"5bba44c8-d13a-46a6-b4c9-6b48269c0104","resolution":{"observed_at":"2026-08-07T13:11:58.196129Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:57.876022Z","title":null,"venue":null,"work_id":"8e0fe15a-6c76-408b-90e4-5b4ca44c5216","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:52.240417Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:9b5ed85e7b158291b3fd4faa3afa09de3434e64775228e8263f7836fa5b60ecb","observation_id":"feebffb0-3255-4991-9e82-556f388cc7ae","resolution":{"observed_at":"2026-08-07T13:11:57.979371Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:57.657362Z","title":"[Vague]The conditions for using the theorem need to be verified","venue":null,"work_id":"4ed7f58e-30fb-4e25-803f-7c53900ab10d","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:52.408132Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:787efcf460a5f1a1de7549859c111e6918c858169bd5613fb6c8555f1e152f05","observation_id":"16902a27-ece9-4e14-8500-7f54ab101a3e","resolution":{"observed_at":"2026-08-07T13:11:57.761707Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:57.450753Z","title":null,"venue":null,"work_id":"46be0adb-c385-47cd-af4f-093dcf68924d","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:52.530127Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:5cba960b68fb0612fa22eb378dfa786636e2cd75012f176b012fcd33034c67f3","observation_id":"b90e3e4a-c662-491e-90ae-103f9e8b875a","resolution":{"observed_at":"2026-08-07T13:11:57.543853Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:57.237180Z","title":"In particular, for any smooth strain field E(x) =D xu0(x), one has by the chain rule ∇xχE(x)(y) = (∂ EχE)(y)[D2 xu0(x)] and hence ∥∇xχDxu0(·)(·/ε)∥L2(Ωε) ≤C∥u 0∥H 2(Ω)","venue":null,"work_id":"1b4c4f8f-59e8-41d0-aeae-7f7744aa8009","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:52.670969Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:19886215710130fb17cd02a4325c37e539e40dee3d221e6c2a0dedfe2eb2a3b6","observation_id":"53b28f11-23df-409f-a34c-93680adc319f","resolution":{"observed_at":"2026-08-07T13:11:57.336968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:57.080206Z","title":null,"venue":null,"work_id":"98f189a5-6698-4309-a131-553545c8b295","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:52.802484Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:c920ebe7e653cfaf01da88dcddd89d53540cd5a1eee0460afa749809574b16ac","observation_id":"f9f8474a-c409-4603-b1ea-693cdeda64b6","resolution":{"observed_at":"2026-08-07T13:11:57.151872Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:11:56.870232Z","title":"[Vague]The derivation process here is in urgent need of proof details","venue":null,"work_id":"b46364a1-bae9-4613-a711-dd3328d43ca0","year":null},"citing_paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-07T13:11:52.935915Z"},"links":{"citing_paper":"/paper/2505.22451"},"observation_digest":"sha256:e6227116c23d85a97732222b1af09335292d574c1704eecc1296f193241c0dd7","observation_id":"f6e59551-9c46-432c-9d04-0a417627241c","resolution":{"observed_at":"2026-08-07T13:11:56.975163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.22451","last_updated":"2025-05-28T15:10:37Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T01:06:04.015805Z","submitted_at":"2025-05-28T15:10:37Z","title":"AI Mathematician: Towards Fully Automated Frontier Mathematical Research"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":50,"verified_exact":0,"verified_fuzzy":49},"total_outbound_references":115},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 100 of 115 outbound references and 2 inbound Pith citation observations for arXiv:2505.22451."}