A maior reunião mundial de matemáticos se reuniu em Seattle de 8 a 11 de janeiro a 11 de janeiro – 5.444 matemáticos, 3.272 negociações. Este ano, o programa divergiu um pouco do tradicional panorama caleidoscópico. Um tema oficial, “Matemática na era da IA”, foi estabelecido por Bryna Kra, presidente da Sociedade Matemática Americana, que organiza o evento em colaboração com 16 organizações parceiras. Em uma configuração ou outra, a reunião, convocada para as reuniões de matemática conjunta, ou o JMM, é mantida mais ou menos anualmente por mais de um século.
O Dr. KRA pretendia o tema da IA como um “alerta”. “A IA é algo que está em nossas vidas, e é hora de começar a pensar em como isso afeta seu ensino, seus alunos, sua pesquisa”, disse ela em entrevista ao The New York Times. “O que significa ter IA como co-autor? Esses são os tipos de perguntas com as quais temos que lidar. ”
Na segunda noite, Yann Lecun, cientista-chefe da IA da Meta, deu uma palestra intitulada “Obstáculos matemáticos no caminho para a IA no nível humano” o Dr. Lecun se envolveu um pouco nas ervas daninhas técnicas, mas havia petiscos digeríveis.
“O estado atual do aprendizado de máquina é que ele é péssimo”, disse ele durante a palestra, muito rindo. “Não importa os humanos, não importa tentar reproduzir matemáticos ou cientistas; Não podemos nem reproduzir o que um gato pode fazer. ”
Em vez dos grandes modelos de linguagem generativos que alimentam chatbots, ele argumentou, um “em larga escala Modelo MundialSeria a melhor aposta para avançar e melhorar a tecnologia. Tal sistema, disse ele em uma entrevista após a palestra: “pode raciocinar e planejar porque tem um modelo mental do mundo que prevê conseqüências de sua ação”. Mas há obstáculos, ele admitiu – alguns problemas matematicamente intratáveis, suas soluções em nenhum lugar à vista.
Deirdre Haskell, diretor do Fields Institute for Research em Ciências Matemáticas em Toronto e matemática da Universidade McMaster, disse que apreciava o lembrete do Dr. Lecun de que, como ela se lembrava: “A maneira como usamos o termo ai hoje é apenas uma maneira de possivelmente tendo uma ‘inteligência artificial’. “
O Dr. Lecun observou em sua palestra que o termo inteligência geral artificial, ou AGI-uma máquina com inteligência em nível humano-era um nome impróprio. Os seres humanos “não têm inteligência geral”, disse ele. “Somos extremamente especializados.” O termo preferido em Meta, disse ele, é “Inteligência Avançada de Máquina” ou Ami – “Nós pronunciamos ‘ami’, que significa amigo em francês”.
A Dra. Haskell já foi vendida sobre a importância de “usar a IA para fazer matemática e o enorme problema de entender a matemática da IA” uma especialista em lógica matemática, ela planeja usar um programa de provador de teorema para criar o equivalente a um livro didático : Uma coleção de resultados que podem ser usados pelos sistemas de IA para gerar e verificar pesquisas e provas matemáticas mais complexas.
Para Kenny Banks, graduação da Universidade da Carolina do Norte em Greensboro, que participou do JMM, a inteligência artificial não apela como uma ferramenta para orientar a exploração. “Acho que a matemática que as pessoas amam atualmente são motivadas pela curiosidade humana, e o que os computadores acham interessante não podem ser os mesmos que o que os humanos acham interessante”, disse ele em um email. No entanto, ele se arrependeu de não espremer nenhuma conversa relacionada à IA em seu itinerário. “O tema Math + AI foi definitivamente interessante, acabou não trabalhando com todas as coisas que eu havia planejado!”
Aqui estão alguns outros destaques do Mathapalooza em Seattle:
Dia 1
Às 18h de quarta-feira, 8 de janeiro, após uma cerimônia de corte e premiação, os participantes carimbaram a recepção de abertura em uma sala de exposições. O empate era a) comida gratuita e b) estandes de expositores ocupados por editores e fornecedores de vários produtos de Mathy. No estande 337, Robert Fathauer estava vendendo um impressionante inventário de dados – incluindo o novo “5-Player Go First Dice”Um conjunto colorido de cinco dados de 60 lados que não compartilham nenhum número em comum, permitindo que cinco jogadores de jogo um tiro igual quando eles rolam para determinar quem começa primeiro. O Dr. Fathauer, com sede no Arizona, também foi co-organizador da exposição de arte da reunião e contribuiu com duas esculturas de cerâmica, “helicóide hiperbólico” e “aperto cúbico”.
Os premiados envios de arte premiados da exposição foram “Saddle Monster”, crochê em lã, cobre e nylon, por Shiying Dong de Greenwich, Connecticut, um artista matemático com um Ph.D. em física…
… E “Twisted” e “Untwisted”, criado usando um aplicativo de gráficos vetoriais em um iPad, de Rashmi Sunder-Raj, um artista matemático em Waterloo, Ontário.
Rebecca Lin, Ph.D. O aluno em ciência da computação no MIT, recebeu uma menção honrosa por uma gravura a laser em papel intitulada “Desintegração (estado de espírito)”.
Dia 2
Na quinta -feira, Jon Wild, teórico da música da Universidade McGill, em Montreal, que faz matemática ao lado, foi convidado para uma sessão sobre matemática aplicada para discutir suas investigações sobre “Contando acordos de círculos” no avião. Dadas certas restrições, há uma maneira de desenhar um círculo, três maneiras de desenhar dois círculos, 14 maneiras de desenhar três, 173 maneiras para quatro e 16.951 maneiras de desenhar cinco. (A enumeração de seis círculos ainda está para ser calculada.) O Dr. Wild ficou surpreso ao saber que essa pesquisa era relevante para a impressão 3D: ou seja, como várias cabeças de impressora poderiam rastrear arcos circulares, evitando colisões. “Fiquei fazendo cócegas”, disse Wild.
Durante uma sessão sobre matemática e artes, Susan Goldstine, matemática do St. Mary’s College of Maryland, lecionou sobre seu projeto de artesanato “Poincaré Blues”. Nomeado para o matemático francês Henri Poincaré, o projeto envolveu fazer uma saia jeans de jeans de retalhos da Old Jeans. Como ela descreveu em uma redação: “Depois de macarrão com diferentes padrões, eu decidi a ladrilhos do modelo de disco de Poincaré do plano hiperbólico por 30º-45º-90º triângulos”, que era familiar para ela de ela de uma ilustração pelo geômetro clássico HSM Coxeter (e que também inspirou o artista holandês MC Esccher).
Dia 3
Ao meio -dia, a sessão de pôsteres de graduação zumbiu com exposições sobre tópicos, incluindo a sincronização do tempo lunar; a matemática do ajuste de piano; loops no espaço quadridimensional; e um modelo para contenção de incêndios florestais, fumaça se espalhou e suas conseqüências de saúde pública.
Durante outra sessão sobre matemática e artes, Barry Cipra, um matemático de Minnesota, deu uma palestra sobre “campo amarelo”(“ Campo amarelo ”), uma pintura do artista suíço treinado por Bauhaus, Max Bill.
Pode parecer uma tela sólida de cor, disse Cipra, mas há um padrão fraco de pontos contrastantes ou, mais precisamente, quadrados. “Vejamos uma versão abstrata do resumo de Bill”, disse ele. “Você pode identificar o que Bill está fazendo?”
Pela análise do Dr. Cipra, o artista codificou na pintura um clássico Square Magic 3 por 3-uma variedade quadrada de números que formam um quebra-cabeça lógico em que a soma de cada linha, coluna e diagonal é igual a 15.
Outra peculiaridade era que cada linha, coluna e diagonal tinham cinco pips (como em dados ou dominó):
O Dr. Cipra observou: “Parece que Bill colocou e resolveu um problema de matemática original e o escondeu em uma pintura: você pode colocar os pips dentro de cada quadrado do quadrado mágico 3 por 3, para que haja exatamente cinco pips ao longo de cada um Linha, coluna e diagonal principal da subgrade 9 por 9? ” A mesma pergunta pode ser feita para 5 por 5 e maiores quadrados mágicos de tamanhos estranhos, disse ele. “Mas está longe de ser claro qual será a resposta.”
O Dr. Goldstine achou atraente a descoberta do Dr. Cipra. ““Sempre fico empolgado quando a matemática aparece em um lugar onde você não esperaria ”, disse ela em um email. “Costumo usar essas conexões surpreendentes para levar os alunos que podem ter medo ou entediados por matemática para ver parte de sua beleza”.
Dia 4
O último dia ofereceu vários eventos públicos, incluindo um mini Festival de Matemática com quebra-cabeças e jogos práticos.
“Por que é matemática?” perguntou Aleksandra Upton, 7, de um quebra -cabeça geométrico.
“Porque podemos contar todas as diferentes maneiras pelas quais juntamos as formas”, disse sua mãe, Karolina Sarnowska-Upton, gerente de engenharia de software da Microsoft em Redmond, Wash.
Em uma palestra pública, Ravi Vakil, matemático de Stanford e presidente da Sociedade Matemática Americana, explorou o simultaneamente brincalhão e profundo “Matemática de Doodling. ”
Em outro, Eugenia Cheng, matemática e pianista da Escola do Instituto de Arte de Chicago, abordou “matemática, arte, justiça social”. Uma de suas mensagens salientes: “Pure Mathematics é uma estrutura para concordar com as coisas”. Ela cantou parte da palestra ao lado de um vídeo gravado, tocando piano.
E houve uma estréia mundial de um documentário, “Creating Pathways”, o segundo no “Viagens de matemáticos negrosSérie do diretor George Csicery. (Ele vai ao ar em estações de televisão públicas em fevereiro.) O consultor sênior do filme foi Johnny Houston, professor emérito da Universidade Estadual de Elizabeth City, na Carolina do Norte. Após a exibição, o Dr. Houston comentou sobre a pontualidade da estréia de 2025: em 1925, Elbert Frank Cox se tornou o primeiro afro -americano – e a primeira pessoa negra do mundo – a receber um Ph.D. em matemática. De sua própria jornada, e a de muitos matemáticos negros, o Dr. Houston disse que, com exposição, experiência e oportunidade, “podemos fazer tão bem como qualquer matemático em ganhar um doutorado. e além. ”
A última das negociações acabou naquela noite. Às 3 da manhã da manhã seguinte, quando alguns participantes se dirigiram ao aeroporto, dois matemáticos estavam indo para a cama, mas não antes de andar no elevador até o saguão do hotel para pedir uma recepção para um check -out tardio.
