News
Research & Science
Papers, breakthroughs and what the labs found this week.
592 stories · Every headline links to the original publisher. HapnGo curates and groups; we do not copy articles.
Proof-based general-purpose computing with Magnetar
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring…
GPT-6-Astra solves 49 of 50 physics research problems at $2.40 apiece
On the TheoPhysEval benchmark, GPT-6-Astra solves 49 of 50 unpublished theoretical physics calculations as accurately as leading…
Your secrets aren’t safe with this cute robot toy — they’re on Chinese servers ready to be hacked
There's a new digital pet in town - a cute little marshmallow of a robot that can change its cartoony expressions to match your…
What if AI companies aren't using our chats for training, but for something else?
I've been thinking about the whole "turn off model training" thing, and there's something about it that bothers me. Let's assume…
Learning Intrinsic Dynamics in Latent World Models
Learning intrinsic dynamics---the relationship between actions and their consequences---is essential for world models. However…
LOADBench: A Large Open Analog Dataset and Benchmark for Machine Learning in IC Design
Machine learning (ML) for analog IC design is constrained by limited open data and the absence of standardized evaluation…
AVALON: Zero-Shot Indoor Navigation with Human-Seeded Topological Memory
Indoor service robots often enter unmapped buildings whose layouts and task constraints are already familiar to users. We address…
ClaimScope: Label-Blind Witness Verification for Mathematical Claim Auditing
Mathematical agents are commonly evaluated by answer accuracy or proof acceptance. We introduce ClaimScope, a 72-task benchmark…
Learning to Search for Executable Patternmaking from Certified Programs
Recent models generate sewing patterns from images or text, and program-based representations make these patterns executable…
Plan or Retrieve First? A Scale Study of Tool Discovery Architectures
Tool-augmented LLM agents discover relevant APIs from large registries before planning execution, yet finite context windows…
AI Came for Math. Now It’s Chasing the Rest of Science
AI may soon be the default way to solve theoretical problems in economics, high-energy physics, and other fields, MIT researchers…
Modeling and Understanding Neural Weights of Humanoid Policies with Diffusion
Recent advances in robot learning have driven rapid progress in humanoid control, enabling increasingly agile behaviors in the…
Your Transformer Is Secretly Elastic
Scaling up transformers has produced models with broad capabilities, deployed across heterogeneous hardware and fluctuating…
Continuum Attention
We introduce Continuum Attention (CA), a causal Transformer attention operator that replaces discrete key and value lookup with…
Player-1: Learning to Play from Synthetic Experience
Computer-use agents have demonstrated strong capabilities in interpreting screens and executing keyboard and mouse actions…
One Task, Many Interfaces: Simple Cross-Interface Consistency Training Improves LLM Agent Robustness
Post-training binds the competence of an LLM agent to the interface it was trained on. Semantics-preserving perturbations of that…
Researchers use AI to design proteins that cut up other proteins
AI design tools make proteins that break bonds that are stable for hundreds of years.
There’s Nothing Mysterious or Unusual About the Viral German Sexual Harassment Robot
Livestreamers used a robot to harass a woman for social media clout on the street in Germany.
OpenAI, Google pushing new AI models easily tricked into making nudes, researchers say
Attack method exposes flaws in OpenAI, Google safeguards against AI nudes.
Euler: Towards Human-Centered Multi-Agent Mathematical Discovery
Mathematical research drives scientific discovery, and recent advances in AI for mathematics have shown that language-model…
On the Optimisation Landscape of Overparameterised Weighted MMD
We study the optimisation landscape of the maximum mean discrepancy (MMD) over weighted atomic measures. For the one-dimensional…
Free, daily
The HapnGo Briefing, in your inbox
One email a day with the AI stories that matter, why they matter, and one tool worth trying. No spam, one-click unsubscribe.