Publicaciones sobre Reseña

Canal RSS

06-10-2026Reseña de «The future of mathematics»
06-10-2026Reseña de «Navigating the risks of AI in academia»
06-10-2026Reseña de «Is mathematics over, or just graduating?»
06-10-2026Reseña de «Is AI the end of math as we know it?»
04-10-2026Reseña de «Why I became a professional mathematician»
04-10-2026Reseña de «YAPOAI (Yet Another Post on AI): AI, understanding, and mathematical work»
03-10-2026Reseña de «If math is more than proof, we need to better celebrate the rest of it»
03-10-2026Reseña de «Only Anatevka: the mathematical community's values, its incentives, and LLMs»
02-10-2026Reseña de «To grieve, or not to grieve? (Mathematics and AI)»
01-10-2026Reseña de «AI solves a ‘holy grail’ problem from probability theory»
30-09-2026Reseña de «Can AI truly prove anything?»
30-09-2026Reseña de «Responsible release of AI-generated mathematics»
29-09-2026Reseña de «Applied mathematics has met the machine before»
27-09-2026Formalización del libro "Calculus" de Spivak en Lean 4
23-09-2026Lista de usos y expectativas de la IA en matemáticas
28-06-2026Reseña de «What it means to be a mathematician when AI does the math?»
24-05-2026Reseña de «Advancing mathematics research with AI-driven formal proof search»
21-05-2026Reseña de «An OpenAI model has disproved a central conjecture in discrete geometry»
14-05-2026Reseña de «What does AI do for the working mathematician?»
10-05-2026Tres culturas matemáticas ante el avance de la IA
09-05-2026Reseña de «Timothy Gowers: A recent experience with ChatGPT 5.5 Pro»
08-05-2026Reseña de «AI co-mathematician: Accelerating mathematicians with agentic AI»
07-05-2026Reseña de «'Like space aliens landing': Symposium weighs effect of AI on the future of mathematics»
28-04-2026Las matemáticas en la era de la IA: de la escasez a la abundancia de demostraciones
23-04-2026Matemáticas en la era de la IA: demostraciones rápidas, comprensión lenta
22-04-2026Reseña de «The fall of the theorem economy (How AI could destroy mathematics and barely touch it)»
16-04-2026Reseña de «Automated conjecture resolution with formal verification»
14-04-2026Reseña de «Lectures on AI for mathematics»
14-04-2026Reseña de «The agentic researcher: A practical guide to AI-assisted research in mathematics and machine learning»
14-04-2026Reseña de «The AI revolution in math has arrived»
13-04-2026Reseña de «AI and Isabelle: Experiences and perspectives»
13-04-2026Reseña de «Education for logical thinking in the age of AI»
10-04-2026Reseña de «Munkres' general topology autoformalized in Isabelle/HOL»
05-04-2026Reseña de «Silicon Valley Is in a frenzy over bots that build themselves»
03-04-2026Reseña de «DeepSeek-Prover-V2-7B bridges the gap between mathematical thought and formal code»
03-04-2026Reseña de «Why Lean?»
03-04-2026Reseña de «What Gödel discovered»
03-04-2026Reseña de «Type-checked compliance: Deterministic guardrails for agentic financial systems using Lean 4 theorem proving»
01-04-2026Reseña de «La IA acaba de hacerle una pregunta incómoda a la física teórica. Qué pasa si algunos de sus resultados más citados nunca fueron tan sólidos como parecían»
01-04-2026Reseña de «Short proofs in combinatorics and number theory»
31-03-2026Reseña de «Mathematical methods and human thought in the age of AI»
31-03-2026Reseña de «This startup wants to change how mathematicians do math»
29-03-2026Reseña de «Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools»
29-03-2026Reseña de «Mathematics in the library of Babel»
29-03-2026Reseña de «As AI keeps improving, mathematicians struggle to foretell their own future»
29-03-2026Reseña de «What happens when AI starts checking mathematicians’ work»
28-03-2026Reseña de «Shaping the future of mathematics in the age of AI»
27-03-2026Reseña de «Advancing mathematics by guiding human intuition with AI»
27-03-2026Reseña de «Can machines do mathematics?»
27-03-2026Reseña de «In math, rigor is vital. But are digitized proofs taking it too far?»
25-03-2026Reseña de «Formal verification and AI are reshaping mathematical research»
24-03-2026Reseña de «Eval awareness in Claude Opus 4.6’s BrowseComp performance»
23-03-2026Reseña de «Coding after coders: The end of computer programming as we know it»
11-03-2026Reseña de «Mathematicians in the age of AI»
11-03-2026Reseña de «Mathematicians in the age of AI»
10-03-2026Reseña de «AI for mathematical and scientific discovery»
10-03-2026Reseña de «AI for mathematical and scientific discovery»
09-03-2026Reseña de «Shaping the future of mathematics in the age of AI»
03-03-2026Reseña de «Completing the formal proof of higher-dimensional sphere packing»
27-02-2026Reseña de «AI that can prove it’s right: Verification as the missing layer in AI»
17-02-2026Reseña de «Machine assistance and the future of research mathematics»
12-02-2026Reseña de «Machine assistance and the future of research mathematics»
09-02-2026Reseña de «Accelerating mathematics»
03-02-2026Reseña de «Recent advances in LLMs for mathematics»
31-01-2026Reseña de «Aristotle, an AI theorem prover using Lean»
24-01-2026Reseña de «Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa»
09-12-2025Reseña de «The story of Erdős problem #1026»
07-12-2025Reseña de «50 years of proof assistants»
21-11-2025Reseña de «DeepMind’s latest - An AI for handling mathematical proofs»
18-11-2025Reseña de «Teaching real analysis as a game»"
14-11-2025Reseña de «How we achieved an IMO medal, one year before any other AI system»
14-11-2025Reseña de «Olympiad-level formal mathematical reasoning with reinforcement learning»
08-11-2025Reseña de «A new paradigm for mathematical proof?»
07-11-2025Reseña de «The path to a superhuman AI mathematician»
07-11-2025Reseña de «Mathematical exploration and discovery at scale»
31-10-2025Reseña de «¿Cuándo podrá la Inteligencia artificial ayudarnos a demostrar teoremas?»
28-10-2025Reseña de «Les IA vont-elles remplacer les mathématiciens?»
28-10-2025Reseña de «Gauss – towards autoformalization for the working mathematician»
22-10-2025Una refutación inusual del problema de Erdős
18-10-2025Reseña de «Ax-Prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics»
10-10-2025Reseña de «Mathematicians’ new best friend?»
09-10-2025Reseña de «Mathematics: The rise of the machines»
18-09-2025Reseña de «Claude can (sometimes) prove it»
15-08-2025HaLLMos (IA para aprender a escribir demostraciones matemáticas)
13-08-2025Reseña de «The Infinity Project (How to use AI and mathematics to prove and improve science and security)»
03-08-2025Reseña de «AI at IMO 2025: a round-up»
01-08-2025Reseña de «The math is haunted»
27-07-2025Reseña de «Solving formal math problems by decomposition and iterative reflection»
18-07-2025Reseña de «Teaching mathematics with Lean: Interactive theorem provers in the classroom»
11-07-2025Reseña de «AI for mathematical discovery (symbolic, neural and neuro-symbolic methods)»
04-07-2025Reseña de «LeanConjecturer: Automatic generation of mathematical conjectures for theorem proving»
01-07-2025Reseña de «Diophantine equations over Z: Universal bounds and parallel formalization»
20-06-2025Lean obtiene el prestigioso «SIGPLAN Programming Languages Software Award 2025»
19-06-2025Reseña de «Can A.I. quicken the pace of math discovery?»
19-06-2025Reseña de «Can A.I. quicken the pace of math discovery?»
15-06-2025Reseña de «Hablemos de Lisp»
15-06-2025Reseña de «Hardest problems in mathematics, physics & the future of AI»
13-06-2025Reseña de «Mathesis: Towards formal theorem proving from natural languages»
13-06-2025Reseña de «MATP-BENCH: Can MLLM be a good automated theorem prover for multimodal problems?»
11-06-2025Reseña de «LeanTutor: A formally-verified AI tutor for mathematical proofs»
11-06-2025Reseña de «Will computers prove theorems?»
10-06-2025Reseña de «The equational theories project»
10-06-2025Reseña de «AI for math: The future of collaborative discovery»
10-06-2025Reseña de «AlphaProof: When RL meets formal maths»
09-06-2025Reseña «Inside the secret meeting where mathematicians struggled to outsmart AI»
08-06-2025Más allá de la "ilusión de pensar"
08-06-2025Reseña «AutoGPS: Automated geometry problem solving via multimodal formalization and deductive reasoning»
05-06-2025Reseña de «What's next for AI and math»
17-05-2025Reseña de «Will computers prove theorems?»