Terence Tao is a mathematician whose blog often hosts posts and discussion on mathematics and AI. Recent coverage includes his response to OpenAI's latest math-related release, a community project called oai-math-revised introduced on his blog to improve OpenAI's math write-ups on GitHub, and a guest post by Thomas Hales discussing the reliability of proof assistants such as Lean and AI-related concerns.
Community launches oai-math-revised to fix OpenAI math write-upsA guest post on Terence Tao's blog introduces oai-math-revised, a community project to improve OpenAI's math write-ups on GitHub, which can be hard to understand and have incomplete citations. Students, postdocs, professors and enthusiasts are invited to contribute; a browsable site is available and admins/reviewers are being recruited.
Thomas Hales on Lean prover reliability and AIMathematician Thomas Hales guest-posted on Terence Tao's blog about the reliability of proof assistants like Lean and AI-related concerns. He cites formalization projects including the four-color theorem, Feit-Thompson theorem, Kepler conjecture, and this year's sphere packing, Navier-Stokes blowup and Fermat's Last Theorem work as driving wider awareness of formal verification.
Terence Tao Responds to OpenAI Math DropMathematician Terence Tao responded to OpenAI's latest math-related release, with the discussion drawing attention on Hacker News.
The A.I. Daily