Inside the frontier lab’s push to bring AI agents from software engineers to the masses.
Category: AI
ProofJudge: Tool-Grounded LLM Evaluation of Formal Proof Quality in Mathlib
arXiv:2608.20432v1 Announce Type: cross Abstract: Formal proofs in Lean 4 that pass the kernel’s type checker can nonetheless vary widely in quality. We…
LingShu: A Large-Scale Symptom-Centric Contextualized Knowledge Graph Bridging Traditional Chinese Medicine and Modern Biomedicine
arXiv:2608.20402v1 Announce Type: cross Abstract: Biomedical knowledge graphs (KGs) are pivotal for knowledge organization, yet traditional binary…
How to encourage smarter AI use in the classroom
This article is from Making AI Work, MIT Technology Review’s limited-run newsletter examining how to apply LLMs across industries. To receive it in your…
Six misconceptions about large language models: A minimal model and diagnostic taxonomy
arXiv:2608.20421v1 Announce Type: cross Abstract: Large language models (LLMs) are now embedded in scientific, educational, and governance workflows, with…
AI Fluency is the Workforce Skill Organizations Can’t Afford to Ignore
Organizations are rapidly expanding their use of AI, but access is outpacing workforce capability. Research from Google and Ipsos found that while 40% of…
From Thermal Preference Prediction to Adaptive Thermal Intervention: A Reinforcement Learning Approach Using Physiological and Environmental Sensing
arXiv:2608.20423v1 Announce Type: cross Abstract: Personalised thermal comfort is essential for occupant wellbeing and for the development of more…
Why AI Companies are Racing to Confess Security Flaws
In almost any other industry, “our product broke into another company’s systems” is the kind of incident an organization would work hard to keep quiet.…
Rigorous Evaluation of Large Language Models for Malaria Drug Discovery: Trade-offs in Performance, Scale, and Resource Utility
arXiv:2608.20418v1 Announce Type: cross Abstract: We introduce Malaria-Instruct, a curated instruction-following dataset derived from the ChEMBL Legacy…
Javed Khan, CEO of Neat – Interview Series
Javed Khan, CEO of Neat, is a technology executive with more than two decades of leadership experience spanning enterprise collaboration, intelligent…