§ Tag
6 signals tagged ai-research.
2026-07-22 Daily Report — ChatGPT and Claude produced counterexamples to open conjectures of Erdős and Grothendieck within weeks, some verified in the Lean proof language, and Terence Tao spent a post digesting the Jacobian result — but the result says less about neural reasoning than about a specific orchestration pattern: offloading hallucination control onto a symbolic kernel, made affordable the same day Flash-tier inference dropped.
2026-06-21 Daily Report — recursive self-evolution arrives as the model-size advantage breaks
2026-06-20 Daily Report — a Skill format is emerging as the layer where services reach agents
2026-06-16 Daily Report — the enterprise-agent M&A wave and the pivot from prompts to loops
2026-06-14 Daily Report — SOTA models become export-controlled goods the same week 1M-token context goes practical
2026-06-13 Daily Report — the Fable 5 access cutoff and the week agents became first-class