Are we saying 'It's correct because the AI said so'? Thinking about AI that proves and 'mathematics in the mind' from Alain Connes' warning

After returning test papers, I sometimes have exchanges like this.'How did you solve this problem?' 'I asked the AI.' 'That's ...
BIOENGINEER

New Graph Alignment Method Matches Users Across Networks Without Any Labelled Data

Researchers have developed IGA, an unsupervised graph alignment framework that uses isomorphism-aware neural networks to ...
OfficeChai

OpenAI Releases Over 300 Mathematical Results Produced By An Internal Model

AI is now generating so many mathematical results they’re now being dumped en masse, instead of being shared individually.
pharmaphorum

Isomorphic raises $2.1bn for AI drug hunt

Isomorphic Labs' chief executive, Sir Demis Hassabis, delivering his Nobel Prize lecture in 2024. Alphabet-backed start-up Isomorphic Labs has added to the lustre attached to its AI-powered drug ...
pharmaphorum

Alphabet's DeepMind forms AI drug discovery unit Isomorphic Labs

Google parent Alphabet has drawn on its DeepMind artificial intelligence division to form a drug discovery unit that it calls Isomorphic Labs. The UK-registered company will be able to tap into ...