{"data":{"id":"kill-erdos-1148-2026","statement_oneline":"Erdős Problem #1148 (Number Theory); statement at erdosproblems.com/1148.","renown":{"score":1,"rationale":"Erdős problem; renown scored at catalog level","scored_by":"founder"},"attackability":{"score":null,"subscores":null,"rationale":"not scored at import","scored_by":null},"verification_tier":"lean-verified","ai_systems":["Gemini 3 Pro","Gemini 3.1 Pro","GPT-5.2 Pro","GPT-5.2 Thinking","GPT-5.4 Pro","GPT-5.5 Pro"],"posed_by":"Various","years_open":27,"notability":0,"source_trackers":["https://vibemathed.com/","https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems"],"status":"reported","ranking_score":null,"added":"2026-03-16","resolution_type":"proof","resolver":"Gemini 3 Pro, Gemini 3.1 Pro, GPT-5.2 Pro, GPT-5.2 Thinking, GPT-5.4 Pro, GPT-5.5 Pro","resolution_date":"2026-03-16","evidence_url":"https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectures/ErdosProblems/1148.lean","evidence_note":"Imported from Terence Tao's AI-contributions wiki via VibeMathed; full solutions only per that wiki's inclusion rule; verified against the erdosproblems.com page by the source tracker.","method_note":null,"effective_status":"reported","claims":[],"status_events":[{"id":"seed-kill-erdos-1148-2026","conjecture_id":"kill-erdos-1148-2026","status":"reported","date":"2026-03-16T00:00:00.000Z","actor":"human-admin","rationale":"Loaded from unified seed data.","note":"Loaded from unified seed data."}],"public_actions":[{"name":"claim","method":"POST","href":"/c/kill-erdos-1148-2026/claim","verification":"email magic link"}],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}