News 4 u.

Two severe vulnerabilities disclosed in PHP, identified as CVE-2026-109618 and CVE-2026-109619, prompted governments, companies and website operators to patch systems or temporarily take services offline. Researchers rated the flaws 9.2 out of 10 and warned that attackers could use them to control servers and access data, while no successful exploitation had been reported in the supplied account. AI tools helped researchers locate the long-standing bugs, underscoring their potential to accelerate both vulnerability discovery and offensive development.

Anthropic and Theorem report using Claude to generate formal proofs for security properties across 123 open-source libraries, covering 239 fuzz-test entry points and about 180 million lines of Rocq proof code. The work also found bugs that conventional fuzzing might miss, including flaws requiring unusually large or structured inputs. The proofs establish bounded properties under specific assumptions—single-threaded static RISC-V binaries, modeled Linux behavior, and inputs below 64 MB—not that the libraries are bug-free. Anthropic says the proofs and trusted components are being published for review.

Tesla reported third-quarter revenue and earnings above Wall Street expectations, but automotive revenue fell year over year and revenue dipped from the previous quarter. The earnings call added no detail about Elon Musk’s proposed merger of Tesla and SpaceX, which remains under discussion by special committees and would require shareholder approval. The report also highlights slower-than-promised progress in robotaxis and humanoid robots, tempering Musk’s expansive claims about Tesla’s AI and autonomy businesses.

The SEC’s examinations division said its fiscal 2027 program will focus on risks including conflicts of interest, complex and illiquid products, private funds and credit, cybersecurity, operational resilience, and emerging technologies. It also highlighted Treasury clearing reforms and tokenization. The priorities guide risk-based oversight across more than 34,000 registrants but are not exhaustive; the division may adjust its focus as market conditions, investor concerns, and new products evolve.

Russia confirmed that trilateral talks with Ukraine and the United States are planned for the first half of November in Abu Dhabi, the first such meeting since earlier negotiations stalled. The agenda and prospects remain uncertain: Moscow favors long-term security arrangements and maintains demands involving Ukrainian territory and NATO, while the report describes strained Kyiv-US relations. Russia and Ukraine also exchanged 270 prisoners, one of the few channels of contact that has continued during the war.

A personalised mRNA vaccine given with Keytruda reduced the combined risk of melanoma returning or patients dying by 42% over two years, while the risk of the cancer spreading fell 38% compared with immunotherapy alone. The trial involved 1,137 adults whose tumours had been removed. Researchers and independent experts call the results an important proof of principle, but longer follow-up is needed to establish an overall-survival benefit. The findings have not yet appeared in a peer-reviewed medical journal, and personalised production could make widespread use costly.