Matemática de AI

A OpenAI diz que 10.000 agentes de IA resolveram um problema matemático de US$ 1 milhão em 88 horas, levantando questões sobre prova, verificação e pesquisa em IA.

A IA Aletheia da DeepMind alcança um avanço ao resolver 13 problemas de Erdős notoriamente difíceis, demonstrando uma colaboração sem precedentes entre IA e seres humanos na pesquisa matemática avançada.