372 Result Families, and More Proofs Than Humans Can Read

#mathematics #proofs #numbertheory #formalmathematics

OpenAI’s proofs solve hard problems, but formalization & human understanding still lag AGMAI’s standards. #AI #OpenAI #Mathematics #AGAMI #Proofs #FormalVerification thedailytechfeed.com/why-openais-...

OpenAI has released 722 math papers "covering 372 result families" of previously unsolved problems in mathematics. Crucially not all of these have computer-verifiable proofs in Lean.

github.com/openai/math/...

#solidstatelife #ai #genai #codingai #mathematics #proofs #lean

ewtnvatican.com/articles/pop...

#math #numbers #proofs #mathematical #mathematics #pope #leo

Why Sending #Humans to #Venus Is Not as #Mad as It Sounds : Medium

#Mystery #Hominin left big #Footprints at #Ancient #Lake in #Africa : New Sci

#AI helped produce two #Proofs for the same #Cryptography problem : Sci Am

Latest #KnowledgeLinks

knowledgezone.co.in/resources/bo...

Season of mists and mellow proofingness. #proofs #typos

Wrapping up the excessive consumption project means time for #proofs! A few things are still stuck in review, typesetting, & whatever publishers do. This project has given me both the best and worst times of my work life (so far), so not sure yet how I feel about #TheEnd but I guess...kinda good? 😅

Returned from holiday to find chapter proofs for an edited volume in my inbox. Glad to see this is almost published! #romanpriests #ancientrome #proofs #chapter

For those who are following the developments surrounding #AI generated or assisted #proofs in #maths, here's a declaration signed by a number of Fields Medallists and endorsed by many others mathandai.org

#today is meant to be open 'eco' home day, but with non-responses and a cancellation I may be down to just one or two visitors. I'd hate to think that a few days of cooler weather have made people forget global warming entirely...

I am taking the opportunity to work on my #paper #proofs, and it […]

Poste ein bisschen verpätet, aber ich habe mich über Druckfahnen gefreut. #proofs #medievalsky

By revisiting a famous problem first controversially solved with computer assistance in the 1970s, mathematicians have developed a rare new proof of the four-colour theorem and deepened understanding

#science #mathematics #proofs

"Fermat’s last theorem, one of the most celebrated mathematical results of the last half-century, has been turned into computer-verified code for the first time, using an advanced prototype of the artificial-intelligence (AI) chatbot Claude."

#Mathematics #Ai #Proofs