A mathematician compared the feat to the history-making chess competition in which IBM’s Deep Blue computer beat Garry Kasparov in 1997
"Today may go down as the biggest day in math in at least two decades, if not far longer." https://www.scientificamerican.com/article/ai-may-have-just-solved-a-million-dollar-math-problem-the-field-will-never-be-the-same/ ... according to Buckmaster, the proof’s origins may be murkier than they seem. In the same statement, he wrote that he and Levent Alpöge, a mathematician and an Anthropic employee, made significant progress toward the problem last month. But before the pair could publish, Buckmaster alleged in the statement, rumors of their method reached OpenAI, where researchers used the company’s large language model (LLM) to finish the job with a single prompt. The prompt “had been sent in the past few days, after information about our work had reached OpenAI,” Buckmaster alleged. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiiXWekK_5-vPcoeoYxo2dO%2Buk6n0y1eKqVBa4cEMq%3DyQ%40mail.gmail.com.
