GoKawiil
Tech News
Tesla held an event at its new Semi factory near Gigafactory Nevada, announcing that the truck is now in volume production and that first deliveries have begun this week. The company said the plant can build up to 50,000 trucks annually and listed new and existing customers including PepsiCo, US Foods, DHL, WattEV, ABF, Einride, IMC and OK Produce.
A new repository presents a Lean 4 formal proof deriving the bound liminf(p_{n+1}-p_n) ≤ 186 for consecutive primes, building on the Maynard-Tao style DHL[40,2] admissible-tuple framework. The proof chain is conditional on three explicit input axioms covering Kloosterman sum bounds and related estimates, which have not themselves been formalized as Lean proofs despite being backed by established results like Deligne's theorem via Katz's monograph.
South African carrier Airlink flew two Embraer passenger jets extremely close above DHL Stadium in Cape Town before a Springboks vs. All Blacks rugby match, with one plane reportedly passing within 50 feet of the roof. The stunt, captured widely on social media, alarmed viewers who thought it looked like a near-collision rather than a planned display.