Bem-vindo aos prompts de do ! Se você é um vencedor real de um prêmio ou simplesmente se sente como um vencedor hoje, o link para o modelo está . escrita HackerNoon AQUI Ei hackers! Sou Sharad Sundararajan, um entusiasta de IA e empresário da EdTech (cofundador e líder em software da ). Merlyn Mind Merlyn é o assistente digital do professor, uma solução criada para devolver o tempo aos professores, de trabalho e -os da frente da sala de aula. multimodal automatizando seus fluxos desconectando Gostaria de agradecer primeiramente à comunidade pela e um enorme agradecimento a todos os leitores por votarem e me reconhecerem como o vencedor do . HackerNoon nomeação HackerNoon Contributor of the Year - MATEMÁTICA Reporter: O que significa para você ganhar este título? HackerNoon Mais visibilidade para o tópico de IA em lógica e matemática, especificamente uma área que tem uma história longa e rica, mas ainda não recebe tanta atenção popular quanto (digamos) visão computacional, reconhecimento de fala, PNL ou carros autônomos podem. Prova de Teoremas Automatizada (ATP), Muito progresso no ATP pode ser atribuído a aplicações do mundo real, como verificação formal em hardware e software (por exemplo, controle de espaçonaves, criptografia RSA…), mas ainda há um longo caminho a percorrer. Em um descrevendo como uma IA que pode gerar novas fórmulas matemáticas, um dos matemáticos George Andrews captura apropriadamente o estado do ATP: artigo recente da Nature a Máquina Ramanujan “… embora os computadores possam apresentar afirmações matemáticas e até mesmo provar que são verdadeiras, sem intervenção humana, não está claro se eles serão capazes de **distinguir afirmações profundas e interessantes das meramente tecnicamente corretas. ** “Até que eu possa detectar um 'senso de gosto matemático' bem desenvolvido na IA, espero que seu papel seja o de uma ferramenta auxiliar importante, não o de descobridor independente.” Agora, há esforços ganhando popularidade, como o GPT-f, onde o OpenAI está explorando modelos de linguagem baseados em transformadores para ATP, mas o júri ainda não decidiu se direcionalmente isso gerará etapas de inferência significativas. A ATP ainda parece ser um nicho esotérico da IA e espero que isso desperte o interesse de um público mais amplo. Pessoalmente, como um entusiasta amador do ATP, é encorajador receber uma cutucada da comunidade de tecnologia para continuar. Como você ou sua empresa pretende abraçar a responsabilidade desse título em 2022? Nós da nos mantivemos muito próximos dos principais avanços na interseção de interações multimodais (voz, toque, controle remoto…) e IA (fala, PNL, representação do conhecimento…), mas com um foco inabalável em facilitar a vida dos professores a sala de aula. Merlyn Mind Como a IA é aplicada a aplicativos do mundo real é fundamental para nossa missão e vejo isso como outro impulso para nossa busca por IA em educação, matemática e educação matemática. Quais são algumas das metas que você espera alcançar em 2022 (seja por meio de iniciativas da empresa ou de sua jornada pessoal)? Os professores estão sobrecarregados por ter que tomar várias decisões por dia sobre vários tópicos, incluindo, entre outros, sua abordagem pedagógica, gerenciamento de sala de aula, tecnologia ou tarefas. Qualquer coisa que possamos fazer para descarregar algumas tomadas de decisão, reduzir o estresse e evitar o esgotamento será um longo caminho. Por isso, uma das metas para 2022 é levar Merlyn (o assistente digital) a mais professores para ajudá-los a fazer o que fazem de melhor, ensinar e acender esse fogo em todos os alunos para construir um futuro melhor. Pessoalmente, gostaria de concluir a terceira e última parte da série sobre Centaur Theorem Provers este ano. Ao observar a variedade de tendências preocupantes no mundo ao seu redor, em que soluções você consegue pensar? Cite três tendências e três soluções. Seja tão breve ou detalhado quanto quiser. Três tendências relativas: Lacuna na formação de professores em todo o mundo. (D/M) é informação. Fosso digital. Lacuna na Formação de Professores O ODS-4 (Objetivo de Desenvolvimento Sustentável-4) das Nações Unidas afirma . “Assegurar uma educação de qualidade inclusiva e equitativa e promover oportunidades de aprendizagem ao longo da vida para todos” E os professores são fundamentais para alcançar as metas do ODS-4. No entanto, nem todos estão igualmente bem preparados para o trabalho. Conforme indicado nesta ( ), a lacuna na qualificação de professores em algumas regiões (em particular na África Subsaariana) é extremamente preocupante. ficha informativa do Dia Mundial dos Professores de 2021 da UNESCO Figura 1 Algumas estatísticas da acima que são muito reveladoras: fonte “Globalmente, 83% dos professores primários e a mesma proporção de professores secundários possuíam as qualificações mínimas exigidas. No primário, essa proporção varia de 98% no Sudeste Asiático a 67% na África Subsaariana, enquanto no secundário varia de 97% na Ásia Central a 61% na África Subsaariana.” “Na África Subsaariana, a proporção de professores com as qualificações mínimas exigidas tem diminuído desde 2000, de 84% para o primário e 79% para o secundário devido ao número crescente de provedores de educação privada/comunitária, recrutamento de professores contratados e orçamentos limitados. ” Uma tendência relacionada é a de os professores abandonarem a profissão devido ao esgotamento e aos baixos salários. , por exemplo, está vendo uma baixa de 15 anos no número de matrículas de professores. (A fonte da Figura 2 , uma organização sem fins lucrativos que cobre notícias sobre educação nos EUA) A Teach for America é Chalkbeat Pode não haver uma bala de prata para resolver todos os problemas, mas algumas direções importantes nas quais precisamos investir são: Aumentar e melhorar o doméstico e a ajuda internacional para a formação de professores. Consulte para esforços relacionados. a conscientização financiamento Força-Tarefa Internacional sobre Professores para Educação 2030 Programas eficazes (DP). Sempre há vários objetivos e prioridades competindo pelo tempo, energia e atenção dos professores, portanto, é necessário mais esforço para e permitir o aprendizado prático com um ciclo de feedback em que os professores possam monitorar seu PD. de Desenvolvimento Profissional integrar cuidadosamente o PD aos fluxos de trabalho do professor . Direcionalmente, isso está muito de acordo com o próprio lema da Merlyn Mind de “ ”. O Merlyn permite que os professores se desloquem pela sala de aula sem comprometer o acesso à tecnologia (tanto de hardware quanto de software). IA para DP IA para as pessoas que constroem um futuro melhor Os professores podem controlar o monitor e seu próprio laptop na frente da sala usando entrada multimodal (voz de campo distante no hub AI, controle remoto com entrada de voz de campo próximo, um mouse aéreo, um teclado direcional etc.). Mas uma das funções mais críticas do Merlyn é permitir microautomações dos fluxos de trabalho dos professores para economizar tempo e esforço. Assim, os professores podem pular diretamente para os aplicativos educacionais em seus laptops e compartilhar o material com toda a turma com a mesma facilidade com que podem alternar as exibições com um clique ou um comando de voz. Mas existem alguns esforços focados em IA para DP, como que tenta personalizar o conteúdo de acordo com os objetivos do professor. Como parte de seus ciclos de treinamento, os professores experimentam mudanças nas salas de aula e monitoram seu próprio PD, um importante ciclo de feedback. o AI Coach de Edthena, Os assistentes digitais são o futuro e precisamos adotá-lo e investir muito mais em IA para DP para acelerar a redução da lacuna no treinamento de professores. (Des/Des)informações Outra tendência preocupante são as fake news, ou seja, a disseminação intencional ou não intencional de informações falsas. Isso é particularmente preocupante quando esforços esporádicos se transformam em esforços sistematicamente organizados, levando a campanhas de desinformação que podem ser prejudiciais para países inteiros. mostra um aumento na frequência anual com que os jornais proferem a frase “notícias falsas” e, como afirma este , “indiscutivelmente tornaram-se mais familiares - e, portanto, mais críveis – suas falsas conotações.” A Figura 3 artigo da revista PNAS intitulado “Públicos científicos, desinformação e notícias falsas” A Nature publicou este artigo em 2020 intitulado ' ”no qual foi feita uma análise comparativa da atividade do usuário em cinco diferentes plataformas de mídia social durante a emergência do COVID-19. The COVID-19 social media infodemia Os autores mapearam as proporções (coeficientes de regressão) de postagens e engajamentos questionáveis versus confiáveis. Em uma das fontes (Gab), o volume de posts questionáveis era apenas cerca de 70% do volume dos confiáveis, mas o volume de engajamentos para posts questionáveis era quase 3 vezes maior que o volume dos confiáveis! Os autores sugerem que o Gab é um ambiente mais suscetível à disseminação de desinformação. Sua análise também sugere que “ ”. a disseminação de informações é impulsionada pelo paradigma de interação imposto pela mídia social específica e/ou pelos padrões de interação específicos de grupos de usuários engajados com o tópico Concluem que os principais vetores de disseminação da informação estão relacionados às peculiaridades específicas de cada plataforma e dependem da dinâmica de grupo dos indivíduos engajados com o tema. deepfakes Em 2017, um usuário do Reddit chamado 'deepfakes' usou aprendizado profundo para trocar rostos de celebridades com vídeos inapropriados e postá-los online. A busca pela palavra “deepfake” em todo o mundo nas tendências do Google resulta na seguinte tendência: As publicações sobre deepfakes dispararam. Aqui estão algumas linhas do tempo, uma de uma e outra da que deve nos fazer revisitar nossas ferramentas para discernir a diferença entre real e falso. publicação sobre mídia sintética do Departamento de Segurança Interna revista Data & Society Está ficando progressivamente mais difícil dizer a diferença. Se você estiver interessado em mergulhar fundo em como os deepfakes são criados, aqui está uma excelente . Os autores mostram como, com uma combinação de apenas algumas estruturas básicas de redes neurais ( ), os deepfakes podem ser detectados e criados ( ). pesquisa abrangente da Georgia Tech Figura-9 Figura-10 Também a partir dessa os autores apresentam um ( ) que fornece uma estrutura útil para pensar sobre notícias verdadeiras versus notícias falsas. pesquisa, gráfico de confiança da informação Figura 11 Correndo o risco de dizer o óbvio, para começar basta usarmos nosso bom senso e sermos mais vigilantes, usarmos instrumentos mais lógicos como contra-argumentos e argumentação paralela para expor absurdos. Mas, dada a sofisticação dos ataques de desinformação, precisamos de uma abordagem multifacetada que inclua (mas não se limite a): Uma para as empresas de tecnologia combaterem isso. Um bom exemplo é o que retorna uma pontuação de confiança de quanto a mídia (foto, vídeo) é manipulada artificialmente. chamada à ação Microsoft Video Authenticator Verificadores de fatos /IA com humanos no circuito para obter um consenso distribuído. algorítmicos Fosso digital A divisão digital não foi tão pronunciada quanto durante a pandemia, quando a educação infantil foi prejudicada com a falta de conectividade com a Internet e a disponibilidade de computadores. Embora a disponibilidade esteja em primeiro lugar quando discutimos a divisão digital, existem outras dimensões que caracterizam a divisão, como acessibilidade (custo, % da renda paga pelo acesso), qualidade do serviço (velocidades de upload/download), gênero (ver and the ), segurança, interconectividade ou alfabetização digital. estatísticas de ITU Gender Digital Divide Index Esta imagem do mostra a disparidade na adoção da Internet em todo o mundo. Relatório Global Digital Overview de 2022 Aqui está outra visualização ( ) mostrando a tendência em que os países em desenvolvimento não estão crescendo em adoção tão rápido quanto os desenvolvidos. Figura 13 revela ainda a disparidade entre as populações urbanas e rurais, mesmo nas nações desenvolvidas. A Figura 14 Sem dúvida, já existem vários esforços fantásticos para reduzir a divisão digital. Será bom ver uma abordagem mais holística para expandir o acesso, incluindo esforços como LTE privado para cobrir a última milha e redes comunitárias como (um dos primeiros esforços de wi-fi sem fins lucrativos), especialmente para as comunidades carentes. Metamesh Olhando para os em 2022 ( , devemos olhar para o avanço das experiências de aprendizagem móvel. Também precisamos contornar os atrasos da cadeia de suprimentos para manter a continuidade no acesso ao dispositivo. dados de propriedade do dispositivo Figura-15) Uma menção honorária (e potencialmente muito cara) é a tendência muito preocupante de aumento dos custos de danos de . ransomware Aqui está um prevendo que os custos de danos de ransomware atingirão US$ 265 bilhões até 2031. instantâneo da Cybersecurity Ventures Espera-se que os custos globais do cibercrime cheguem a impressionantes ! US$ 6 trilhões até 2025 Depois de participar desta jornada, há algo que você gostaria que a equipe soubesse? HackerNoon Vocês estão fazendo um excelente trabalho incentivando os entusiastas da tecnologia a participar e se envolver com a comunidade. O que há de especial em você ou em sua empresa que você raramente teve a chance de compartilhar adequadamente, mas realmente queria? (Dê a este um bom pensamento, eu saberei se você não o fez!) A coisa mais especial que posso dizer sobre são as pessoas. Internamente, temos uma equipe incrível e talentosa movida pela missão. Merlyn Mind Igualmente especiais são nossos usuários finais (educadores, administradores/diretores de TI, parceiros) que acreditamos ser nossa equipe estendida e colaboradores nesta jornada! Pessoalmente, tenho uma queda por comida picante, algo que muitas pessoas devem saber. O que pode ser menos conhecido é o certificado que recebi pelo meu “ ” que (me deixe louco) estranhamente eu anuncio com orgulho! julgamento duvidoso Como fã de Man Vs Food de Adam Richman, decidi tentar uma de suas façanhas - o e concluí o desafio com sucesso e entrei no 'P'hall of Fame! desafio Phall Curry Os chefs usam máscaras de gás quando cozinham, pois aparentemente usam vários tipos diferentes de pimenta! Então, sim, duvidoso está certo. À esquerda ( está uma foto não relacionada (ao Phaal) de um restaurante na China que servia comida Schezwan. A parte louca é que tudo flutuando em cima é uma pimenta e estava delicioso. Figura 18) Que música ou álbum de música você está curtindo atualmente? Hoje em dia, tenho o Pandora ligado com diferentes estações e descarrego a escolha para a máquina. Quais são alguns conceitos sobre os quais você gostaria que as pessoas soubessem mais? Não tenho ideia de quais conceitos as pessoas já conhecem, mas posso mencionar alguns que me serviram bem. Observe que nenhum deles é original, mas eles influenciaram meu pensamento. As ideias gêmeas: computacional e estoicismo computacional. bondade como múltiplas formas de pensar Múltiplas Representações As Ideias Gêmeas Encontrei essas ideias pela primeira vez no livro de Brian Christian e Tom Griffiths, “ . Aqui estão as : Algorithms to live by” definições “ é um princípio de design que usa a ciência da computação para identificar áreas em que tarefas aparentemente simples criam muito trabalho complexo para as pessoas que devem realizá-las e toma medidas para reduzir essas despesas gerais.” A bondade computacional “O é o uso da ciência da computação para identificar os limites da certeza nas decisões difíceis que todos devemos tomar no curso de nossas vidas e para nos ajudar a ter tanta certeza quanto é prático nessas áreas - enquanto deixamos de lado o eu -dúvida que vem de nos perguntarmos se poderíamos encontrar mais certeza trabalhando mais. estoicismo computacional As máquinas tentam ser computacionalmente gentis absorvendo grande parte da complexidade. Isso se aplica igualmente bem aos humanos, onde podemos facilitar (simplificando) que outros consumam nossos pensamentos e palavras. Quando deixamos de fazer isso, estamos sendo computacionalmente indelicados. Múltiplas Representações Uma das muitas definições da palavra representação que me acompanha há quase duas décadas é . Compromisso Ontológico No momento em que escolhemos representar ou modelar o mundo/sistema, nos com uma compreensão dele, uma possibilidade funcional ou estrutural. comprometemos Mas para entender o mundo em sua totalidade é preciso sondá-lo com o maior número de ferramentas possível, usar o máximo de linguagens e níveis de abstração disponíveis e gerar o máximo de teorias que possam ajudar a explicar os diferentes fenômenos do mundo. Vamos pegar este na Figura-19. exemplo de Física do problema de dinâmica A mesma ideia de um elevador desacelerando ao subir pode ser representada de forma qualitativa, uma forma semi-qualitativa com vetores para descrever conceitualmente o problema e uma forma quantitativa com símbolos e equações para codificar abstrações, regras, teorias, tudo para resolver problemas do mundo real. Cada um fornece um nível diferente de expressividade. Uma ideia relacionada, mas maravilhosa, de Bret Victor de mais de uma década atrás são em que a alteração de uma representação afeta outras. Para um aluno, esta é uma ferramenta muito poderosa. Eu encorajo os leitores a dar uma olhada . Um trecho de seus escritos que explica a ideia lindamente: as Explicações exploráveis, aqui "É tentador ficar impressionado com a novidade de um widget interativo como este, mas a interatividade em si não é realmente o ponto. O ponto principal deste exemplo - o motivo pelo qual o chamo de "explicação explorável" - é a sutileza com o qual o explorável é integrado com a explicação" - Bret Victor Gostaria de deixar uma citação simples, porém poderosa, de George Polya (matemático) sobre o mesmo assunto: "É melhor resolver um problema de cinco maneiras diferentes, do que resolver cinco problemas diferentes de uma maneira" Obrigado por tudo que você faz! – Equipe . HackerNoon Para maiores informações: Leia sobre o Noonies aqui . Para ver todos os vencedores, você pode visitar esse site , escolha qualquer prêmio e visualize o nome que aparece na parte superior. Ou siga esta conta para postagens com a lista de nomes divulgada ao longo da semana de 14 de fevereiro de 2022. Leia as perguntas frequentes sobre Startups aqui ou aqui . Para ver todos os vencedores, você pode visitar esse site , escolha qualquer cidade e visualize o nome que aparece na parte superior. Ou siga esta conta para postagens com a lista de nomes divulgada ao longo da semana de 14 de fevereiro de 2022. Agradeça a todos os seus patrocinadores! Nós realmente apreciamos sua contribuição para o mundo da tecnologia e, portanto, para o futuro! Iniciantes : Bloqueador , brex , FreeCodeCamp , LaunchDarkly , Bobina , Udacity , Udemy , Vercel , Rede Transgênero da Ásia-Pacífico , Bybit , Rede Everscale meio-dia : Os Prêmios Noonies são patrocinados por: Bybit , avast , Domínios TECH e hospedado por: HackerNoon