Gary Marcus

Rank 20 of 47
|
Score 74
Gary Marcus
@GaryMarcus
·
2d
Hype always wins at first; reality slowly emerges, as analyses like these come out:
2/20/2025, 4:29:53 AM
X
In reply to:
John Brownlow
@JohnBrownlow
·
2d
@GaryMarcus sound familiar?
Jonathan Gorard
@getjonwithit
·
3d
Today I decided to try using o1 to assist with some math/CS research. Here's how it went.

For context: I'm currently developing an automated theorem-proving framework in Scheme, and attempting to produce formal proofs of correctness for some advanced numerical algorithms. (1/10)

The statement by @JohnBrownlow is a reply in a chain of conversations that discuss the use of AI in mathematical and computer science research. The original conversation by @getjonwithit involves a substantive engagement with public issues related to AI and its applications in research, which can be considered public discourse. However, @JohnBrownlow's reply lacks substantive content and does not directly address public issues or policies, making it more of a conversational or comical statement rather than public discourse.