Anthropic's Claude Formalizes Fermat's Last Theorem: The First Machine-Checked Proof in 11 Days

Posted on 6th Sep 2026 07:38:59 in

Tagged as: AI, Anthropic, Claude, Fermat, Lean, mathematics, formal verification

Working largely autonomously, Claude produced the first end-to-end, computer-checked proof of Fermat's Last Theorem — 13 million lines of Lean, 29,500 theorems, and a 350-year-old story of certainty.

Read More

Jagdish Farshan Raises Rs 43.5 Crore in First Institutional Round: Inside the 88-Year-Old Snack Brand's National Expansion Plan

Posted on 5th Sep 2026 06:15:18 in

Tagged as: Jagdish Farshan, Sharrp Ventures, Gujarat snacks, namkeen, SME funding, FMCG

Jagdish Farshan, the 88-year-old Gujarat snack brand, raises Rs 43.5 crore in its first institutional round led by Sharrp Ventures. Inside the national expansion plan and the lessons it holds for family businesses.

Read More

Nscale Seeks $3.5 Billion Pre-IPO Financing: Inside the British Neocloud Riding the AI Compute Boom

Posted on 5th Sep 2026 06:04:47 in

Tagged as: Nscale, AI Infrastructure, AI Cloud, Data Centers, NVIDIA, Anthropic, IPO

London-based AI infrastructure firm Nscale is in talks to raise about $3.5 billion ahead of a possible September IPO, selling convertible notes and seeking financing from Nvidia. Founded in 2024, the neocloud was valued at $14.6 billion in March and holds a $45 billion compute deal with Anthropic.

Read More

Flipkart Enters Food Delivery at 10% Commission on ONDC: What It Means for India's Restaurants

Posted on 4th Sep 2026 06:12:29 in

Tagged as: food delivery, ONDC, Flipkart, restaurants, SME growth

Walmart-owned Flipkart is rolling out an ONDC-powered food delivery service in Bengaluru with a restaurant commission of around 10 percent, far below the 16-30 percent charged by incumbents. Here is what the shift means for restaurant owners and food SMEs across India.

Read More

HiddenLayer Raises $100M Series B as Enterprises Rush to Secure Agentic AI

Posted on 4th Sep 2026 06:05:40 in

Tagged as: AI Security, HiddenLayer, Series B, Agentic AI, Cybersecurity, AI agents

AI security startup HiddenLayer has closed a $100 million Series B led by Delta-v Capital, with Microsoft's M12, Morgan Stanley, Ten Eleven Ventures and Booz Allen Ventures participating, after annual recurring revenue grew more than 10x. The Austin company is expanding from model defense into securing autonomous AI agents and coding agents at runtime.

Read More