@james_y_zou@matei_zaharia I don't believe that GPT-4 was ever capable of identifying five-digit prime numbers. Testing 17077 for primality requires 31 trial divisions, and it is exceedingly unlikely that an LLM would perform them all correctly. (gpt-3.5-turbo only got 3 right when I tried it)
@6myrnyi@erasmuse This was a conference talk. If it's ever published, I'm sure that they will cite Zimba's magnum opus. Until then, leave the girls alone.
@6myrnyi@erasmuse It is nitpicking. The existence of an obscure paper with only 14 citations doesn't contradict anything in the abstract. Nobody cares about the "first" proof using trig except the popular media.
@6myrnyi@erasmuse No, the proofs are entirely different. Zimba derived the Pythagorean theorem from the subtraction formulas for sine and cosine. Johnson and Jackson used the law of sines and the sum of an infinite geometric series.
@JeremyRedfernFL Watch the video. They aren't proposing to reduce rice production, but rather to recycle straw to create organic fertilizer instead of burning it.
@berggrenpeterm@xriskology Because to a longtermist, the hypothetical survival of 10^58 digital people outweighs the well-being of 8*10^9 actual people. This is why longtermism is so incredibly dangerous.
@joelwatsonfish Helping to popularize math by sharing a feel-good story about two smart high school girls who made a mathematical discovery, related to a topic that most readers can understand. We can quibble about the importance of the proof or we can celebrate youthful ingenuity.
@natepentz They should provide a paper menu upon request. Otherwise it's discrimination, and it should be illegal. I won't patronize a restaurant that doesn't care about accessibility.
@MrCorleyMath Full credit, because they clearly understand the concept. But I would ask the student to imagine that they are explaining the answer to someone who isn't as clever as they are.
@elonmusk Great idea to give Internet marketers detailed information on how to hack the recommendation engine, while fucking over ordinary users who don't have time for SEO optimization.