Loading activity…
@patrickshafto
PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ http://Redpoll.ai; Math @the_IAS 2021-2023. http://patrickshafto.com/
AI
Its creators say it predicts HSE06 bands for nearly 6,000 chemically diverse three-dimensional materials using lower-cost PBE calculations.
AI
A user quoted a Math Moves post without saying what readers were being invited to join.
AI
A post highlights an event involving number theorists and industry researchers, thanking Paradigm and Gil & Co. for sponsoring.
AI
One user doubts that an unspecified subject will age well; another quotes the remark and agrees.
AI
A user endorses Kevin Buzzard’s proposal to let machines explore math, then begin the journey toward wherever they get stuck.
AI
A user at ARIA described it as “fun to talk AI and math and the many implications.”
AI
A self-described technological accelerationist says they’re puzzled by some people’s dismissiveness, despite their own aversion to regulation and apocalyptic thinking.
AI
“More great work!” a user wrote, pointing to DARPA’s expMath program.
AI
Professor highlights collaboration on AI quantification and math formalization initiatives.
AI
Anthropic's AI generated a Lean formalization of the theorem along with supporting proofs.
AI
Axiom Math CEO retweets praise for public release of math formalizations.
AI
Academics post congratulations on his new role leading open research efforts.
AI
Shafi Goldwasser, Adam Kalai, and Vinod Vaikuntanathan founded the Institute for Responsible Superintelligence.
