Everlearn

Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"

On October 26, OpenAI announced a claimed "bare existence" proof in Balaban's RG programme on pure R^4—but notably stop…

Guidify AI

Corporate training

Play2Learn

AI-powered game platform for corporate training and lifelong learning.

Eloqueny -

AI-powered corporate training platform for essential communication skills.

Cognii

AI virtual learning assistant that uses conversational pedagogy to tutor students through open-response questions acros…