AI use is already widespread across education. According to Microsoft’s 2026 AI in Education report, 92% of surveyed students and education leaders and 88% of surveyed educators reported using AI for school-related purposes.¹ Experimentatio…
How Rust, Lean, Aeneas, and AI agents are helping scale formal verification for production cryptographic algorithms At a glance SymCrypt develops new verified cryptography using Rust, Aeneas, and Lean to provide higher security assurance. W…
At a glance Aurora 1.5 is a major extension of Microsoft’s Aurora Earth System foundation model that adds 22 more weather variables relevant to energy, agriculture, transport, and climate risk, along with hourly temporal resolution and prob…
At a glance Polished charts from simple specs. Flint allows AI agents to reliably generate expressive, visually polished charts from simple, human-editable specifications. Semantic types guide design. Flint leverages semantic data types to
For many educators, this time of year offers a chance to reflect on what they’ve learned, recharge for what’s ahead, and reimagine what’s possible in education. At ISTELive 2026 in Orlando, K–12 educators, librarians, school leaders, instru…
At a glance AI agents often fail because their instructions, or skills, are manually modified with no guarantee of improvement. SkillOpt turns skill editing into a training process, making agent behavior more reliable without changing model…
At a glance Today’s AI agents don’t remember past interactions. They must repeatedly be fed relevant information or retrieve it from external sources, which becomes less efficient as they handle longer and more complex tasks. To scale agent…
Summary In the days following the United Nations Micro-, Small, and Medium Enterprises (UNMSME) Day, we take a closer look at what the data shows, and why it matters for the 400 million businesses that power the global economy. This year, I…
A couple of months ago, I sat across from my nine-year-old daughter’s teachers at a parent-teacher conference. They were kind but concerned. She takes her time on assignments, they said, she’s often deep in thought. How would she do on time…
At a glance LLM-based models can predict the human brain’s responses to language with high accuracy. But what drives that performance is essentially unreadable: a vast collection of learned parameters, not scientific theories anyone can rea…
At a glance Talos is an open-source tool for automated, iterative reanalysis of genomic data in rare disease. It efficiently re-examines stored sequencing data as scientific knowledge evolves and flags variants with newly actionable evidenc…
92% of students and education leaders, and 88% of educators, have already used AI for school-related purposes.1 While AI use in schools is already widespread, the next question is whether it’s supporting learning and critical thinking, not