2+ hour, 45+ min ago  (628+ words) Open AI said on July 10 that its GPT-5. 6 Sol Ultra model generated a complete proof of the Cycle Double Cover Conjecture " a 50-year-old unsolved problem in graph theory " in under one hour. The company published the proof and the prompt…...

2+ week, 2+ day ago  (635+ words) Mistral AI on June 23 released OCR 4, a document-intelligence model that extracts and classifies text from PDFs, Word files, Power Point decks, and Open Document formats. In blind evaluations of more than 600 documents, independent annotators preferred OCR 4's output over every…...

3+ mon, 2+ week ago  (147+ words) MLQ. ai - Anthropic exposed nearly 3, 000 unpublished documents on its website, revealing details of 'Claude Mythos,' its most capable AI model to date[1][2][3]. - The model, also called 'Capybara,' shows major advances in coding, reasoning, and cybersecurity capabilities, surpassing Claude Opus[2][5][6]. - Anthropic…...

4+ mon, 2+ week ago  (97+ words) MLQ. ai Alphabet is integrating its robotics software company Intrinsic into Google as a distinct business unit, ending its five-year operation as an independent subsidiary. The move allows Intrinsic to leverage Google's AI infrastructure and enterprise resources while focusing on…...