Eu não acho que tudo é propaganda. Não entendo o suficiente para saber o significado do que está no PDF.
Eu acho que são empresas que não dão lucro (OpenAI e Anthropic) e que, mesmo que isso aí dê certo, não vão conseguir dar lucro *com isso*. Ou seja, sendo propaganda ou não, não parece ser uma estratégia muito esperta. Adolfo Neto Associate Professor - Federal University of Technology, Paraná Web: *https://adolfont.github.io/ <https://adolfont.github.io/>* Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br Em dom., 2 de ago. de 2026, 10:55, Walter Carnielli <[email protected]> escreveu: > Oi Márcio, > > Adolfo scha que tudo é só propaganda-em parte é nesmo, "pastel de vento", > mas na hora em que as IAs conseguirem formular um equivalente ao Prograna > de Erlangen.aquela 'profecia'.do meu a,rtigo que voce citou: > > https://revistas.pucsp.br/index.php/circumhc/article/view/55033 > > começará a ser cumprida! > > Quer dizer, a crença não justificada que nem precisa ser verdadeira não é > nem "esperança.", é superstição :-))) > > Abraços, > W. > > ======================== > Walter Carnielli > CLE and Department of Philosophy > University of Campinas –UNICAMP, Brazil > > AI2- Advanced Institute for Artificial Intelligence > Blog https://waltercarnielli.com/ > > > Em sáb., 1 de ago. de 2026 16:32, Adolfo Neto <[email protected]> > escreveu: > >> Não vejo assim. >> Há um desespero para tentar dar lucro. >> Estão atirando para todos os lados. >> Por enquanto, não está dando certo. >> Torço pelo fracasso e que esqueçam disso. >> Google já "largou mão" do AlphaFold >> https://www.youtube.com/watch?v=BuiEVOSTbN4&feature=youtu.be >> >> On Sat, Aug 1, 2026 at 3:31 PM Walter Carnielli < >> [email protected]> wrote: >> >>> https://cdn.openai.com/pdf/ten-proofs-oai.pdf >>> >>> >>> "Ten Advances in Mathematics >>> and Theoretical Computer Science" >>> By OpenAI >>> >>> >>> Será que ninguém está notando? >>> >>> W. >>> >>> >>> >>> Walter Carnielli >>> CLE and Department of Philosophy >>> University of Campinas –UNICAMP, Brazil >>> >>> AI2- Advanced Institute for Artificial Intelligence >>> Blog https://waltercarnielli.com/ >>> >>> >>> >>> >>> >>> >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica <[email protected]> >>> --- >>> Você recebeu essa mensagem porque está inscrito 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/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> >> >> -- >> Adolfo Neto >> Associate Professor - Federal University of Technology, Paraná >> Web: *https://adolfont.github.io/ <https://adolfont.github.io/>* >> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> Você recebeu essa mensagem porque está inscrito 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/CANspyYU%3D_xdxdv5tSY3uUn4b9muir3x%2BDbGTMgDVgE23oAXDEQ%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYU%3D_xdxdv5tSY3uUn4b9muir3x%2BDbGTMgDVgE23oAXDEQ%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- 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/CANspyYUrrAQMuco%2Btw0kZKckEdOtqi5GL3HREuTq8cnW6fEdJw%40mail.gmail.com.
