Guardrails removed spam, off-topic, unclear, or duplicate replies.
Ask a question below.
Published answers will appear here.
I am excited to speak at the National Academy of Sciences to represent Axiom's work, together with @KenOno691 who is giving a morning keynote. Next week in Washington DC: distinguished mathematicians gather to inform the national government on the future of AI-assisted mathematics: Terry Tao, Melanie Wood, Alex Kontorovich, Ravi Vakil, Javier Gómez-Serrano, and many industry leaders and public stakeholders.
@theNASciences meeting on "Organizing Mathematical Knowledge in the Age of AI and Formalization" Registration for virtual attendance closes tomorrow: https://www.nationalacademies.org/units/DEPS-BMSA-22-P-451/event/46979
We are approaching a transformation in mathematical knowledge as we move from knowledge stored in journals and textbooks to formally verified results in programming languages. The implications for mathematics, and every discipline that depends on mathematics, will be profound.
via XIncluding: @leanprover, Mathlib, PhysLib, QuantumLib, EconLib, @KenOno691 @AlexKontorovich @CarinaLHong @Timeroot @jessemhan @ICERM @RenPhilanthropy @skominers @SimonsFdn @xtxmarkets @BlancheMinerva @alexanderlhicks @jdlichtman and many others!
via XVery excited for this NAS event :)
@theNASciences meeting on "Organizing Mathematical Knowledge in the Age of AI and Formalization" Registration for virtual attendance closes tomorrow: https://www.nationalacademies.org/units/DEPS-BMSA-22-P-451/event/46979
Researchers argue formalization will reshape scientific archiving and AI development.
We are approaching a transformation in mathematical knowledge as we move from knowledge stored in journals and textbooks to formally verified results in programming languages. The implications for mathematics, and every discipline that depends on mathematics, will be profound.
via XIncluding: @leanprover, Mathlib, PhysLib, QuantumLib, EconLib, @KenOno691 @AlexKontorovich @CarinaLHong @Timeroot @jessemhan @ICERM @RenPhilanthropy @skominers @SimonsFdn @xtxmarkets @BlancheMinerva @alexanderlhicks @jdlichtman and many others!
via XVery excited for this NAS event :)
@theNASciences meeting on "Organizing Mathematical Knowledge in the Age of AI and Formalization" Registration for virtual attendance closes tomorrow: https://www.nationalacademies.org/units/DEPS-BMSA-22-P-451/event/46979
Guardrails removed spam, off-topic, unclear, or duplicate replies.
Ask a question below.
Published answers will appear here.