RealFeedApp Borcherds grades students only on completion
AI agents have reportedly solved the Navier-Stokes existence and smoothness problem, a major unsolved challenge in mathematics. Professor Richard Borcherds stated that AI will soon outperform human mathematicians if it continues improving.
- Field
- applying language models
- What they did
- Professor Richard Borcherds stopped grading his students' homework because artificial intelligence allows them to achieve top scores automatically.
- Why it matters
- Borcherds noted that AI usage has become unavoidable and believes human grading is no longer meaningful, especially after AI agents solved one of mathematics' most difficult unsolved problems.
#navier-stokes#ai agents#mathematics#richard borcherds#openai
