FrontierMath was funded by OpenAIlesswrong.com
369 points by wujerry2000 10 hours ago | 115 comments