NadiAI
Global AI news. Concise. Clear. Easy to follow.
Category
Axiom Math says its AI agents formally verified the Stacks Project, a large mathematical library. The startup positions verification as a defense against unchecked AI-produced proofs, per TechCrunch AI.
OpenAI senior executive Chris Lehane has proposed using AI to help define the 2028 U.S. election and called for a new “social contract,” according to TechCrunch AI. The proposal was framed as potentially benefiting Americans while also aligning with OpenAI’s business interests.
MIT Technology Review describes a scenario where chained AI agents pull customer pricing and internal data without human checks, producing outputs that appear accurate to downstream agents. The article argues this handoff risk highlights the need for stronger data lineage and oversight in agentic workflows.
Heimstaden is using OpenAI’s ChatGPT Enterprise and Codex to change how it manages residential properties across Europe. The company says the tools help reduce costs and empower employees in property-management roles.
Cisco says it combines network intelligence with OpenAI models to strengthen enterprise security. The company describes this approach as enabling more adaptive defenses against threats.
According to TechCrunch summarizing an FT-cited Blackstone forecast, Anthropic is expected to receive a high ‘junk’ rating from credit agencies following its IPO. TechCrunch notes a high junk rating would likely make future fundraising more difficult and expensive for the company.
Ropes & Gray is developing AI tools for transactional diligence in partnership with OpenAI. According to the firm, lawyers will review grouped documents, summaries, and reports before advising clients.
OpenAI and ServiceNow expanded their partnership to integrate OpenAI models and agents into ServiceNow and to bring ServiceNow workflows into ChatGPT and Codex. The announcement describes tighter cross‑product integration for enterprise workflows.
Legora uses OpenAI models, ChatGPT, and Codex to accelerate legal workflows and expand contract analysis. OpenAI says the system aims to free lawyers to focus on higher‑value work.
OpenAI and Oracle are expanding their partnership to bring Oracle business applications and AI agents into ChatGPT. The deal will also support new Oracle offerings powered by OpenAI technology, the companies say.
Anthropic has filed a 335-page IPO prospectus that includes about 100 pages devoted to risks, according to MIT Technology Review. The document presents the company’s distinctive perspective on its technology and business as part of the filing.
Anthropic’s S‑1 says over half of its customers paying $100,000+ now use both the Claude Platform and a first‑party app. The filing frames this cross‑selling approach as a retention strategy similar to Amazon’s playbook.
