What AI contributes, and what it does not, when it is applied to problems in science and mathematics.
Latest article Science and mathematics
OpenAI has published 722 manuscripts with results on open problems in mathematics. What they contain, which ones would really matter, what a machine has checked and what is still pending.
From the imitation game of 1950 to experiments with current models: what the Turing test measures and its place in AI research.
OpenAI says it has solved more than a hundred open problems and part of the mathematical community responds with a letter. What is being debated, what is being asked and what we think at Codin.
A fly connectome opens a still speculative debate: whether an emulation could feel, and what obligations we would have if it did.
OpenAI claims to have solved Navier–Stokes. Beyond the authorship dispute, its construction with external forcing would leave a fundamental question open.
