User says AI applied a recent paper's technique to prove a combinatorics conjecture
tak3sh8 · x · 2026-10-20
The poster says they asked AI to apply a technique from a recent paper, and it went on to prove a known-but-not-famous combinatorics conjecture. They disclaim any authorship credit, but are unsure what to do next — sharing it could save others 30+ minutes of prompting work.
More from Research
- Walden Robotics lets robots 'phone a friend' mid-task, turning human help into training data — siddkaramcheti · 2026-10-20
- LLM Agents Shred Security Through Obscurity: Copier Currency Detection Reversed in Days — moyix · 2026-10-20
- Sakana AI's QD-Rec Applies Quality-Diversity Evolutionary Search to Open-Ended Recommendation — SakanaAILabs · 2026-10-20
- POPE benchmark audit: yes/no readout choice alone shifts VLM F1 by 6.13 points — Kesav Kumar Jayakumar · 2026-10-20
- Meta's synthetic data pipeline puts AI agents in simulated 'digital lives' that mimic real apps — Puzzleheaded-King584 · 2026-10-20
- typed-decisions is now an official HF benchmark ranking 2,274 open-source decision models — LysandreJik · 2026-10-20