Dòng tin

RT by @ylecun: NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem. We are releasing the formalization as open source so that other researchers can inspect, extend, and independently validate the result. See it here: https://logicalintelligence.com/blog/aleph-prover-erdos-disproof-lean-4-formal-methods

RT by @demishassabis: When I was asked by the American Academy of Arts and Sciences to write an essay on my thoughts on how AI will accelerate Science, I felt honored but also felt that it would require a lot of thoughtfulness and diligence to distill my thoughts on paper. The essay has now been published and I cannot be more thankful to the >@americanacad and @GoogleDeepMind teams for their feedback and encouragement during the process. Key reflections from my essay: 🔭 AI is our newest revolutionary lens: Just as the telescope and microscope expanded our physical perception, AI is extending our cognitive reach, allowing us to decipher the immense complexity of the data-universe. 🧬 The rise of "machine intuition": AI is not just a computational engine. By detecting hidden structures across disciplines—from protein folding to extremal combinatorics—it acts as an ultimate bridge, accelerating the interdisciplinary breakthroughs that modern science depends on. 🏗️ From puzzle-solvers to architects of questions: As we transition toward open-ended, agentic AI systems that actively generate novel hypotheses, the burden of reasoning is shifting. We are evolving from being the solvers of intricate puzzles into the architects of profound scientific questions. ✨ Expanding human potential: AI won't replace scientists; it expands what we can imagine and achieve. Just as the telescope didn't make astronomers obsolete, AI is giving us the stars. Read the full essay here: https://www.amacad.org/publication/daedalus/unlocking-scientific-intuition-reasoning-at-digital-speed