AI is becoming a collaborative tool in mathematical research and software verification.
The AI Innovator
An opinion piece by the founder and CEO of OORT and Columbia University adjunct professor
An interview with Stiene Riemer, managing director and partner at BCG
An op-ed by the head of AI strategy and innovation at Schneider Electric
The president's AI action plan seeks to export 'American values' while removing 'ideological bias' in AI systems made at home.




