Hellocloud A major landslide partially blocked the Teesta and Chyakoong rivers in North Sikkim’s Mangan district overnight, prompting authorities to issue alerts for vulnerable downstream communities. The landslide occurred above the Chyakoong River, opposite OC Bhir, during the night of September 5–6. A large section of hillside along the newly cut Naga–Tosa Road collapsed near the … Read more
Google has open-sourced Mantis, a framework that deploys specialized AI agents to find, validate, reproduce and patch software vulnerabilities. The system addresses two persistent problems in AI-powered code scanning: findings that describe plausible vulnerabilities without proving an application can actually reach the vulnerable code, and true-positive rates so low that developers spend more time disproving … Read more
A coalition of five banned underground groups operating as G-5 has claimed responsibility for grenade attacks targeting two legislators and a fuel station in Manipur’s Thoubal district. In a joint statement, the coalition said the blasts at the lawmakers’ residences were “first warnings” over financial demands that went unmet. Legislators Targeted MLA S Ranjan of … Read more
Skild AI has built a robot foundation model called S1 that can watch a person perform a task once, then try that same job on a robot without updating the model’s weights. The company demonstrated the approach with plant potting and pancake flipping, among other tasks that span up to ten minutes and dozens of … Read more
Patna: Floodwaters continued to rise across Bihar on Sunday as heavy rainfall pushed nine rivers above their danger marks, forcing thousands to evacuate and disrupting rail services between Patna and Gaya. More than 6.65 lakh people have been affected across 18 districts, including Patna, as flood conditions intensified. The Punpun River has been particularly aggressive, … Read more
Assam police arrested around 330 people across the state on Saturday in a coordinated operation targeting fraudsters and impersonators who cheated people through calls and messages. Director General of Police Harmeet Singh said the arrests were made since early morning following directives from Chief Minister Dr. Himanta Biswa Sarma. Speaking at Police Headquarters, Singh said … Read more
In a single 11-day stretch, Anthropic’s Claude did what human mathematicians haven’t managed in over a year of trying. It produced a fully computer-checked proof of Fermat’s Last Theorem—and it’s now the longest mathematical proof ever written, running to 13 million lines of code that any mathematician can verify line by line. The Imperial College … Read more
Patna: Bihar’s flood crisis has intensified, with more than 6.65 lakh people affected across 18 districts as the Ganga and Punpun rivers continue to rise and nine rivers remain above their respective danger marks. Ganga Levels in Patna Although the rate at which the Ganga is rising in Patna has slowed, its water level increased … Read more
Claude says its Claude AI just wrote the longest math proof ever made, and used it to formally prove Fermat’s Last Theorem. A problem that stumped mathematicians for 358 years. The machine finished in 11 days. The proof runs 13 million lines of code—more than five times the size of Mathlib, the shared library mathematicians … Read more
Train services and road traffic remained disrupted across parts of Tripura on Saturday as a 72-hour blockade called by former militants entered its second day. The protesters blocked key roads and railway tracks in West Tripura district, crippling movement along routes that serve as critical supply lines for the state. Protest by Former Militants Members … Read more