ResearchOpenAI Says Its System Produced Hundreds of Mathematical Results, Sparking Debate Over ProofsOpenAI announced that its model produced hundreds of mathematical breakthroughs, following a recent claim that it had solved a particularly difficult problem.2 min read
ResearchAI-driven building control could cut HVAC energy use by up to 12.7%, Schneider Electric study findsA Schneider Electric tanulmánya szerint a mesterséges intelligencia épületirányítási rendszerekbe integrálása 7,2–12,7 százalék közötti további energia-megtakarítást eredményezhet a fűtés, szellőztetés és légkondicionálás terén.2 min read
ResearchMathematical results from an internal frontier model published based on advice from the Institute for Advanced StudyAn organization is publishing a wide-ranging set of mathematical results produced by an internal frontier model.1 min read
ResearchHacker News comment argues benchmarks are saturated as frontier LLMs are tested with whimsical promptsOn Hacker News, user wren6991 argued that current benchmarks for advanced language models have become saturated, illustrated by a joking example in which multiple frontier models are asked to generate an SVG of an armadillo in fishnet tights jaywalking on Mars.2 min read
ResearchJennifer Neville on What AI Failures Reveal and How Evaluation Shapes ProgressJennifer Neville, partner research manager at Microsoft Research and Purdue professor, discusses how careful evaluation uncovers surprising failures in current AI systems and guides improvements.4 min read
ResearchExperiment: Claude Opus 5.5 and Scrimshaw Jukebox Generate Text-Defined Game MusicA user tested whether Claude Opus 5.5 can compose computer game music by pairing it with Scrimshaw Jukebox and asking for a simple text-based music format plus an artifact that plays it, including example tracks.2 min read
ResearchAI-generated mathematical results and Lean formalizations published on GitHubAn organization has published a collection of new mathematical results produced by an internal frontier model, accompanied by formal proof files and transparency materials on GitHub.2 min read
ResearchOpenAI and Ironclad train GPT‑6 Astra on real contracting tasks, report higher accuracy and speedOpenAI partnered with Ironclad to turn real contracting workflows into research tasks for training and evaluating GPT‑6 Astra.4 min read
ResearchBenchmark shows AI can perform many tasks in partly automated scientific labsC5R Corp's SciUniverse benchmark evaluates how well frontier AI models can operate largely automated laboratory equipment across 92 tasks in 17 task families, covering chemistry, biology and materials science.2 min read
ResearchGPT‑6 Astra Deciphers 217‑Year‑Old Encrypted Letter Relating Napoleon's OrdersGPT‑6 Astra, OpenAI's latest model, reportedly decrypted a 217‑year‑old encrypted letter within about six hours.3 min read
ResearchLocal DGX Spark run shows Qwen3.8-27B can add large numbers in words with high one-shot accuracyA recent re-run of an experiment originally posted by Colin Frasier tested whether large-language-model Qwen3.8-27B could compute numeric sums and return the results in words.2 min read
ResearchAnthropic's Claude helps discover CRISPR-like enzyme system in bacteriophagesResearchers have identified a previously unknown enzyme system in bacteriophages — an array-associated reverse transcriptase (ART) — with the discovery aided by Anthropic's Claude AI.2 min read
