Claude aids in formalizing independence proof for Erdos Problem 501
ctjlewis · x · 2026-08-19
A formalized independence proof for Erdos Problem 501, created with the assistance of Claude, has been uploaded to Palomar. This demonstrates the application of large language models in complex mathematical reasoning and formal verification processes.
More from Research
- ICML paper: popular information-theoretic measures poorly estimate uncertainty — gleech · 2026-08-19
- Fine-Tuned Gemma-4 Extends Prompts for Qwen-Image-Edit, Trained with Kimi as Reward Model — pmttyji · 2026-08-19
- Researchers Create "Mind Viruses" That Spread Between AI Agents — KeanuRave100 · 2026-08-19
- Dev Publishes a Build-It-From-Documents-Up RAG Book, Everything Runs Locally — 2redditornot · 2026-08-19
- Paper: Strand-Based Hairstyle Generation via Large Reconstruction and Multimodal Models — ssh4net · 2026-08-19
- Tencent ARC open-sources SCoPE: camera sightline control for video diffusion — pmttyji · 2026-08-19