A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

Cracking the code: How a 'prediction machine' is resurrecting the Singapore Stone

Several years ago, my linguistic research team and I began developing a computational tool we call "Read-y Grammarian." Our ...
Scientific American

Poetry was humanity’s first language technology. AI is the next

Poetry and artificial intelligence can appear as opposites—one deeply human; the other cold and mechanical. Sasha Stiles sees them as expressions of the same impulse. Poetry, the Kalmyk- American poet ...