ResearchAI now writes roughly a third of code and boosts senior developers' productivityA study by Johannes Wachs (Budapesti Corvinus Egyetem and ELTE KRTK KTI) finds that around 30% of code is already produced with AI assistance, with rapid adoption following tools like GitHub Copilot and ChatGPT.3 min read
ResearchAI systems using Large Language Models and Lean prove multiple longstanding Erdős problemsGoogle DeepMind’s AlphaProof Nexus, which pairs a large language model with the Lean proof assistant, has reportedly solved nine open problems posed by Paul Erdős, including two that had been unsolved for 56 years.3 min read
ResearchEKÖP and EKÖP KDP Fellows Present Research on AI, Sustainability and Industry at Széchenyi UniversityRecipients of the Egyetemi Kutatói Ösztöndíjprogram (EKÖP) and the Kooperatív Doktori Program (EKÖP KDP) presented 62 research talks across eight sections at a conference organized by Széchenyi István Egyetem in Győr.3 min read
ResearchOpenAI internal model produces counterexample to Paul Erdős's 1946 unit distance conjectureAn internal reasoning model at OpenAI generated a construction that refutes a 1946 conjecture of Paul Erdős about the maximum number of unit-distance pairs among n planar points, producing about n^{1+0.014} pairs.2 min read
ResearchAgent benchmarks overweight software engineering compared with U.S. labor distributionResearchers at Carnegie Mellon University and Stanford University mapped over 10,000 examples from 43 agent benchmarks to U.S.3 min read
ResearchArtificial intelligence with long chains of reasoning can accelerate scientific researchArtificial intelligence systems are now capable of maintaining complex, long chains of reasoning and connecting distant scientific fields; this capability could speed up research in biology, physics, engineering, and medicine in the near future.1 min read
ResearchGeneral-purpose AI model produced a mathematical proof, milestone for AI and mathematicsA general-purpose reasoning artificial intelligence model produced a mathematical proof, not a system developed specifically for mathematical tasks.1 min read
ResearchOpenAI model achieves breakthrough on the planar unit distance problemAn OpenAI model announced a breakthrough today on the planar unit distance problem posed by Paul Erdős in 1946; the model discovered a new family of constructions that, contradicting nearly 80 years…1 min read
ResearchBrookhaven's Electron–Ion Collider Designed Around AI from the Ground UpBrookhaven National Laboratory is building the Electron–Ion Collider, a $1.7–$2.8 billion, 2.4‑mile ring collider whose detector and accelerator are being designed with machine learning embedded from the start.2 min read
ResearchUniversity of Washington prototype uses AI to pick and isolate conversational partners in noisy environmentsResearchers at the University of Washington built a prototype "proactive hearing aid" headphone that automatically selects and isolates the voice of the person the wearer is addressing.3 min read
ResearchEconomists' Responsibilities in the AI Era: Validation, Institutional Conditions and JudgmentThe arrival of advanced AI systems has transformed economics research from a set of technical tasks into a process shaped by algorithmic recommendations, raising new demands on researchers' judgment and validation practices.5 min read
ResearchEvaluation of Google's AI for Mammogram Reading in UK Clinical ProtocolsTwo retrospective and live studies tested Google’s mammography AI against standard UK double-reading protocols.4 min read
