Loading activity…
@alexkontorovich
Mathematician (Distinguished Professor of #Math at @RutgersU). Here to learn about research, education, and community. Let’s build something together.
AI
A post describes a chatbot silently fixing a flawed proof while translating it into a valid Lean proof.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
A post says Lech Mazur claimed the proof on September 6 and that it was formalized in Lean. The poster says he had AI check the formalization and thinks it is right, but is still working through the math.
AI
Anthropic tested an unreleased research model on a problem related to the Riemann hypothesis.
