Tech

Anthropic uses Claude to formalize proof of Fermat’s Last Theorem

Equinix turns the network into the control plane for enterprise AI inference

Gimlet Labs nabs $300M for its disaggregated inference platform

Cisco remakes the edge for AI’s data-heavy future

PRIMA raises $5M to turn hot tables into a referral business

Bally’s finance chief exits as casino giant faces costly expansion pressures

Congress presses FanDuel again over VIP program and gambling safeguards concerns

NFL renews push to remove football contracts from prediction markets exchanges