ResearchMultiple AI systems independently solved longstanding Erdős problems within daysIn a single week, models from Anthropic, OpenAI and DeepMind independently overcame an 80‑year‑old barrier in the Erdős unit‑distance conjecture and related problems.5 min read
ResearchNASA develops radiation-hardened AI-capable SoC for deep-space missionsNASA, in cooperation with Microchip Technology, has built and begun testing a radiation-tolerant system-on-a-chip called High Performance Spaceflight Computing (HPSC) to enable local AI-driven data processing on distant missions.2 min read
ResearchAI refutes Erdős's 1946 lattice-graph conjectureA recent artificial intelligence system has produced a counterexample to a conjecture proposed by Pál Erdős in 1946 that the square lattice maximizes the number of unit-length connections among points in the plane.2 min read
ResearchAI and Data Are Reshaping Power Systems, BME Research ShowsAt the Portfolio AI in Energy 2026 conference, Aszódi Attila of the Budapesti Műszaki és Gazdaságtudományi Egyetem (BME) argued that data-driven artificial intelligence is transforming electricity systems by handling growing volumes of distributed generation and stochastic processes.3 min read
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
