Today: the five AI headlines of the day → and the AI Wiki

News portal / Desk 07

Measured public attention

Can AI discover something new?

13 measured threads · about 10,000 points · measured 11 October 2026

What happened

Mathematics became the public test case in 2026.

The supplied measurement groups 13 threads with about 10,000 points and 8,893 comments. These totals measure attention, not whether the linked claims are true.

The timeline brings together 19 source-linked contributions assigned to this question. It preserves their dates, discussion records and original sources.

Complete assigned timeline

  1. OpenAI fires three safety researchers for "mishandling research information"

    DiscussionOriginal source

  2. OpenAI Withdraws 3 Math Papers

    DiscussionOriginal source

  3. Sharing AI progress in mathematics

    DiscussionOriginal source

  4. Opus 5.5 agents discover two room-temperature magnetic semiconductor candidates

    DiscussionOriginal source

  5. Claude discovers a novel enzyme system with CRISPR-like repeats

    DiscussionOriginal source

  6. Bend – a language that blocks AI mistakes via proof and runs on GPUs

    DiscussionOriginal source

  7. More questions about whether researchers can trust OpenAI with unpublished math

    DiscussionOriginal source

  8. On the Navier–Stokes Millennium Prize Problem

    DiscussionOriginal source

  9. AI isn’t outthinking mathematicians, it’s out-remembering them

    DiscussionOriginal source

  10. AI's top startups are barely publishing their research

    DiscussionOriginal source

  11. OpenAI’s accidental attack against Hugging Face is science fiction that happened

    DiscussionOriginal source

  12. Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample

    DiscussionOriginal source

  13. Claude Fable produced a counterexample to the Jacobian Conjecture

    DiscussionOriginal source

  14. GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

    DiscussionOriginal source

  15. An OpenAI model has disproved a central conjecture in discrete geometry

    DiscussionOriginal source

  16. Epoch confirms GPT5.4 Pro solved a frontier math open problem

    DiscussionOriginal source

  17. Leanstral: Open-source agent for trustworthy coding and formal proof engineering

    DiscussionOriginal source

  18. GPT-5.2 derives a new result in theoretical physics

    DiscussionOriginal source

  19. Show HN: I used Claude Code to discover connections between 100 books

    DiscussionOriginal source

Continue the evidence trail

Method

Attention is measured, not guessed: every Hacker News story from 1 Jan 2026 with more than 300 points and an AI subject (631 stories), read through the public search interface on 11 Oct 2026, grouped by the question behind the story. Survey figures come from published polls with four-digit samples and are linked.