Publicaciones sobre Reseña
- Reseña de «Silicon Valley Is in a frenzy over bots that build themselves»
- Reseña de «DeepSeek-Prover-V2-7B bridges the gap between mathematical thought and formal code»
- Reseña de «Why Lean?»
- Reseña de «What Gödel discovered»
- Reseña de «Type-checked compliance: Deterministic guardrails for agentic financial systems using Lean 4 theorem proving»
- Reseñ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»
- Reseña de «Short proofs in combinatorics and number theory»
- Reseña de «Mathematical methods and human thought in the age of AI»
- Reseña de «This startup wants to change how mathematicians do math»
- Reseña de «Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools»
- Reseña de «Mathematics in the library of Babel»
- Reseña de «As AI keeps improving, mathematicians struggle to foretell their own future»
- Reseña de «What happens when AI starts checking mathematicians’ work»
- Reseña de «Shaping the future of mathematics in the age of AI»
- Reseña de «Advancing mathematics by guiding human intuition with AI»
- Reseña de «Can machines do mathematics?»
- Reseña de «In math, rigor is vital. But are digitized proofs taking it too far?»
- Reseña de «Formal verification and AI are reshaping mathematical research»
- Reseña de «Eval awareness in Claude Opus 4.6’s BrowseComp performance»
- Reseña de «Coding after coders: The end of computer programming as we know it»
- Reseña de «Mathematicians in the age of AI»
- Reseña de «Mathematicians in the age of AI»
- Reseña de «AI for mathematical and scientific discovery»
- Reseña de «AI for mathematical and scientific discovery»
- Reseña de «Shaping the future of mathematics in the age of AI»
- Reseña de «Completing the formal proof of higher-dimensional sphere packing»
- Reseña de «AI that can prove it’s right: Verification as the missing layer in AI»
- Reseña de «Machine assistance and the future of research mathematics»
- Reseña de «Machine assistance and the future of research mathematics»
- Reseña de «Accelerating mathematics»
- Reseña de «Recent advances in LLMs for mathematics»
- Reseña de «Aristotle, an AI theorem prover using Lean»
- Reseña de «Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa»
- Reseña de «The story of Erdős problem #1026»
- Reseña de «50 years of proof assistants»
- Reseña de «DeepMind’s latest - An AI for handling mathematical proofs»
- Reseña de «Teaching real analysis as a game»"
- Reseña de «How we achieved an IMO medal, one year before any other AI system»
- Reseña de «Olympiad-level formal mathematical reasoning with reinforcement learning»
- Reseña de «A new paradigm for mathematical proof?»
- Reseña de «The path to a superhuman AI mathematician»
- Reseña de «Mathematical exploration and discovery at scale»
- Reseña de «¿Cuándo podrá la Inteligencia artificial ayudarnos a demostrar teoremas?»
- Reseña de «Les IA vont-elles remplacer les mathématiciens?»
- Reseña de «Gauss – towards autoformalization for the working mathematician»
- Una refutación inusual del problema de Erdős
- Reseña de «Ax-Prover: A deep reasoning agentic framework for theorem proving in mathematics and quantum physics»
- Reseña de «Mathematicians’ new best friend?»
- Reseña de «Mathematics: The rise of the machines»
- Reseña de «Claude can (sometimes) prove it»
- HaLLMos (IA para aprender a escribir demostraciones matemáticas)
- Reseña de «The Infinity Project (How to use AI and mathematics to prove and improve science and security)»
- Reseña de «AI at IMO 2025: a round-up»
- Reseña de «The math is haunted»
- Reseña de «Solving formal math problems by decomposition and iterative reflection»
- Reseña de «Teaching mathematics with Lean: Interactive theorem provers in the classroom»
- Reseña de «AI for mathematical discovery (symbolic, neural and neuro-symbolic methods)»
- Reseña de «LeanConjecturer: Automatic generation of mathematical conjectures for theorem proving»
- Reseña de «Diophantine equations over Z: Universal bounds and parallel formalization»
- Lean obtiene el prestigioso «SIGPLAN Programming Languages Software Award 2025»
- Reseña de «Can A.I. quicken the pace of math discovery?»
- Reseña de «Can A.I. quicken the pace of math discovery?»
- Reseña de «Hablemos de Lisp»
- Reseña de «Hardest problems in mathematics, physics & the future of AI»
- Reseña de «Mathesis: Towards formal theorem proving from natural languages»
- Reseña de «MATP-BENCH: Can MLLM be a good automated theorem prover for multimodal problems?»
- Reseña de «LeanTutor: A formally-verified AI tutor for mathematical proofs»
- Reseña de «Will computers prove theorems?»
- Reseña de «The equational theories project»
- Reseña de «AI for math: The future of collaborative discovery»
- Reseña de «AlphaProof: When RL meets formal maths»
- Reseña «Inside the secret meeting where mathematicians struggled to outsmart AI»
- Más allá de la "ilusión de pensar"
- Reseña «AutoGPS: Automated geometry problem solving via multimodal formalization and deductive reasoning»
- Reseña de «What's next for AI and math»
- Reseña de «Will computers prove theorems?»