AINewsnow

14 Million Tokens, Zero Humans: The Day Two AIs Killed a Quarter-Century-Old Conjecture

On October 16, 2026, two AI models — one at OpenAI, one at Anthropic — independently found the same impossible result. Ten days later, both labs published it. The claim: a deterministic algorithm that counts the solutions to 3-SAT in subexponential time, refuting the Exponential Time Hypothesis (ET…

Read the full story at DEV Community — Machine Learning ↗

Timeline · 1 report

  1. 2026-10-31 15:56 · DEV Community — Machine Learning
    14 Million Tokens, Zero Humans: The Day Two AIs Killed a Quarter-Century-Old Conjecture

More stories

  1. OpenAI cuts funding target by $10 billion to $20 billion amid AI market selloff — Financial Times AI
  2. OpenAI, Google, Microsoft and Anthropic to honor unified robots.txt AI training opt-out — OpenAI News
  3. Mistral releases weights for trillion-parameter 'Le Chonk' model — Mistral AI News
  4. OpenAI adds up to $500 per month in API credits for ChatGPT Pro and Business subscribers — OpenAI Developer Announcements
  5. I like Gemini's stupidity. — r/GeminiAI
  6. I got tired of AI writing 500 lines of C# boilerplate, so I built a language that forces it to generate strict architecture — DEV Community — AI
  7. What if we gather all of our conversations with the closed-source AIs like Claude or ChatGPT in one dataset. Then train an LLM on it. — r/LocalLLM
  8. Google, OpenAI, Anthropic and Microsoft pledge support for new AI scraping control signal — Engadget

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