AINewsnow

Spent 3 months on an Erdős 993 problem with Claude Code + Codex. Found out today a full proof was posted last week.

Since July I've had Claude Code and Codex grinding on Erdős Problem #993 (1987, unimodality of the independent-set sequence of trees). Ran a literature check today: a complete proof was posted last week by Tong Zhang and Wei Li, and two Lean 4 formalizations already claim a clean build. Not peer-re…

Read the full story at r/ArtificialInteligence ↗

Timeline · 1 report

  1. 2026-10-05 01:08 · r/ArtificialInteligence
    Spent 3 months on an Erdős 993 problem with Claude Code + Codex. Found out today a full proof was posted last week.

More stories

  1. Introducing Mistral Large 4 — Mistral AI News
  2. Together Link: open models in the harness you already use. Start with one command today. — Together AI Blog
  3. OpenAI will watermark ChatGPT outputs by default—but only in the EU — Ars Technica AI
  4. Artificial Analysis says Mistral Large 4 is the most intelligent model from outside the US and China, achieving results comparable to DeepSeek V4.1 Flash (max) (Artificial Analysis) — Techmeme
  5. Anthropic expands Claude Startups program in bid to snag founders and fast-growing companies — CNBC Technology
  6. Claude Pro vs ChatGPT Plus vs Copilot Premium: which one would you choose for this use case? — r/ChatGPTPro
  7. Supercharge regulated workloads with Claude Code and Amazon Bedrock — AWS Machine Learning Blog
  8. New agent skill: Amazon SageMaker optimized generative AI inference for your coding agent — AWS Machine Learning Blog

Get the daily brief of stories like this at 6:30 every morning →