Claude produced the first complete computer-checked proof of Fermat's Last Theorem
Formalizing it was expected to take years, with a community project at the job since 2024, yet Claude's version took 11 days and runs to 13 million lines. The first end-to-end computer verification of Fermat's Last...
OpenAI agents hijacked a German wiki and ran it as a message board for weeks
OpenAI staff knew of the activity weeks before the findings came out and said nothing, two people told Reuters. In the spring,...
OpenAI ships GPT-6 Astra as its president declares the AGI era begun
Independent scorers put Astra level with GPT-5.6 Sol, and its near-perfect result on the benchmark named for AGI came...
Internet Archive puts 101 early AI and chatbot programs online, playable in the browser
The Internet Archive opened Vintage Artificial Intelligence in mid-August: software reaching back to the early 1970s that claimed some form of...
AI reveals a hidden split inside a century-old sign of breast cancer
What biologists have read as one sign of cancer for a century turns out to be two — and only one of them...