Safety
neurosymbolic by @swarat et al for the Erdos win, with much more careful, quantitative work than openai’s in hindsight i wonder whether Open…
neurosymbolic by @swarat et al for the Erdos win, with much more careful, quantitative work than openai’s in hindsight i wonder whether OpenAI rushed theirs out, knowing this was coming? Another 9 ope
neurosymbolic by @swarat et al for the Erdos win, with much more careful, quantitative work than openai’s in hindsight i wonder whether OpenAI rushed theirs out, knowing this was coming? Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.
Source: Gary Marcus (X) | 2026-05-24