@ecorami Que tal si empezamos a plantearnos cambiar el sistema educativo..., la IA ya es posible ejecutarla sin internet, basta con entrenarla para el conocimiento del examen y cualquier teléfono te la ejecuta sin internet.
"Cinco preguntas basadas en el método socrático para mejorar tu pensamiento:
5-¿Qué haría falta para cambiar tu opinión? Sé específico.
4-Si tu mejor razón para creer eso fuera falsa, ¿seguirías creyéndolo? (Eso se llama una “verificación de la razón real”.)
3-¿Cuál es el argumento más fuerte contra tu posición? Refuérzalo al máximo (haz el steelman).
2-Si sintieras que tu creencia es verdadera pero la evidencia estuviera abrumadoramente en contra, ¿seguirías creyéndolo?
1-Si tu creencia fuera falsa, ¿eso te convertiría en una peor persona?"
@javilop Cuando tengamos el modelo podremos afirmar esto, antes es comprar una idea fácil de vender para aquellos que quieren creer "i want to believe", no olvidar que necesitan más que nunca hacerlo, lo siguiente sera pedir regulación, porque el negocio se les va.
@de_lagunez@DotCSV Apoyarse en conocimiento previo no invalida la creación de conocimiento nuevo: plantear hipótesis y contrastarlas, lo es; en matemáticas, crear nuevos formalismos o resolver problemas de forma novedosa también, algo que según dicen no hacen las IAs.
A mathematics PhD student tested OpenAI’s GPT-5.4 Pro ($200/month)
to see if it actually justifies the price compared to the $20 plan.
Here’s what he found:
- Research problems: Could not solve the hardest ones, still struggles at true PhD-level questions
- Paper review: Very strong, caught subtle math errors that were missed
- Learning new math: Weak at connecting ideas across complex documents
- Productivity: Big win, automated hours of tedious work in minutes
It will not replace researchers, but it can significantly speed up their work.
@DotCSV Realmente no es nuevo conocimiento, lo que hacen es usar el conocimiento que ya tenemos de forma efectiva para resolver el problema, es algo que el mismo Terence Tao ha dicho, esto no lo he visto en los IAbros en cambio si lo he visto en el grupo de IAHate
@ProgEnJava@DotCSV Eso ya no lo sé, puede que como pasa en la programación estándar algo de intuición de quien escribe el prompt sea necesaria, es decir puede que el prompt no sea tan simple.
@ProgEnJava@DotCSV Por lo que dice el tuit, le dicen a chatGPT resuelve este problema pero usando Lean, que es un lenguaje para pruebas matemáticas (basado en matemáticas constructivista), luego ejecutan Lean, si sale correcto entonces esta probado.