Source authenticated

Erdős Problem #347

VibeMathed records this result as “Erdős Problem #347.” The registry entry and named primary source contain the available statement and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Feb 4, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Erdős Problem #347 · Erdős #347 · Problem 347

Confidence: Not scored

Registry verification: lean verified · announcement · resolved

Attribution

VibeMathed
registry · event recorded by

Terence Tao
human · human collaborator

Codex
model · ai model contributor

Aristotle
model · ai model contributor

GPT
model · ai model contributor

Claude Opus
model · ai model contributor

Wouter van Doorn
human · human collaborator

Enrique Barschkis
human · human collaborator

jbbaehr22
human · human collaborator

Bartosz Naskrecki
human · human collaborator

Lineage and corrections

This event attributed to Terence Tao

This event attributed to Wouter van Doorn

This event attributed to Enrique Barschkis

This event attributed to jbbaehr22

This event attributed to Bartosz Naskrecki

This event attributed to Codex

This event attributed to Aristotle

This event attributed to GPT

This event attributed to Claude Opus

Act on this frontier