Results for "MIT"
7 results found

A New Open Source Dataset Aims to Solve AI's Math Reasoning Gap
Researchers at MIT and Columbia University released ATLAS, a dataset of 320,000 autoformalized mathematical statements for training AI reasoning systems.

AI-Driven Cyber Discovery Pushes UK Banks Toward Systemic Risk
UK banks face new systemic cyber risks as AI accelerates vulnerability discovery, threatening financial stability.

New SSD Side-Channel Attack Lets Websites Spy on User Activity
Researchers uncover a technique that exploits SSD access patterns to track user behavior online. The attack requires specific conditions but raises fresh privacy concerns.

CC-Wiki turns AI coding sessions into searchable team knowledge bases
A new open-source tool, CC-Wiki, lets developers save and share Claude Code sessions as a wiki. It aims to solve the problem of lost context in AI-assisted coding workflows.

Self-Hosted Email Without the Mail Server: A New Open Source Tool Emerges
Posthorn is a new open source tool that lets you self-host email without a traditional mail server. It simplifies setup and targets developers seeking privacy and control.

GitHub Breach Exposes Thousands of Internal Repositories After Employee Installs Malicious VS Code Extension
A GitHub employee installed a malicious VS Code extension leading to exposure of thousands of internal repositories.

AI Over-Reliance Turns IT Teams Into 'Tech Zombies'
Experts warn that over-reliance on AI for routine IT tasks erodes critical thinking, leaving teams helpless when automation fails.