AHM

[Gisele Dalva]

A quem possa interessar:

AHM https://www.ahmath.org/

[Joao Marcos]

Uma versão bem mais radical da Declaração de Leiden?

[]s, JM

https://sites.google.com/site/sequiturquodlibet/

On Wed, Sep 9, 2026, 20:00 Gisele Dalva <giseleda...@gmail.com> wrote:

A quem possa interessar:

AHM https://www.ahmath.org/

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOmQKJc2ooYThP%3DxQouWHaUzZz_Ly6--kCtUHd4RYZKfDrc6NQ%40mail.gmail.com.

[atticuss...@gmail.com]

Olá,

O meu nome é Atticus Stonestrom; eu sou estudante de doutorado na universidade de Notre Dame, nos Estados Unidos. (Trabalho na teoria de modelos; o meu orientador é o Anand Pillay.) Falo português porque a minha parceira é brasileira, e conheci o João Marcos nesse verão passado na conferência SLALM em Bogotá.

Fui um dos membros "fundadores" dessa organização e gostaria de poder responder quaisquer perguntas que vocês tiverem a respeito. Eu me oponho fortemente ao uso atual da IA na pesquisa matemática, e acho que, se não houver reformas fortes com respeito a publicação, revistas, padrões éticos na área, etc, o jeito no qual muitos matemáticos (incluindo alguns dos matemáticos mais prominentes) estão usando a IA vai destruir a nossa comunidade.

Se vocês tiverem perguntas, por favor, me perguntem; eu tô totalmente disposto a explicar o propósito da organização mais.

Cordialmente,

Atticus

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LihNDaF2qt6M-VAe1m0YoRLJrk3pSEr%3D8X0the9m2hoVQ%40mail.gmail.com.

[Joao Marcos]

Bem-vindo à lista, Atticus!

Vou acrescentar aqui um link para a página do seu site onde há
bastante material sobre este assunto:
https://sites.google.com/view/atticusstonestrom/ai-statement

Tudo de bom,
João Marcos

--
https://sites.google.com/site/sequiturquodlibet/

[Joao Marcos]

> Vou acrescentar aqui um link para a página do seu site onde há
> bastante material sobre este assunto:
> https://sites.google.com/view/atticusstonestrom/ai-statement

E já que falávamos de links:

Crowdsourcing a list of general resources on AI and mathematics
https://terrytao.wordpress.com/2026/09/10/crowdsourcing-a-list-of-general-resources-on-ai-and-mathematics/


JM

[Joao Marcos]

Viva, Atticus!

> Fui um dos membros "fundadores" dessa organização e gostaria de poder responder quaisquer perguntas que vocês tiverem a respeito. Eu me oponho fortemente ao uso atual da IA na pesquisa matemática, e acho que, se não houver reformas fortes com respeito a publicação, revistas, padrões éticos na área, etc, o jeito no qual muitos matemáticos (incluindo alguns dos matemáticos mais prominentes) estão usando a IA vai destruir a nossa comunidade.
>
> Se vocês tiverem perguntas, por favor, me perguntem; eu tô totalmente disposto a explicar o propósito da organização mais.

Tenho uma pergunta: seria este o tipo de "parceria" contra a qual a
AHM se posiciona?

%%%

https://arxiv.org/html/2609.05669v1#intelligence:~:text=1%2E2%2E%20Use%20of%20artificial%20intelligence

1.2. Use of artificial intelligence

To complete this work, we built our own experimental proof-development
environment primarily around OpenAI’s Codex, with occasional use of
Anthropic’s Claude Code.

The evolving body of mathematical information which is required to
discover and construct a long mathematical proof—not merely the
streamlined argument presented a posteriori in the finished
paper—spans many model context windows. Our environment therefore
served as an external memory and coordination layer, as well as the
interface through which we interacted with the models and directed the
development of the proof. It decomposed our evolving proof into over a
hundred blocks, distributed across auxiliary files, and a “master”
file assembling them. Models could operate on individual blocks
largely independently, using only the locally relevant context and
dependencies.

An HTML-based visualizer displayed the proof’s structure and current
review status of each block, while Python tools tracked their
dependencies and propagated status changes downstream. This setup
allowed us to retain full mathematical control while using frontier
models to draft and check technical passages. It also allowed us to
quickly propagate changes in the proof architecture through the entire
argument. When, for example, we changed an early definition or lemma,
the models carried out routine downstream revisions and identified any
genuinely new mathematical obstacles that arose. This allowed us to
fully focus on the genuine blockers at each moment.

[...]

This is a factual account of the division of labor in this project,
not a general claim about the limits of the models. We record it not
only for transparency, but also because it illustrates a mode of
AI-assisted mathematics that is obscured by a focus on one-shot
theorem proving. In this project, the strategy and key computations
remained human-generated, while AI substantially accelerated their
local completion, systematic criticism, revision, and propagation.

