What is "Bend 2": A Parallel and Formal Verification Language for the AI Agent Era

Bend 2 is a programming language that uses mathematical proofs to machine-verify the correctness of AI-generated code and executes it in parallel on GPUs and CPUs. It presents a new development method ...
Columbia University School of Professional Studies

How Columbia’s Actuarial Science Program Helped Launch Roberto Valdez into AI

After discovering machine learning at Columbia, alumnus Roberto Valdez found an unexpected new direction for his career. Today, as a machine learning engineer at Google, he continues to draw on ...

Do AI Employees 'Get Smarter the More You Use Them'? Investigating the New Overseas Technology 'Reef'

If you entrust daily tasks to an AI, it can learn from its mistakes and perform a little better the next day. Is it possible to create such an 'AI employee'?On September 15, 2026, the development team ...