De modellen losten vijf van de zes extreem moeilijke wiskundige vraagstukken op. Waar eerdere pogingen met formele wiskundige talen werkten, kozen beide bedrijven dit keer voor modellen die in natuurlijke taal redeneren,…
De modellen losten vijf van de zes extreem moeilijke wiskundige vraagstukken op.