As the models and the surrounding workflows improve, the division of
labor described here may also change; this statement records the
balance in the present project. We realize, however, that the
mathematics to come may emerge from a different balance between human
and machine.

%%%

Tudo de bom,
João Marcos

--
https://sites.google.com/site/sequiturquodlibet/

[atticuss...@gmail.com]

Querido João,

Muito obrigado por perguntar! Antes de responder, deixa eu falar brevemente que os ensaios no meu site não são escritos em um papel oficial e tampouco na minha capacidade como membro da AHM, são só as minhas opiniões pessoais e não necessariamente refletem as posições da AHM. E inclusive com a minha resposta aqui, embora eu seja um dos membros fundadores da AHM e eu vá tentar retratar as posições da AHM o melhor que eu puder, muitos detalhes do grupo, incluindo as respostas a perguntas assim, ainda estão sendo decididos, então seria melhor que você não entendesse a minha resposta como uma posição oficial :)

Olhando pra declaração que aparece nesse artigo, eu acho que sim, a AHM se oporia a esse uso da IA. O ponto principal é que, se eu tô entendendo bem, muito do texto do artigo foi escrito pela IA e não pelos autores. Isso viola um dos únicos dois requisitos pra ser membro da AHM, que é que você não pode publicar texto gerado pela IA baixo o teu nome.

Agora, se eles mesmos tivessem escrito todo o texto do artigo, seria uma pergunta mais sutil. Embora haja o "AI-free caucus" da AHM, do qual eu sou membro, evitar o uso da IA na tua pesquisa não é um requisito pra se-juntar a organização mais ampla. Se os autores tivessem escrito todo o artigo eles mesmos, eles tecnicamente não teriam violado nenhum dos dois requisitos da AHM, contanto que eles não aceitassem dinheiro das empresas da IA. (Eu não tenho jeito de saber se os autores aceitaram ou não, mas vamos supor que não.)

Nesse caso seria uma pergunta mais difícil de responder. Pessoalmente, eu acho que esse tipo de pesquisa ainda estaria violando os princípios da AHM "em espírito", porque esse émfasis na ideia de "acelerar" a nossa produção da matemática, de priorizar a quantidade de artigos publicados e a rapidez da produção dos artigos em vez do processo lento de entender e escrever e descobrir sutilezas nós mesmos, é algo que, no longo prazo, corre o risco de impedir a compreensão humana da matemática. Mas isso é mais a minha opinião pessoal do que uma posição oficial da AHM, então você não deveria ler isso como uma resposta oficial!

Espero que esses pensamentos ajudem.

–Atticus

[Joao Marcos]

Muito obrigado pelo esclarecimento, Atticus!

A discussão é muito interessante e pertinente. O impacto
institucional das LLMs sobre a pesquisa matemática ---e sobre o
trabalho intelectual em geral, e até mesmo sobre o processo de
ensino-aprendizagem--- precisa ser amplamente discutido. Este fio me
parece ir nesta direção:
https://x.com/littmath/status/2098779826706432080
e leva em consideração o "manifesto" divulgado pelo Terry Tao há dois dias:
https://mathandai.org/
https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/

Abraços, João Marcos

--
https://sites.google.com/site/sequiturquodlibet/

[Joao Marcos]

Esta reflexão de Nestor Guillen circulou hoje na lista de discussão
eletrônica da comunidade matemática brasileira, e me pareceu
pertinente compartilhá-la neste fio da nossa lista:
https://birdsnfrogs.github.io/2026/09/12/Felix_qui_potuit_rerum_cognoscere_causas.html

[]s, JM

--
https://sites.google.com/site/sequiturquodlibet/

[Gabriel Barruci da Silva]

Olá, a todos e todas!

Atticus, um prazer saber que está nesta lista.

Primeiramente, parabenizo a criação da

AHM e o rápido crescimento do número

 de membros.

Gostaria de fazer algumas perguntas

para entender melhor o projeto.

1) O que motivou os(as) organizadores(as)

a deixar como opcional o item 3) da lista de

 comprometimentos? Como a utilização

de IA é encarada pela associação com respeito

somente aos item 1) e 2)?

2) Como a AHM entende as palavras compostas

"AI-assisted" and "AI-generated"?

3) Não sei o quanto disso pode ser compartilhado, mas 

gostaria de saber os próximos passos, os próximos objetivos

 a serem alcançados pelo grupo.

Deixo claro que essas perguntas são genuínas e de uma pessoa

que frequentemente namora a proposta de vocês.

Desde já, agradeço pela disponibilidade.

Abraços,

Gabriel

 

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---

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 logica-l+u...@dimap.ufrn.br.

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhLcc8MsM81i8zA3JrQTP2Z30HiOm%2BLwf_PESZ%2BQ4tbhA%40mail.gmail.com.