[Investigadores] hacer matemáticas con IA, ya es hoy

[Joaquín Fontbona]

Estimades,

el hacer matemáticas (encontrar y probar teoremas no triviales nuevos) 
con IA ya esta ocurriendo, y muy rapido, les dejo aqui como ejemplo uno 
de los multiples papers (y tecnologias) que se presentan este año al 
respecto en Neurips:

https://arxiv.org/pdf/2410.06209  (el primer autor es un undergrad student),

Para hacerse una idea mas amplia, este es un link a los muchos papers 
del workshop sobre Mathematical Reasoning and AI que habra en la 
conferencia:

https://openreview.net/group?id=NeurIPS.cc/2024/Workshop/MATH-AI#tab-accept

Esto ya no es algo especulativo o exploratorio. Por ejemplo, Terry Tao 
hace tiempo esta interesado en esto, y levantó recien un fondo de 
10MMUSD para impulsar su desarrollo:

https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/

Interesados?

saludos

Joaquin