@msmathcomp

Assistant professor (academic track) at the @TUDelft_CGV group working in the field of #illustratingmath, #dataviz, and #mathart. (he/him)

 The Netherlands
ms-math-computer.science
Joined February 2020
  • Tweets2.1K
  • Following281
  • Followers775
751Media
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
Dr. Martin Skrodzki retweeted
James Propp@JimProppOct 23
(3/3) I suggest that for their next stunt, OpenAI should throw a $1,000,000 in tokens into the prompt “Search for a contradiction in math”; if nothing else, this would be a good way to debug Lean or increase our confidence that it is bug-free.
1
5
165
Load more