https://innovox.news/news/axiom-cfsg-lean-ai-formalization-verification INNOVOX en 2026-10-28 Axiom releases a 43-million-line AI-built proof—before an outside rebuild https://innovox.news/news/nih-wb4b-filariasis-diagnostic-licensing INNOVOX en 2026-10-28 NIH opens Wb4B filariasis diagnostic invention to commercial licensing https://innovox.news/news/harmonic-aristotle-c-verilog-formal-verification INNOVOX en 2026-10-27 Harmonic moves Aristotle from math proofs into C and chip verification https://innovox.news/news/lumina-early-universe-reionization-simulation INNOVOX en 2026-10-27 Lumina simulates the universe’s first 2 billion years at record scale https://innovox.news/news/wipo-ai-training-copyright-five-policy-tests INNOVOX en 2026-10-27 WIPO study maps five unresolved choices for AI training and copyright https://innovox.news/news/anthropic-ipo-founder-control-safety-trust INNOVOX en 2026-10-26 Anthropic’s IPO gives founders 50.1% of votes and its safety trust a board majority https://innovox.news/news/epo-online-filing-outage-divisional-patent-rights INNOVOX en 2026-10-26 EPO appeal board says an online filing outage cannot erase patent rights https://innovox.news/news/openai-three-ai-science-claims-verification INNOVOX en 2026-10-26 OpenAI releases two AI-made proofs as scientists debate how to verify a third