AI Model Breaks 80-Year Geometry Conjecture, Stirring Math Community

AI & Machine Learning

OpenAI published that an internal model produced a constructive counterexample to an 80‑year‑old planar “unit distance” conjecture and released supporting proofs and artifacts, a rare instance where model output directly addressed a longstanding mathematical problem. The company framed the result as evidence of advances in AI-assisted mathematical reasoning and formalization workflows, and outside commentators noted the milestone while urging independent verification of the proofs. The announcement raises important questions about reproducibility, the role of human oversight in vetting machine‑generated proofs, and the integration of formal verification into research pipelines as models tackle deeper theory. If independently validated, the result could accelerate adoption of AI tools in formal mathematics and reshape how researchers and institutions approach machine‑assisted discovery. Source: OpenAI Verified: True

Secretive startup Hark closed a $700 million Series A to pursue a “universal” multimodal AI interface and the underlying models to surface a personal AI layer across apps and devices. Coverage emphasizes the round size and investor mix and positions the company as aiming to be infrastructure for user‑facing agents that operate across text, voice and visual modalities. Hark says the funding will accelerate model development and platform rollout, but analysts caution the company faces steep competition from established labs and cloud providers as it scales. The raise nonetheless signals strong investor appetite for ambitious consumer AI interfaces and suggests more capital will flow toward multimodal personal AI platforms. Source: TechCrunch Verified: True

Consumer Hardware

Wayve inked a deal to bring its vision‑first self‑driving stack to cars Stellantis will sell in the U.S., offering a pathway for the UK startup to scale via an OEM partnership. The agreement targets hands‑free highway driving in production vehicles slated for 2028 and reflects Wayve’s end‑to‑end machine‑learning approach rather than lidar‑centric systems. The tie‑up exemplifies the growing trend of software providers partnering with automakers to embed autonomy into production lines, giving startups access to manufacturing and distribution scale. Regulators, safety testing and real‑world performance metrics will be key determinants of whether vision‑first stacks achieve parity with incumbents’ sensor suites. Source: TechCrunch Verified: True

Meta quietly launched Forum, a standalone, Reddit‑like app built on top of Facebook Groups that surfaces threaded, topic‑focused community discussions outside users’ main social feeds. The soft launch appears aimed at reclaiming users who prefer public, interest‑driven communities and indicates Meta is experimenting iteratively rather than staging a major product debut. By layering Forum on existing Groups infrastructure, Meta can repackage community features to compete with platforms centered on public conversation while leveraging its backend and moderation tooling. The product’s success will hinge on how Meta balances moderation, discovery and cross‑platform identity to attract creators and engaged communities. Source: TechCrunch Verified: True

Cybersecurity

A reported attack on Unimed’s third‑party billing systems exposed patient and billing records for multiple German hospitals, with responders saying attackers exfiltrated large volumes of protected health information and billing data via the supplier. The incident underscores persistent targeting of healthcare supply‑chain vendors and the cascading downstream risks for hospitals that rely on outsourced systems for critical administrative functions. Forensic and notification efforts are ongoing, and the breach highlights gaps in vendor oversight, contract security clauses and segmentation between provider systems and third‑party tools. The event is likely to intensify calls for stricter vendor risk management and more rapid disclosure practices across healthcare procurement. Source: The Record Verified: True

HIPAA Journal’s May data‑breach roundup documents a wave of newly disclosed healthcare incidents this week, summarizing breaches that affect multiple HIPAA‑regulated entities and thousands of patient records. The tracker aggregates regulatory notifications, breach descriptions and ongoing investigations, providing a consolidated view of sector disclosure activity and common failure vectors. The uptick in reported incidents reinforces that healthcare remains a high‑impact target and highlights persistent vulnerabilities across provider and vendor IT stacks. Compliance and security teams can use the roundup to prioritize mitigations and to inform regulator engagement on sector‑wide trends. Source: HIPAA Journal Verified: True

Enterprise Infrastructure

Nokia launched an AI Networking Innovation Lab to co‑develop AI‑native networking technologies for data centers and large‑scale training and inference environments, pairing the company with partners to prototype new approaches. The initiative focuses on higher‑throughput, lower‑latency fabrics and orchestration tools designed to meet hyperscale AI workload demands, signaling that incumbents are adapting networking stacks for next‑generation compute. Nokia positions the lab as a way to bridge gaps between networking hardware, software and AI platform requirements, potentially accelerating deployment of optimized topologies for model training and distributed inference. If successful, the work could influence how cloud operators and enterprises architect networks to support future performance and efficiency needs. Source: Nokia Verified: True

Policy & Regulation

Universal Music Group and TikTok renewed and expanded an agreement to combat unauthorized AI‑generated music and to clarify licensing for music used in AI training and synthesized outputs, formalizing cooperation on an urgent rights issue. The deal includes platform‑level practices around content ID, takedown and monetization as well as tooling to identify and manage AI‑synthesized audio, positioning pragmatic industry mechanisms as the immediate path forward. Observers view the agreement as a template for how labels and platforms might handle generative audio while broader regulatory frameworks for AI training data remain unresolved. The pact may influence negotiations between other rights holders and AI firms and set expectations for enforcement and monetization of synthesized content. Source: TechCrunch Verified: True

Apple asked the U.S. Supreme Court to limit the scope of remedies in the Epic Games‑related App Store injunction, arguing that a broad ruling would upend App Store rules for all developers and that remedies should be narrowly tailored. The filing seeks to preserve core platform controls while confining changes around external payment options, reframing the dispute as one about remedies rather than overarching liability. The Court’s decision on whether to take the case — and how it defines acceptable remedies — could have wide repercussions for platform governance, competition policy and developer business models. Legal observers will track both the Supreme Court’s docket choices and any narrower remedy language that might emerge from further proceedings. Source: TechCrunch Verified: True