mathematics

Tema		Respuestas	Vistas	Actividad
Más de cien matemáticos firman la Declaración de Leiden advirtiendo que la IA erosiona la independencia de la investigación matemática Normal ai , mathematics , 莱顿宣言		0	6	3 Junio 2026
El agente de IA de Google DeepMind resuelve 9 problemas abiertos de Erdős y demuestra 44 conjeturas de la OEIS; cada demostración cuesta cientos de dólares Normal ai , deepmind , mathematics , formal-verification , lean		0	6	25 Mayo 2026